 | 2010 |
|---|
| 8 |       | Thomas Huining Feng,
Edward A. Lee,
Lee W. Shruben:
Ptera: an event-oriented model of computation for heterogeneous systems.
EMSOFT 2010: 219-228 |
| 2009 |
|---|
| 7 | | Robert E. Strom,
Chitra Dorai,
Thomas Huining Feng,
Wei Zheng:
Deterministic Replay for Transparent Recovery in Component-Oriented Middleware.
ICDCS 2009: 615-622 |
| 6 | | Kyungmin Bae,
Peter Csaba Ölveczky,
Thomas Huining Feng,
Stavros Tripakis:
Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude.
ICFEM 2009: 717-736 |
| 5 | | Jia Zou,
Slobodan Matic,
Edward A. Lee,
Thomas Huining Feng,
Patricia Derler:
Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems.
IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 77-86 |
| 2008 |
|---|
| 4 | | 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 | | 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 | | 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 | | Thomas Huining Feng,
Edward A. Lee:
Incremental checkpointing with application to distributed discrete event simulation.
Winter Simulation Conference 2006: 1004-1011 |
Data released under the ODC-BY 1.0 license — See also our legal information page