Thomas Huining Feng

Publication Activity (10 Years)

Years Active: 2006-2012
Publications (10 Years): 0

Top Topics

Top Venues

Sci. Comput. Program.

Publications

Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Edward A. Lee, Stavros Tripakis
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude. Sci. Comput. Program. 77 (12) (2012)
Thomas Huining Feng, Edward A. Lee, Lee W. Shruben
Ptera: an event-oriented model of computation for heterogeneous systems. EMSOFT (2010)
Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis
Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. ICFEM (2009)
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)
Robert E. Strom, Chitra Dorai, Thomas Huining Feng, Wei Zheng
Deterministic Replay for Transparent Recovery in Component-Oriented Middleware. ICDCS (2009)
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)
Thomas Huining Feng, Miriam Zia, Hans Vangheluwe
Multi-formalism modelling and model transformation for the design of reactive systems. SCSC (2007)
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)
Thomas Huining Feng, Edward A. Lee
Incremental checkpointing with application to distributed discrete event simulation. WSC (2006)