T
Thomas Huining Feng
Researcher at University of California, Berkeley
Publications - 17
Citations - 332
Thomas Huining Feng is an academic researcher from University of California, Berkeley. The author has contributed to research in topics: Model of computation & Finite-state machine. The author has an hindex of 11, co-authored 17 publications receiving 310 citations. Previous affiliations of Thomas Huining Feng include Oracle Corporation.
Papers
More filters
Proceedings ArticleDOI
Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems
TL;DR: This paper first defines a general execution strategy that conforms to the DE semantics, and then specializes this strategy to give practical, implementable and distributed policies.
Model Engineering using Multimodeling
Christopher Brooks,Chihhong Patrick Cheng,Thomas Huining Feng,Edward A. Lee,Reinhard von Hanxleden +4 more
TL;DR: This paper begins with a pre-existing Statecharts model of a simple case study, a traffic light for a pedestrian crossing, and shows that the portions of the models defining the control logic of the lights can be shared between the functional and deployment models using actor-oriented classes, which eases maintenance of the model.
ReportDOI
PTIDES: A Programming Model for Distributed Real-Time Embedded Systems
Patricia Derler,Thomas Huining Feng,Edward A. Lee,Slobodan Matic,Hiren D. Patel,Yang Zheo,Jia Zou +6 more
TL;DR: An execution strategy that is aggressive in concurrent execution of events is presented, that allows independent events to be processed out of time stamp order and uses clock synchronization as a replacement for null message communication across distributed platforms.
Journal ArticleDOI
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude
TL;DR: A real-time rewriting logic semantics for a significant subset of Ptolemy II discrete-event models is defined, which enables a model-engineering process that combines the convenience of P tole my II DE modeling and simulation with formal verification in Real-Time Maude.
Book ChapterDOI
Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude
TL;DR: This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude, and formalizes in Real- time Maude the semantics of a subset of hierarchical PtoLemy II DE models.