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., J. Sztipanovits, S. Padalkar, and F. DeCaria,
"Model-embedded On-line Problem Solving Environment for Chemical Engineering",
International Conference on Engineering of Complex Computer Systems, Ft Lauderdale, FL, pp. 227--233, November, 1995.
Download: Karsai_G_11_6_1995_Model_embe.pdf (180.47 KB)
Karsai, G., J. Sztipanovits, A. Ledeczi, and M. Moore,
"Model-Integrated System Development: Models, Architecture and Process",
21st Annual International Computer Software and Application Conference (COMPSAC), Bethesda, MD, pp. 176--181, August, 1997.
Download: Karsai_G_8_0_1997_Model_Inte.pdf (4.73 MB)
Karsai, G., J. Sztipanovits, A. Ledeczi, and T. Bapty,
"Model-integrated development of embedded software",
Proceedings of the IEEE, vol. 91, pp. 145--164, January, 2003.
Karsai, G., G. Nordstrom, A. Ledeczi, and J. Sztipanovits,
"Towards Two-Level Formal Modeling of Computer-Based Systems",
Journal of Universal Computer Science, vol. 6, pp. 1131--1144, November, 2000.
Download: Karsai_G_11_0_2000_Towards_Tw.pdf (182.08 KB)
Karsai, G., A. Agrawal, and A. Ledeczi,
"A Metamodel-Driven MDA Process and its Tools",
WISME, UML 2003 Conference, San Francisco, CA, October, 2003.
Download: Karsai_G_10_0_2003_A_Metamode.pdf (212.6 KB)
Karsai, G., G. Biswas, T. Pasternak, S. Narasimhan, G. Peceli, G. Simon, and T. Kovacshazy,
"Fault-Adaptive Control: A CBS Application",
ECBS-2001, Washington, DC, February, 2001.
Download: Karsai_G_2_0_2001_Fault_Adap.pdf (79 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., A. Lang, and S. Neema,
"Tool Integration Patterns",
Workshop on Tool Integration in System Developement, ESEC/FSE, Helsinki, Finland, pp. 33--38, September, 2003.
Download: Karsai_G_9_0_2003_Tool_Integ.pdf (274.24 KB)
Karsai, G., J. Sztipanovits, S. Padalkar, and C. Biegl,
"A Model-Based Approach for Plant-Wide Monitoring Control and Diagnostics",
AIChE Annual Meeting, microfilm, Los Angeles, CA, November, 1991.
Karsai, G., C. Biegl, S. Padalkar, J. Sztipanovits, K. Kawamura, N. Miyasaka, and M. Inui,
"Knowledge-Based Approach to Real-Time Supervisory Control",
Amercian Control Conference, Atlanta, GA, pp. 620--626, 1988.
Karsai, G., F. Massacci, L. J. Osterweil, and I. Schieferdecker,
"Evolving Embedded Systems",
Computer, vol. 43, no. May, pp. 34-40, 05/2010.
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. Abdelwahed, and G. Biswas,
"Integrated Diagnosis and Control for Hybrid Dynamic Systems",
AIAA Guidance, Navigation and Control Conference, Austin, TX, August, 2003.
Download: Karsai_G_8_0_2003_Integrated.pdf (188.1 KB)
Karsai, G., G. Nordstrom, A. Ledeczi, and J. Sztipanovits,
"Specifying Graphical Modeling Systems Using Constraint-based Metamodels",
IEEE Symposium on Computer Aided Control System Design, Anchorage, Alaska, September, 2000.
Download: Karsai_G_9_25_2000_Specifying.pdf (90.87 KB)