Karsai, G. ., Biswas, G. ., Pasternak, T. ., Narasimhan, S. ., Peceli, G. ., Simon, G. ., & Kovacshazy, T. . (2001). Fault-Adaptive Control: A CBS Application. In ECBS-2001. Washington, DC. (Original work published 2025)

Karsai, G. . (2001). Tool Support for Design Patterns. NDIST 4 Workshop: Institute for Software Integrated Systems. (Original work published 2025)

Sprinkle, J. ., van Buskirk, C. ., & Karsai, G. . (2001). Analysis and Representation of Clauses in Satisfiability of Constraints. ISIS-01-205. Institute for Software Integrated Systems. (Original work published 2025)

Narasimhan, S. ., Biswas, G. ., & Karsai, G. . (2001). An integrated approach to diagnosis of complex hybrid systems. In 15th Annual Intl. Symposium on AeroSense (Component and Systems Diagnostics, Prognosis, and Health Management) (SPIE 2001). Orlando, Florida. (Original work published 2025)

Ledeczi, A. ., Maroti, M. ., Bakay, A. ., Karsai, G. ., Garrett, J. ., Thomasson, C. ., … Volgyesi, P. . (2001). The Generic Modeling Environment. In Workshop on Intelligent Signal Processing. Budapest, Hungary. (Original work published 2025)

Karsai, G. ., Agrawal, A. ., Shi, F. ., & Sprinkle, J. . (2003). On the use of Graph Transformations in the Formal Specification of Computer-Based Systems. In IEEE TC-ECBS and IFIP10.1 Joint Workshop on Formal Specifications of Computer-Based Systems (p. 19–27). Huntsville, Alabama. (Original work published 2025)

Sprinkle, J. ., Agrawal, A. ., Levendovszky, T. ., Shi, F. ., & Karsai, G. . (2003). Domain Translation Using Graph Transformations. In Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (p. 159–168). Huntsville, AL. (Original work published 2025)

Karsai, G. ., Abdelwahed, S. ., & Biswas, G. . (2003). Integrated Diagnosis and Control for Hybrid Dynamic Systems. In AIAA Guidance, Navigation and Control Conference. Austin, TX. (Original work published 2025)

Abdelwahed, S. ., Karsai, G. ., & Biswas, G. . (2003). System Diagnosis using Hybrid Failure Propagation Graphs. Institute for Software Integrated Systems. (Original work published 2025)

Karsai, G. ., Maroti, M. ., Ledeczi, A. ., Gray, J. ., & Sztipanovits, J. . (2003). Composition and Cloning in Modeling and Meta-Modeling. IEEE Transactions on Control System Technology. (Original work published 2025)