Harmon Nine

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 2

Top Topics

Workflow Management Systems

Development Process

Simulation Models

Top Venues

CPS-IoT Week Workshops

Publications

Himanshu Neema, Harmon Nine, Thomas Roth
Reusable Network Simulation for CPS Co-Simulations. CPS-IoT Week Workshops (2023)
Charles Hartsell, Nagabhushan Mahadevan, Harmon Nine, Ted Bapty, Abhishek Dubey, Gabor Karsai
Workflow Automation for Cyber Physical System Development Processes. CoRR (2020)
Graham Hemingway, Himanshu Neema, Harmon Nine, Janos Sztipanovits, Gabor Karsai
Rapid synthesis of high-level architecture-based heterogeneous simulation: a model-based integration approach. Simul. 88 (2) (2012)
Daniel Balasubramanian, Gábor Pap, Harmon Nine, Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, Thomas Pressburger
Rapid property specification and checking for model-based formalisms. International Symposium on Rapid System Prototyping (2011)
Graham Hemingway, Joseph Porter, Nicholas Kottenstette, Harmon Nine, Christopher P. van Buskirk, Gabor Karsai, Janos Sztipanovits
Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis. International Symposium on Rapid System Prototyping (2010)
Joseph Porter, Péter Völgyesi, Nicholas Kottenstette, Harmon Nine, Gabor Karsai, Janos Sztipanovits
An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software. IEEE International Workshop on Rapid System Prototyping (2009)
Joseph Porter, Gabor Karsai, Péter Völgyesi, Harmon Nine, Peter Humke, Graham Hemingway, Ryan Thibodeaux, Janos Sztipanovits
Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation. MoDELS (Workshops) (2008)