Execution strategies for ptides, a programming model for distributed embedded systems J Zou, S Matic, EA Lee, TH Feng, P Derler 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium …, 2009 | 61 | 2009 |
PTIDES: A programming model for distributed real-time embedded systems P Derler, TH Feng, EA Lee, S Matic, HD Patel, Y Zhao, J Zou University of California, Berkeley, EECS Technical Report. EECS-2008-72, 2008 | 61 | 2008 |
Model engineering using multimodeling C Brooks, CH Cheng, TH Feng, EA Lee, R Von Hanxleden Proceedings of the 1st International Workshop on Model Co-Evolution and …, 2008 | 58 | 2008 |
Distributed, fault-tolerant and highly available computing system C Dorai, RE Strom, H Feng US Patent 7,937,618, 2011 | 42 | 2011 |
Real-time distributed discrete-event execution with fault tolerance TH Feng, EA Lee 2008 IEEE Real-Time and Embedded Technology and Applications Symposium, 205-214, 2008 | 40 | 2008 |
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude K Bae, PC Ölveczky, TH Feng, EA Lee, S Tripakis Science of Computer Programming, 2010 | 38 | 2010 |
DCharts, a formalism for modeling and simulation based design of reactive software systems H Feng McGill University, 2004 | 38 | 2004 |
Verifying ptolemy ii discrete-event models using real-time maude K Bae, PC Ölveczky, TH Feng, S Tripakis Formal Methods and Software Engineering: 11th International Conference on …, 2009 | 33 | 2009 |
Incremental checkpointing with application to distributed discrete event simulation TH Feng, EA Lee Proceedings of the 2006 Winter Simulation Conference, 1004-1011, 2006 | 24 | 2006 |
A scratchpad memory allocation scheme for dataflow models S Bandyopadhyay, F Huining, H Patel, E Lee Published Aug 25, 1-10, 2008 | 18 | 2008 |
SYSTEM AND METHOD FOR TIME-AWARE RUN-TIME TO GUARANTEE TIME RE Strom, C Doral, H Feng, W Zheng US Patent App. 12/509,962, 2009 | 17* | 2009 |
An extended semantics for a Statechart Virtual Machine TH Feng Summer Computer Simulation Conference. Student Workshop, pages S147–S166 …, 2003 | 16 | 2003 |
Automatic model generation for black box real-time systems TH Feng, L Wang, W Zheng, S Kanajan, SA Seshia 2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007 | 14 | 2007 |
Case study: Consistency problems in a UML model of a chat room TH Feng, H Vangheluwe Workshop on Consistency Problems in UML-based Software Development, 18, 2003 | 13 | 2003 |
Ptera: An event-oriented model of computation for heterogeneous systems TH Feng, EA Lee, LW Shruben Proceedings of the tenth ACM international conference on Embedded software …, 2010 | 12 | 2010 |
Scalable models using model transformation TH Feng, EA Lee Workshop on Model Based Architecting and Construction of Embedded Systems …, 2008 | 12 | 2008 |
A formalism for higher-order composition languages that satisfies the Church-Rosser property A Cataldo, E Cheong, TH Feng, EA Lee, AC Mihal Technical Report UCB/EECS-2006-48, EECS Department, University of California …, 2006 | 10 | 2006 |
Multimodeling: A preliminary case study C Brooks, TH Feng, EA Lee, R von Hanxleden tech. rep., 2008 | 8 | 2008 |
System and method for time-aware run-time to guarantee timeliness in component-oriented distributed systems RE Strom, C Dorai, H Feng, W Zheng US Patent 8,893,139, 2014 | 7 | 2014 |
Model transformation with hierarchical discrete-event control H Feng University of California, Berkeley, 2009 | 7 | 2009 |