Concepedia

Thomas Huining Feng

TH

7

Publications

173

Citations

7

H-Index

2006

Active since

Affiliations

University of California, Berkeley(Current)

Thomas Huining Feng is an author at University of California, Berkeley specializing in formal verification, engineering, and program analysis.

Top concepts

EngineeringFormal VerificationSystem SoftwareComputer ScienceProgram AnalysisSystems EngineeringFormal MethodsEmbedded SystemsReal-time SystemsParallel Computing

Publications per year

2006–2010

7

Publications

7

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

Jia Zou, Slobodan Matic, Edward A. Lee et al. · 2009 · 43 citations

Distributed Embedded Systems, Engineering, System Programming +24

Model Engineering using Multimodeling

Christopher Brooks, Chih‐Hong Cheng, Thomas Huining Feng et al. · mediaTUM – the media and publications repository of the Technical University Munich (Technical University Munich) · 2008 · 36 citations · Full text

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

Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng et al. · Science of Computer Programming · 2010 · 35 citations

Engineering, Discrete Event System, Discrete Modeling +5

Real-Time Distributed Discrete-Event Execution with Fault Tolerance

Thomas Huining Feng, Edward A. Lee · 2008 · 23 citations

Engineering, Computer Architecture, Fault Tolerance +19

Incremental checkpointing with application to distributed discrete event simulation

Thomas Huining Feng, Edward A. Lee · 2006 · 15 citations

Cluster Computing, Engineering, Fault Tolerance +19

Rows per page

1–5 of 7