Harmon Nine
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2008–2011
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | RSP | Rapid property specification and checking for model-based formalisms. | Daniel Balasubramanian, Gbor Pap, Harmon Nine, Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, Thomas Pressburger |
| 2010 | RSP | 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 |
| 2009 | RSP | An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software. | Joseph Porter, Pter Vlgyesi, Nicholas Kottenstette, Harmon Nine, Gabor Karsai, Janos Sztipanovits |
| 2008 | MODELS | Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation. | Joseph Porter, Gabor Karsai, Pter Vlgyesi, Harmon Nine, Peter Humke, Graham Hemingway, Ryan Thibodeaux, Janos Sztipanovits |