ISIS Publications

Export 274 results:
Sort by: [ Author  (Asc)] Title Type Year
Filters: Author is Karsai, Gabor  [Clear All Filters]
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 
Davis, J., J. Scott, J. Sztipanovits, G. Karsai, and M. Martinez, "An Integrated Multi-Domain Analysis Environment for High Consequence Systems", Proceedings of the 1998 ASME Design Engineering Technical Conference / Computers in Engineering, Paper No. 5532, Altanta, GA, September, 1998.  Download: Davis_J_9_0_1998_An_Integtr.pdf (251.31 KB)
Dubey, A., S. Nordstrom, T. Keskinpala, S. Neema, T. Bapty, and G. Karsai, "Towards A Model-Based Autonomic Reliability Framework for Computing Clusters", Fifth IEEE Workshop in Engineering of Autonomic and Autonomous Systems (EASe 2008), Belfast, Northern Ireland, April, 2008.  Download: Dubey_A_4_0_2008_Towards_A_.pdf (733.09 KB)
Dubey, A., G. Karsai, R. Kereskenyi, and N. Mahadevan, Towards a Real-time Component Framework for Software Health Management, , no. ISIS-09-111, Nashville, Institute for Software Integrated Systems, 11/2009. Abstract  Download: TechReport2009.pdf (11.07 MB)
Dubey, A., G. Karsai, and N. Mahadevan, "Fault-Adaptivity in Hard Real-Time Component-Based Software Systems", Software Engineering for Self-Adaptive Systems, vol. 2, 2012.  Download: BookChapter.pdf (1.83 MB)
Dubey, A., G. Karsai, R. Kereskenyi, and N. Mahadevan, "A Real-Time Component Framework: Experience with CCM and ARINC-653", IEEE International Symposium on Object-Oriented Real-Time Distributed Computing,, Spain, pp. 143--150, 2010. Abstract  Download: Paper.pdf (5.46 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)
Dubey, A., G. Karsai, and S. Pradhan, "Resilience at the Edge in Cyber-Physical Systems", The 2nd International Conference on Fog and Mobile Edge Computing, Valencia, Spain, IEEE, 05/2017. Abstract  Download: main.pdf (1.06 MB)
Dubey, A., N. Mahadevan, and G. Karsai, "A Deliberative Reasoner for Model-Based Software Health Management", The Eighth International Conference on Autonomic and Autonomous Systems, St. Maarten, Netherlands Antilles, 03/2012. Abstract  Download: Paper.pdf (369.11 KB)
Dubey, A., G. Karsai, A. Gokhale, W. Emfinger, and P. S. Kumar, "DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems", International Conference on Space Mission Challenges for Information Technology (SMC-IT), 2017, 09/2017. Abstract  Download: main.pdf (951.36 KB)
Dubey, A., A. Gokhale, G. Karsai, W. R. Otte, D. Balasubramanian, S. Nyako, and J. Willemsen, "A Model-driven Software Component Framework for Fractionated Spacecraft", 5th International Conference on Spacecraft Formation Flying Missions and Technologies, Munich, Germany, 2013. Abstract  Download: f6mdk.pdf (550.9 KB); f6mdk-extended-abstract.pdf (76.81 KB)
Eisele, S., I. Madari, A. Dubey, and G. Karsai, "RIAPS:Resilient Information Architecture Platform for Decentralized Smart Systems", 20th IEEE INTERNATIONAL SYMPOSIUM ON REAL-TIME COMPUTING, Toronto, Canada, IEEE, 05/2017. Abstract  Download: paper.pdf (1.43 MB)
Eisele, S., G. Pettet, A. Dubey, and G. Karsai, "Towards an Architecture for Evaluating and Analyzing Decentralized Fog Applications", 2017 IEEE Fog World Congress (FWC) (FWC 2017), Santa Clara, USA, pp. 49-54, 2017. Abstract  Download: 1570370402.pdf (1.11 MB)
Emfinger, W., G. Karsai, A. Dubey, and A. Gokhale, "Analysis, Verification, and Management Toolsuite for Cyber-physical Applications on Time-varying Networks", Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, New York, NY, USA, ACM, pp. 44–47, 2014.  Download: CyPhy14.pdf (583.29 KB)
Franke, H., J. Sztipanovits, and G. Karsai, "Model-Integrated Computing", Hawaii Systems of the World Manufacturing Congress, Auckland, New Zealand, November, 1997.
Hartsell, C., G. Karsai, and M. Lowry, "Timing Analysis of a Middleware-based System", Proceedings of the 16th Workshop on Adaptive and Reflective Middleware, New York, NY, USA, ACM, pp. 5:1–5:6, 2017.
Hasan, S., A. Chhokra, A. Dubey, N. Mahadevan, and G. Karsai, "A Simulation Testbed for Cascade Analysis", IEEE PES Innovative Smart Grid Technologies (ISGT), 2017. Abstract  Download: ISGT_2017_paper1.pdf (728.09 KB); ISGT_2017_presentation.pdf (857.13 KB)
Hasan, S., A. Dubey, G. Karsai, and X. Koutsoukos, "A game-theoretic approach for power systems defense against dynamic cyber-attacks", International Journal of Electrical Power & Energy Systems, vol. 115, pp. 105432, 2019. Abstract  Download: hasan2019.pdf (519.26 KB)
Hasan, S., A. Ghafouri, A. Dubey, G. Karsai, and X. Koutsoukos, "Vulnerability Analysis of Power Systems Based on Cyber-Attack and Defense Models", Innovative Smart Grid Technologies (ISGT 2018), Washington DC, 2017. Abstract  Download: paper.pdf (411.12 KB)
Hasan, S., A. Chhokra, N. Mahadevan, A. Dubey, and G. Karsai, "Cyber-Physical Vulnerability Analysis", ISIS Technical Report, no. ISIS-17-101, Nashville, Insitute For Software Integrated Systems, pp. 1-14, 01/2017.  Download: report.pdf (927.21 KB)
Hemingway, G., H. Neema, H. Nine, J. Sztipanovits, and G. Karsai, "Rapid Synthesis of High-Level Architecture-Based Heterogeneous Simulation: A Model-Based Integration Approach", SIMULATION, vol. March 17, 2011 0037549711401950, no. March 17, 2011, Online, Simulation: Transactions of the Society for Modeling and Simulation International, pp. 16, 03/2011. Abstract  Download: 0037549711401950.full_.pdf (815.53 KB)
Jackson, E. K., W. Schulte, D. Balasubramanian, and G. Karsai, "Reusing Model Transformations While Preserving Properties", Fundamental Approaches to Software Engineering, vol. 6013: Springer, 04/2010.
Kandasamy, N., D. Hanak, C. van Buskirk, H. Neema, and G. Karsai, "Synthesis of Robust Task Schedules for Minimum Disruption Repair", IEEE International Conference on Systems, Man and Cybernetics, vol. 6, pp. 5056-5061, 10/2004. Abstract  Download: RobustTaskSchedules.pdf (370.75 KB)
Karsai, G., A. Agrawal, F. Shi, and J. Sprinkle, "On the use of Graph Transformations in the Formal Specification of Computer-Based Systems", IEEE TC-ECBS and IFIP10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Huntsville, Alabama, pp. 19--27, April, 2003.  Download: Karsai_G_4_9_2003_On_the_use.pdf (224.67 KB)
Karsai, G., S. Padalkar, J. Sztipanovits, and F. DeCaria, "Activity Modeling", Foundation of Computer Aided Process Design, microfilm publication, Snowmass, CO, July, 1994.
Karsai, G., J. Sztipanovits, S. Padalkar, and C. Biegl, "Model Based Techniques for Intelligent Process Control", Artificial Intelligence in Engineering, vol. 2: Elsevier, pp. 79--94, 1990.