Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation. - Joseph Porter; Gabor Karsai; Péter Völgyesi; Harmon Nine; Peter Humke; Graham Hemingway; Ryan Thibodeaux; Janos Sztipanovits (MoDELS (Workshops), 2008)

An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software. - Joseph Porter; Péter Völgyesi; Nicholas Kottenstette; Harmon Nine; Gabor Karsai; Janos Sztipanovits (IEEE International Workshop on Rapid System Prototyping, 2009)

Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis. - Graham Hemingway; Joseph Porter; Nicholas Kottenstette; Harmon Nine; Christopher P. van Buskirk; Gabor Karsai; Janos Sztipanovits (International Symposium on Rapid System Prototyping, 2010)

Rapid property specification and checking for model-based formalisms. - Daniel Balasubramanian; Gábor Pap; Harmon Nine; Gabor Karsai; Michael R. Lowry; Corina S. Pasareanu; Thomas Pressburger (International Symposium on Rapid System Prototyping, 2011)

Rapid synthesis of high-level architecture-based heterogeneous simulation: a model-based integration approach. - Graham Hemingway; Himanshu Neema; Harmon Nine; Janos Sztipanovits; Gabor Karsai (Simul., 2012)

Workflow Automation for Cyber Physical System Development Processes. - Charles Hartsell; Nagabhushan Mahadevan; Harmon Nine; Ted Bapty; Abhishek Dubey; Gabor Karsai (CoRR, 2020)

Reusable Network Simulation for CPS Co-Simulations. - Himanshu Neema; Harmon Nine; Thomas Roth (CPS-IoT Week Workshops, 2023)