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., J. Sztipanovits, S. Padalkar, C. Biegl, N. Miyasaka, and K. Okuda,
"Model Based Intelligent Process Control for Cogenerator Plants",
Journal of Parallel and Distributed Systems, vol. 15, pp. 90--103, June, 1992.
Download: Karsai_G_0_0_1992_Model_Base.pdf (545.01 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., 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)
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. 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., 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., 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., 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., F. Massacci, L. J. Osterweil, and I. Schieferdecker,
"Evolving Embedded Systems",
Computer, vol. 43, no. May, pp. 34-40, 05/2010.
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., 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., 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., 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)
Kavimandan, A., A. Gokhale, G. Karsai, and J. Gray,
Templatized Model Transformations: Enabling Reuse in Model Transformations,
, no. ISIS-09-110, Nashville, ISIS, pp. 15, 2009.
Download: templatization.pdf (1.39 MB)
Kavimandan, A., A. Gokhale, G. Karsai, and J. Gray,
"Managing the Quality of Software Product Line Architectures through Reusable Model Transformations",
To Appear in the 7th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA), Boulder, CO, USA, ACM, 06/2011.
Download: templatization.pdf (963.29 KB)
Kottenstette, N., J. Porter, G. Karsai, and J. Sztipanovits,
"Discrete-Time IDA-Passivity Based Control of Coupled Tank Processes Subject To Actuator Saturation",
3rd International Symposium on Resilient Control Systems, Idaho Falls, ID, IEEE, pp. 115-120, 08/2010.
Abstract
Download: ida_pbc_res_press.pdf (227.54 KB)