- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j1 |      | Graham Hemingway, Himanshu Neema, Harmon Nine, Janos Sztipanovits, Gabor Karsai: Rapid synthesis of high-level architecture-based heterogeneous simulation: a model-based integration approach. Simulation 88(2): 217-232 (2012) |
| 2011 | ||
| c4 | | 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: 121-127 |
| 2010 | ||
| c3 | | 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: 1-7 |
| 2009 | ||
| c2 | | 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: 3-10 |
| 2008 | ||
| c1 | | 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: 20-34 |
Data released under the ODC-BY 1.0 license — See also our legal information page