Thomas Huining Feng

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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


  Loading...