# Thomas Huining Feng

According to our database

Collaborative distances:

^{1}, Thomas Huining Feng authored at least 9 papers between 2006 and 2012.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2012

Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude.

Sci. Comput. Program., 2012

2010

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

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

2009

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

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

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

Proceedings of the Formal Methods and Software Engineering, 2009

Deterministic Replay for Transparent Recovery in Component-Oriented Middleware.

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

2008

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

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.

Proceedings of the 2007 Summer Computer Simulation Conference, 2007

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

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

2006

Incremental checkpointing with application to distributed discrete event simulation.

Proceedings of the Winter Simulation Conference WSC 2006, 2006