| |
| 2008 | ||
|---|---|---|
| 4 | EE | Thomas Huining Feng, Edward A. Lee: Real-Time Distributed Discrete-Event Execution with Fault Tolerance. IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 205-214 |
| 2007 | ||
| 3 | EE | Thomas Huining Feng, Lynn Wang, Wei Zheng, Sri Kanajan, Sanjit A. Seshia: Interactive presentation: Automatic model generation for black box real-time systems. DATE 2007: 930-935 |
| 2 | EE | Thomas Huining Feng, Miriam Zia, Hans Vangheluwe: Multi-formalism modelling and model transformation for the design of reactive systems. SCSC 2007: 505-512 |
| 2006 | ||
| 1 | EE | Thomas Huining Feng, Edward A. Lee: Incremental checkpointing with application to distributed discrete event simulation. Winter Simulation Conference 2006: 1004-1011 |
| 1 | Sri Kanajan | [3] |
| 2 | Edward A. Lee | [1] [4] |
| 3 | Sanjit A. Seshia | [3] |
| 4 | Hans Vangheluwe | [2] |
| 5 | Lynn Wang | [3] |
| 6 | Wei Zheng | [3] |
| 7 | Miriam Zia | [2] |