 | 2012 |
|---|
| 7 |       | 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 |
|---|
| 6 | | Joseph Porter,
Daniel Balasubramanian,
Graham Hemingway,
Janos Sztipanovits:
Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models.
Software Composition 2011: 133-140 |
| 2010 |
|---|
| 5 | | Joseph Porter,
Graham Hemingway,
Nicholas Kottenstette,
Gabor Karsai,
Janos Sztipanovits:
Online stability validation using sector analysis.
EMSOFT 2010: 29-38 |
| 4 | | 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 |
| 2008 |
|---|
| 3 | | 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 |
| 2007 |
|---|
| 2 | | Graham Hemingway,
Hang Su,
Kai Chen,
T. John Koo:
A Semantic Anchoring Infrastructure for the Design of Embedded Systems.
COMPSAC (1) 2007: 287-294 |
| 2006 |
|---|
| 1 | | Hang Su,
Graham Hemingway,
Kai Chen,
T. John Koo:
Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems.
ATVA 2006: 523-537 |
Data released under the ODC-BY 1.0 license — See also our legal information page