| 2008 |
|---|
| 3 | EE | 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 | EE | 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 | EE | Hang Su,
Graham Hemingway,
Kai Chen,
T. John Koo:
Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems.
ATVA 2006: 523-537 |
