Levendovszky, T., Balasubramanian, D., Narayanan, A., & Karsai, G. (2010). A Novel Approach to Semi-Automated Evolution of DSML Model Transformation. In Second International Conference on Software Language Engineering, SLE 2009, LNCS (Vol. 5969, pp. 23–41). Denver, CO: Springer. (Original work published May 2010)

Levendovszky, T., Balasubramanian, D., Smyth, K., Shi, F., & Karsai, G. (2010). A Transformation Instance-Based Approach to Traceability. In 6th ECMFA Traceability Workshop (ECMFA-TW) (pp. 55–60). Paris, France: ACM Digital Library. (Original work published 2010)

Porter, J., Balasubramanian, D., Hemingway, G., & Sztipanovits, J. (2011). Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models. In Software Composition (SC 2011) (Vol. LNCS 6708, pp. 133–140). Zurich: Springer.

Porter, J., Balasubramanian, D., Hemingway, G., & Sztipanovits, J. (2011). Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models (No. ISIS-11-106). Nashville, TN: ISIS, Vanderbilt University. (Original work published April 2011)

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 IEEE International Symposium on Rapid System Prototyping. Karlsruhe, Germany. (Original work published May 2011)

Balasubramanian, D., Pasareanu, C. S., Whalen, M. W., Karsai, G., & Lowry, M. (2011). Polyglot: Modeling and Analysis for Multiple Statechart Formalisms. In International Symposium on Software Testing and Analysis (ISSTA). Toronto, Canada. (Original work published July 2011)

Jackson, E. K., Levendovszky, T., & Balasubramanian, D. (2011). Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. Model Driven Engineering Languages and Systems (MoDELS). Wellington, New Zealand: Springer. (Original work published October 2011)

Balasubramanian, D., Pasareanu, C. S., Biatek, J., Pressburger, T., Karsai, G., Lowry, M. R., & Whalen, M. W. (2012). Integrating Statechart Components in Polyglot. NASA Formal Methods. Norfolk, VA: Springer. (Original work published April 2012)

Balasubramanian, D., Emfinger, W., Kumar, P. S., Otte, W., Dubey, A., & Karsai, G. (2013). An application development and deployment platform for satellite clusters. Workshop on Spacecraft Flight Software.

Mahadevan, N., Dubey, A., Balasubramanian, D., & Karsai, G. (2013). Deliberative Reasoning in Software Health Management (No. ISIS-13-101). ISIS Technical Report. Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN, 37212. (Original work published April 2013)