Abdelwahed, S. ., Karsai, G. ., & Biswas, G. . (2005). Robust State-based Supervisory Control of Discrete Event Systems. In IEEE Conference on Control Application. Toronto, Canada. (Original work published 2025)

Balasubramanian, D. ., Narayanan, A. ., Neema, S. ., Shi, F. ., Thibodeaux, R. ., & Karsai, G. . (2007). A Subgraph Operator for Graph Transformation Languages. Electronic Communications of the EASST, 6.

Dubey, A. ., Nordstrom, S. ., Keskinpala, T. ., Neema, S. ., Bapty, T. ., & Karsai, G. . (2007). Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems. ISSE, 3, 33–52.

Karsai, G. ., & Narayanan, A. . (2007). On the Correctness of Model Transformations in the Development of Embedded Systems. In Lecture Notes in Computer Science (Vol. 4888). Springer.

Agrawal, A. ., Karsai, G. ., Neema, S. ., Shi, F. ., & Vizhanyo, A. . (2006). The Design of a Language for Model Transformations. Journal on Software and System Modeling, 5, 261–288. (Original work published 2025)

Mens, T. ., van Gorp, P. ., Varro, D. ., & Karsai, G. . (2006). Applying a Model Transformation Taxonomy to Graph Transformation Technology. Electronic Notes in Theoretical Computer Science, 152, 143–159. (Original work published 2025)

Balasubramanian, K. ., Balasubramanian, J. ., Karsai, G. ., Sztipanovits, J. ., & Neema, S. . (2006). Developing applications using model-driven design environments. IEEE Computer, 39, 33–40. (Original work published 2025)

Vizhanyo, A. ., Neema, S. ., Shi, F. ., Balasubramanian, D. ., & Karsai, G. . (2006). Improving the Usability of a Graph Transformation Language. Electronic Notes in Theoretical Computer Science, 152, 207–222. (Original work published 2025)

Werner, J. ., Eby, M. ., Mathe, J. ., Karsai, G. ., Xue, Y. ., & Sztipanovits, J. . (2006). Integrating Security Modeling in Embedded System Design. In 12th IEEE Real-Time and Embedded Technology and Applications Symposium. San Jose, CA. (Original work published 2025)

Narayanan, A. ., & Karsai, G. . (2008). Specifying the Correctness Properties of Model Transformations. In 3rd International Workshop on Graph and Model Transformation (GraMoT). (Original work published May 2008)