Compositional Modeling and Design of Multi-Way Dataflow in Cloud Computing Environment [10] (accepted in System Engineering - Theory & Practice, 2011)

Verifying Hierarchical Ptolemy II Discrete-Event Models using Real-Time Maude [9] (accepted in Science of Computer Programming, Special Issue, 2011)

Ptera: An Event-Oriented Model of Computation for Heterogeneous Systems [41] (in International Conference on Embedded Software, EMSOFT 2010)

Technical report: Ptera: An Event-Oriented Model of Computation [83] (EECS Department, University of California, Berkeley, UCB/EECS-2010-40, Apr. 2010)

System Simulation and Analysis Using Hierarchical Event Relationship Graphs [11] (in Application Research of Computers, Jul. 2010)

Dynamic Program Analysis Based on Partitioning and Summarization [12] (in Application Research of Computers, Jun. 2010)

System Design and Simulation with Composing Models of Computation [13] (in Application Research of Computers, Jun. 2010)

Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude [42] (in International Conference on Formal Engineering Methods, ICFEM 2009)

Deterministic Replay for Transparent Recovery in Component-Oriented Middleware [43] (in 29th International Conference on Distributed Computing Systems, ICDCS 2009)

Model Transformation with Hierarchical Discrete-Event Control [84] (Ph.D. Dissertation, EECS Department, University of California, Berkeley, UCB/EECS-2009-77, May 2009)

Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems [44] (in 15th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2009)

Engineering Structurally Configurable Models with Model Transformation [85] (Master's Thesis, EECS Department, University of California, Berkeley, UCB/EECS-2008-159, Dec. 2008)

Model Engineering using Multimodeling [45] (in 1st International Workshop on Model Co-Evolution and Consistency Management, MCCM 08)

Technical report: Model Engineering using Multimodeling [89] (EECS Department, University of California, Berkeley, UCB/EECS-2007-39, Apr. 2008)

Scalable Models Using Model Transformation [46] (in 1st International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES^MB 08)

Technical report: Scalable Models Using Model Transformation [87] (EECS Department, University of California, Berkeley, UCB/EECS-2008-85, Jul. 2008)

Presentation: PowerPoint PDF

A Scratchpad Memory Allocation Scheme for Dataflow Models [86] (EECS Department, University of California, Berkeley, UCB/EECS-2008-104, Aug. 2008)

PTIDES: A Programming Model for Distributed Real-Time Embedded Systems [88] (EECS Department, University of California, Berkeley, UCB/EECS-2008-72, May 2008)

Toward an Effective Execution Policy for Distributed Real-Time Embedded Systems [47] (in 14th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 08, Work-in-Progress Session)

Real-Time Distributed Discrete-Event Execution with Fault Tolerance [48] (in 14th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 08)

Technical report: Implementation of Real-Time Distributed Discrete-Event Execution with Fault Tolerance [91] (EECS Department, University of California, Berkeley, UCB/EECS-2007-133, Nov. 2007)

Presentation: PowerPoint PDF

Multimodeling: A Preliminary Case Study [90] (EECS Department, University of California, Berkeley, UCB/EECS-2008-7, Jan. 2008)

Automatic Model Generation for Black Box Real-Time Systems [50] (in 2007 Design, Automation and Test in Europe Conference DATE)

Extended version with proofs: Automatic Model Generation for Black Box Real-Time Systems [92] (EECS Department, University of California, Berkeley, UCB/EECS-2006-117, Sep. 2006)

A Formalism for Higher-Order Composition Languages that Satisfies the Church-Rosser Property [93] (EECS Department, University of California, Berkeley, UCB/EECS-2006-48, May 2006)

Incremental Checkpointing with Application to Distributed Discrete Event Simulation [51] (in 2006 Winter Simulation Conference)

Extended version: Incremental Checkpointing with Application to Distributed Discrete Event Simulation [94] (EECS Department, University of California, Berkeley, UCB/EECS-2006-37, Apr 2006)

Presentation: PowerPoint PDF

Multi-Formalism Modelling and Model Transformation for the Design of Reactive Systems [49] (in 2007 Summer Computer Simulation Conference SCSC)

Modeling and Simulation Based Design with DCharts [54] (in 2004 Conference on Conceptual Modeling and Simulation)

DCharts, a Formalism for Modeling and Simulation Based Design of Reactive Software Systems [97] (Master's Thesis, School of Computer Science, McGill University, Canada, Feb. 2004)

Case Study: Consistency Problems in a UML Model of a Chat Room [56] (in Sixth International Conference on the Unified Modelling Language, Workshop on Consistency Problems in UML-based Software Development II)

A Virtual Machine Supporting Multiple Statechart Extensions [57] (in 2003 Summer Computer Simulation Conference SCSC)

An Extended Semantics for a Statechart Virtual Machine [58] (in 2003 Summer Computer Simulation Conference SCSC)

Using ATM in MPLS Domain [15] (in Electronic Power Automation Equipment, 2002)

3rd-Level Framework for MPLS: Internet Protocol [16] (in Electronic Power Automation Equipment, 2002)

Analyzing an Improvement of MPLS-Net Structures for the Decrease of Dialogue Transmission Delay [60] (in 2002 IEEE International Conference on Systems, Man and Cybernetics)

A Tree View of the MPLS FEC Strategy [61] (in 2002 IEEE International Conference on Telecommunications)