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)