Thomas Huining Feng
According to our database1, Thomas Huining Feng authored at least 9 papers between 2006 and 2012.
Legend:Book In proceedings Article PhD thesis Other
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude.
Sci. Comput. Program., 2012
Ptera: an event-oriented model of computation for heterogeneous systems.
Proceedings of the 10th International conference on Embedded software, 2010
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
Real-Time Distributed Discrete-Event Execution with Fault Tolerance.
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008
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
Incremental checkpointing with application to distributed discrete event simulation.
Proceedings of the Winter Simulation Conference WSC 2006, 2006