ISIS Publications

Export 1045 results:
Sort by: Author [ Title  (Asc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Mahadevan, N., A. Dubey, and G. Karsai, "A Case Study On The Application of Software Health Management Techniques", ISIS Technical Report, no. ISIS-11-101, Nashville, Institute For Software Integrated Systems, 01/2011. Abstract  Download: ADIRUTechReport.pdf (1.53 MB)
Otte, W. R., A. Dubey, and M. Lehofer, "Challenges for Application Platforms for integrated Cyber Physical Systems", Workshop on Big Data Analytics in CPS: Enabling the Move from IoT to Real-Time Control, 04/2015.  Download: abstract.pdf (189.64 KB)
Barve, Y. D., P. P. Patil, and A. Gokhale, "A Cloud-based Immersive Learning Environment for Distributed Systems Algorithms", COMPSAC 2016: The 40th IEEE Computer Society International Conference on Computers, Software & Applications, Atlanta, Georgia, USA, 06/2016. Abstract
Zhang, Z., E. Eyisi, X. Koutsoukos, J. Porter, G. Karsai, and J. Sztipanovits, "Co-Simulation Framework for Design of Time-Triggered Cyber Physical Systems", ACM/IEEE 4th International Conference on Cyber-Physical Systems (ICCPS), Philadelphia, PA, ACM, pp. 119-128, 04/2013. Abstract  Download: iccps'13.pdf (1.29 MB)
Sallai, J., "Collision forecasting: A low-power MAC with traffic and power shaping", Ad Hoc Networking Workshop (Med-Hoc-Net), 2012 The 11th Annual Mediterranean, Agia Napa, Cyprus, IEEE, pp. 39–46, 07/2012.
Manders, E. J., S. Narasimhan, G. Biswas, and P. Mosterman, "A Combined Qualitative/Quantitative Approach for Fault Isolation in Continuous Dynamic Systems", 4th Symposium on Fault Detection, Supervision and Safety for Technical Processes, Budapest, Hungary, pp. 1074--1079, June, 2000.  Download: Manders_EJ_6_0_2000_A_Combined.pdf (307.63 KB)
Roy, N., Y. Xue, A. Gokhale, L. Dowdy, and D. C. Schmidt, "A Component Assignment Framework for Improved Capacity and Assured Performance in Web Portals", 11th International Symposium on Distributed Objects, Middleware,and Applications (DOA), 11/2009.
Karsai, G., and J. Gray, "Component Generation Technology for Semantic Tool Integration", Proceedings of the IEEE Aerospace 2000, Big Sky, MT, March, 2000.  Download: Karsai_G_3_0_2000_Component_.pdf (4.64 MB)
Dubey, A., G. Karsai, and N. Mahadevan, "A Component Model for Hard-Real Time Systems: CCM with ARINC-653", Software: Practice and Experience, no. In press, 2011.  Download: Journal.pdf (1.94 MB)
Balasubramanian, D., and G. Karsai, Component Models for Vehicle Software Platforms: Two Case Studies, , no. ISIS-15-101, Nashville, Institute for Software Integrated Systems, 01/2015. Abstract  Download: ISIS-15-101.pdf (2.52 MB)
Chhokra, A., A. Dubey, N. Mahadevan, and G. Karsai, "A component-based approach for modeling failure propagations in power systems", Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), 2015 Workshop on, Seattle, Washington, USA, IEEE, pp. 1–6, 2015. Abstract
Volgyesi, P., and A. Ledeczi, "Component-Based Development of Networked Embedded Applications", 28th Euromicro Conference, Component-Based Software Engineering Track, Dortmund, Germany, September, 2002.  Download: Volgyesi_P_9_0_2002_Component_.pdf (204.6 KB)
Lattmann, Z., A. Nagel, T. Levendovszky, T. Bapty, S. Neema, and G. Karsai, "Component-based Modeling of Dynamic Systems using Heterogeneous Composition", 6th International Workshop on Multi-Paradigm Modeling, Innsbruck, Austria, 10/2012.  Download: MPM12_paper 20.pdf (260.56 KB)
Chen, K., J. Sztipanovits, and S. Neema, Compositional Specification of Behavioral Semantics, : Institute for Software Integrated Systems, June, 2006.  Download: Chen_K_6_1_2006_Compositio.doc (629.5 KB)
Mosterman, P., and G. Biswas, "A Comprehensive Methodology for Building Hybrid Models of Physical Systems", Artifical Intelligence Journal, vol. 121, pp. 171--209, 2000.  Download: ISIS_0_0_2000_A_Comprehe.pdf (642.21 KB)
Zander, J., P. J. Mosterman, J. S. Kinnebrew, and G. Biswas, "Computation of things for human protection and fulfillment", Technologies for Homeland Security (HST), 2010 IEEE International Conference on, Waltham, MA, pp. 153 -159, 11/2010. Abstract  Download: Zander et al - 2010 -- Computation of Things for Human Protection & Fulfillment.pdf (1.28 MB)
Tan, J., C. Beers, R. Gupta, and G. Biswas, "Computer games as intelligent learning environments: A river ecosystem adventure", Artificial Intelligence in Education - Supporting Learning through Intelligent and Socially Informed Technology, Amsterdam, IOS Press, pp. 646-653, 2005.
Roselli, R. J., L. Howard, and S. Brophy, "A computer-based free body diagram assistant", Computer Applications in Engineering Education, vol. 14, no. 4, pp. 281-290, 2006.
Sztipanovits, J., "A Computing Model for Semantic Control", Applied Mathematics Letters, vol. 2, pp. 273--276, 1989.
Biegl, C., J. Sztipanovits, and C. Harrison, "Concepteur Cognitif D'Experimentation Pour L'Instrumentation", Innovation et Technologie en Biologie et Medicine, vol. 10, pp. 203--210, 1989.
Sallai, J., M. Maroti, and A. Ledeczi, "A Concurrency Abstraction for Reliable Sensor Network Applications", Reliable Systems on Unreliable Netowked Platforms, Monterey Workshop 2005, vol. LNCS 4322, pp. 143–160, 2005.  Download: monterey.pdf (350.85 KB)
Szilvasi, S., J. Sallai, I. Amundson, P. Volgyesi, and A. Ledeczi, "Configurable Hardware-based Radio Interferometric Node Localization", 2010 IEEE Aerospace Conference, Big Sky, Montana, USA, IEEE, 03/2010.  Download: aeroconf10_szilvasi.pdf (1006.26 KB)
Abdelwahed, S., G. Karsai, and G. Biswas, "A Consistency-based Robust Diagnosis Approach for Temporal Causal Systems", 16th International Workshop on Principles of Diagnosis (DX '05), Monterey, CA, June, 2005.  Download: Abdelwahed_S_6_0_2005_A_Consiste.pdf (106.38 KB)
Gray, J., and S. Schach, "Constraint Animation Using an Object-Oriented Declarative Language", Proceedings of the 38th Annual ACM SE Conference, Clemson, SC, pp. 1--10, April, 2000.  Download: Gray_J_4_0_2000_Constraint.doc (101 KB)