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)

Balasubramanian, D., Zhang, Z., McDermet, D., & Karsai, G. (2017). Janalyzer: A Static Analysis Tool for Java Bytecode. Nashville: Institute for Software Integrated Systems. (Original work published August 2017)

Dubey, A., Emfinger, W., Gokhale, A., Kumar, P., McDermet, D., Bapty, T., & Karsai, G. (2019). Enabling Strong Isolation for Distributed Real-time Applications in Edge Computing Scenarios. IEEE Aerospace and Electronic Systems Magazine. (Original work published 2019)