Porter, J., Hemingway, G., Kottenstette, N., Nine, H., vanBuskirk, C., Karsai, G., & Sztipanovits, J. (2010). New Developments in Model-Integrated Development of High-Confidence Software. Safe and Secure Systems & Software Symposium. (Original work published June 2010)

Neema, H., Nine, H., Hemingway, G., Sztipanovits, J., & Karsai, G. (2009). Rapid Synthesis of Multi-Model Simulations for Computational Experiments in C2. In Armed Forces Communications and Electronics Association - George Mason University Symposium. Lansdowne, Virginia: George Mason University: http://hdl.handle.net/1920/5639. (Original work published May 2009)

Porter, J., Lattmann, Z., Hemingway, G., Mahadevan, N., Neema, S., Nine, H., … Sztipanovits, J. (2009). The ESMoL Modeling Language and Tools for Synthesizing and Simulating Real-Time Embedded Systems. In 15th IEEE Real-Time and Embedded Technology and Applications Symposium. San Francisco, CA. (Original work published April 2009)

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.

Hemingway, G., Porter, J., Kottenstette, N., vanBuskirk, C., Karsai, G., & Sztipanovits, J. (2010). Automated synthesis of time-triggered architecture-based TrueTime models for platform effects simulation and analysis. In Rapid System Prototyping (pp. 1–7). Fairfax, VA: IEEE. (Original work published October 2010)

Porter, J., Hemingway, G., Kottenstette, N., Karsai, G., & Sztipanovits, J. (2010). Online Stability Validation Using Sector Analysis. In International Conf. on Embedded Software (EMSoft) (pp. 29–38). Scottsdale, AZ: ACM. (Original work published October 2010)

Porter, J., Hemingway, G., Nine, H., vanBuskirk, C., Kottenstette, N., Karsai, G., & Sztipanovits, J. (2010). The ESMoL Language and Tools for High-Confi dence Distributed Control Systems Design. Part 1: Language, Framework, and Analysis. Nashville, TN: Vanderbilt University. (Original work published September 2010)

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)

Hemingway, G., Neema, H., Nine, H., Sztipanovits, J., & Karsai, G. (2011). Rapid Synthesis of High-Level Architecture-Based Heterogeneous Simulation: A Model-Based Integration Approach. SIMULATION, March 17, 2011 0037549711401950, 16. (Original work published March 2011)

Juracz, L., Lattmann, Z., Levendovszky, T., Hemingway, G., Gaggioli, W., Netterville, T., … Howard, L. (2014). VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design. Proceedings of the 2nd International Workshop on Model-Driven Engineering for High Performance and Cloud computing co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013). (Original work published January 2014)