Harmon Nine

According to our database, Harmon Nine authored at least 7 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Reusable Network Simulation for CPS Co-Simulations.

Himanshu Neema, Harmon Nine, Thomas Roth

Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023

2020

Workflow Automation for Cyber Physical System Development Processes.

Charles Hartsell, Nagabhushan Mahadevan, Harmon Nine, Ted Bapty, Abhishek Dubey, Gabor Karsai

CoRR, 2020

2012

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

2011

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

Proceedings of the 22nd IEEE International Symposium on Rapid System Prototyping, 2011

2010

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

Proceedings of the 21st IEEE International Symposium on Rapid System Prototyping, 2010

2009

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

Proceedings of the Twentienth IEEE/IFIP International Symposium on Rapid System Prototyping, 2009

2008

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

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008