Concepedia

Author

Thomas Huining Feng

University of California, Berkeley

Also Known As

T.H. Feng, Thomas Feng, Thomas H. Feng, Thomas Huining Feng

22

Publications

288

Citations

10

H-Index

25

Concepts

All Affiliations

University of California, Berkeley
TH

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

5

5

126

2

Computer Science

4

4

91

3

Systems Engineering

4

4

91

4

Computer Engineering

3

3

76

5

Computer Architecture

3

3

76

Thomas Huining Feng

×

7

Publications

173

Citations

7

H-Index

YearCitations

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

Jia Zou, Slobodan Matic, Edward A. Lee,

2009

43

Model Engineering using Multimodeling

Christopher Brooks, Chih‐Hong Cheng, Thomas Huining Feng,

mediaTUM – the media and publications repository of the Technical University Munich (Technical University Munich)

2008

36

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

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

Science of Computer Programming

2010

35

Real-Time Distributed Discrete-Event Execution with Fault Tolerance

Thomas Huining Feng, Edward A. Lee

2008

23

Incremental checkpointing with application to distributed discrete event simulation

Thomas Huining Feng, Edward A. Lee

2006

15

A Scratchpad Memory Allocation Scheme for Dataflow Models

Shamik Bandyopadhyay, Thomas Huining Feng, Hiren Patel,

2008

11

Automatic Model Generation for Black Box Real-Time Systems

Thomas Huining Feng, Lynn Wang, Wei Zheng,

2007

10

Page 1