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)