Balasubramanian, D. ., Pap, G. ., Nine, H. ., Karsai, G. ., Lowry, M. ., Pasareanu, C. ., & Pressburger, T. . (2011). Rapid property specification and checking for model-based formalisms. In 2011 22nd IEEE International Symposium on Rapid System Prototyping (pp. 121–127). Karlsruhe, Germany: IEEE. http://doi.org/10.1109/RSP.2011.5929985 (Original work published May 2011)

Zhang, Q. ., Balasubramanian, D. ., Kecskes, T. ., & Sztipanovits, J. . (2021). Differential-FORMULA: Towards a Semantic Backplane for Incremental Modeling. In 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling (pp. 51–60). New York, NY, USA: Association for Computing Machinery. http://doi.org/10.1145/3486603.3486779 (Original work published October 2021)

Pradhan, S. ., Dubey, A. ., Levendovszky, T. ., Kumar, P. S., Emfinger, W. A., Balasubramanian, D. ., … Karsai, G. . (2016). Achieving resilience in distributed software systems via self-reconfiguration. Journal of Systems and Software, 122, 344–363. http://doi.org/https://doi.org/10.1016/j.jss.2016.05.038 (Original work published December 2016)

Coglio, A. ., McCarthy, E. ., Westfold, S. ., Balasubramanian, D. ., Dubey, A. ., & Karsai, G. . (2022). Syntheto: A Surface Language for APT and ACL2. Electronic Proceedings in Theoretical Computer Science, 359. http://doi.org/10.4204/eptcs.359.13 (Original work published May 2022)

Balasubramanian, D. ., Zhang, Z. ., McDermet, D. ., & Karsai, G. . (2019). Dynamic Symbolic Execution for the Analysis of Web Server Applications in Java. In 34th ACM/SIGAPP Symposium on Applied Computing (pp. 2178–2185). New York, NY, USA: Association for Computing Machinery. http://doi.org/10.1145/3297280.3297494 (Original work published April 2019)

Zhang, Z. ., Zhan, Z. ., Balasubramanian, D. ., Koutsoukos, X. ., & Karsai, G. . (2018). Triggering Rowhammer Hardware Faults on ARM: A Revisit. In 2018 Workshop on Attacks and Solutions in Hardware Security (pp. 24–33). New York, NY, USA: Association for Computing Machinery. http://doi.org/10.1145/3266444.3266454 (Original work published October 2018)

Zhang, Z. ., Zhan, Z. ., Balasubramanian, D. ., Li, B. ., Volgyesi, P. ., & Koutsoukos, X. . (2020). Leveraging EM Side-Channel Information to Detect Rowhammer Attacks. In 2020 IEEE Symposium on Security and Privacy (SP) (pp. 729–746). San Francisco, CA: IEEE. http://doi.org/10.1109/SP40000.2020.00060 (Original work published May 2020)

Canady, R. ., Zhou, X. ., Barve, Y. ., Balasubramanian, D. ., & Gokhale, A. . (2022). Adversarially Robust Edge-Based Object Detection for Assuredly Autonomous Systems. In 2022 IEEE International Conference on Assured Autonomy (ICAA) (pp. 97–106). Fajardo, PR, USA: IEEE. http://doi.org/10.1109/ICAA52185.2022.00021 (Original work published 2025)

Balasubramanian, D. ., Narayanan, A. ., van Buskirk, C. ., & Karsai, G. . (2006). The Graph Rewriting and Transformation Language: GReAT. Electronic Communications of the EASST, 1.

Szemethy, T. ., Karsai, G. ., & Balasubramanian, D. . (2006). Model Transformations in the Model-Based Development of Real-time Systems. In ECBS (pp. 177–186).