Incremental checkpointing with application to distributed discrete event simulation. - Thomas Huining Feng; Edward A. Lee (WSC, 2006)

Interactive presentation: Automatic model generation for black box real-time systems. - Thomas Huining Feng; Lynn Wang; Wei Zheng; Sri Kanajan; Sanjit A. Seshia (DATE, 2007)

Multi-formalism modelling and model transformation for the design of reactive systems. - Thomas Huining Feng; Miriam Zia; Hans Vangheluwe (SCSC, 2007)

Real-Time Distributed Discrete-Event Execution with Fault Tolerance. - Thomas Huining Feng; Edward A. Lee (IEEE Real-Time and Embedded Technology and Applications Symposium, 2008)

Deterministic Replay for Transparent Recovery in Component-Oriented Middleware. - Robert E. Strom; Chitra Dorai; Thomas Huining Feng; Wei Zheng (ICDCS, 2009)

Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. - Kyungmin Bae; Peter Csaba Ölveczky; Thomas Huining Feng; Stavros Tripakis (ICFEM, 2009)

Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems. - Jia Zou 002; Slobodan Matic; Edward A. Lee; Thomas Huining Feng; Patricia Derler (IEEE Real-Time and Embedded Technology and Applications Symposium, 2009)

Ptera: an event-oriented model of computation for heterogeneous systems. - Thomas Huining Feng; Edward A. Lee; Lee W. Shruben (EMSOFT, 2010)

Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude. - Kyungmin Bae; Peter Csaba Ölveczky; Thomas Huining Feng; Edward A. Lee; Stavros Tripakis (Sci. Comput. Program., 2012)