Thomas Huining Feng

According to our database, Thomas Huining Feng authored at least 9 papers between 2006 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

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

2010

Ptera: an event-oriented model of computation for heterogeneous systems.

Thomas Huining Feng, Edward A. Lee, Lee W. Shruben

Proceedings of the 10th International conference on Embedded software, 2010

2009

Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems.

Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng, Patricia Derler

Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude.

Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis

Proceedings of the Formal Methods and Software Engineering, 2009

Deterministic Replay for Transparent Recovery in Component-Oriented Middleware.

Robert E. Strom, Chitra Dorai, Thomas Huining Feng, Wei Zheng

Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 2009

2008

Real-Time Distributed Discrete-Event Execution with Fault Tolerance.

Thomas Huining Feng, Edward A. Lee

Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008

2007

Multi-formalism modelling and model transformation for the design of reactive systems.

Thomas Huining Feng, Miriam Zia, Hans Vangheluwe

Proceedings of the 2007 Summer Computer Simulation Conference, 2007

Interactive presentation: Automatic model generation for black box real-time systems.

Thomas Huining Feng, Lynn Wang, Wei Zheng, Sri Kanajan, Sanjit A. Seshia

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

2006

Incremental checkpointing with application to distributed discrete event simulation.

Thomas Huining Feng, Edward A. Lee

Proceedings of the Winter Simulation Conference WSC 2006, 2006