| 2010 | EMSOFT | Ptera: an event-oriented model of computation for heterogeneous systems. | Thomas Huining Feng, Edward A. Lee, Lee W. Shruben |
| 2009 | ICDCS | Deterministic Replay for Transparent Recovery in Component-Oriented Middleware. | Robert E. Strom, Chitra Dorai, Thomas Huining Feng, Wei Zheng |
| 2009 | ICFEM | Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. | Kyungmin Bae, Peter Csaba lveczky, Thomas Huining Feng, Stavros Tripakis |
| 2009 | RTAS | Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems. | Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng, Patricia Derler |
| 2008 | RTAS | Real-Time Distributed Discrete-Event Execution with Fault Tolerance. | Thomas Huining Feng, Edward A. Lee |
| 2007 | DATE | Interactive presentation: Automatic model generation for black box real-time systems. | Thomas Huining Feng, Lynn Wang, Wei Zheng, Sri Kanajan, Sanjit A. Seshia |
| 2006 | WSC | Incremental checkpointing with application to distributed discrete event simulation. | Thomas Huining Feng, Edward A. Lee |