| emsoft | participants

Edward A. Lee

Program Committees:
2002, 2003, 2004, 2005, 2009, 2010, 2011, 2012, 2013, 2015, 2018, 2019, and 2021
.

EMSOFT 2023: 23rd International Conference on Embedded Software

Consistency vs. Availability in Distributed Cyber-Physical Systems

Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, and Christian Menard

Towards Building Verifiable CPS using Lingua Franca

Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, and Sanjit A. Seshia

EMSOFT 2015: 15th International Conference on Embedded Software

Modeling and Simulating Cyber-Physical Systems using CyPhySim

Edward A. Lee, Mehrdad Niknami, Thierry S. Nouidui, and Michael Wetter

EMSOFT 2013: 13th International Conference on Embedded Software

StreaMorph: A Case for Synthesizing Energy-Efficient Adaptive Programs using High-Level Abstractions

Dai N. Bui and Edward A. Lee

On the Schedulability of Real-Time Discrete-Event Systems

Eleftherios Matsikoudis, Christos Stergiou, and Edward A. Lee

Determinate Composition of Fmus for Co-Simulation

David Broman, Christopher X. Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, and Michael Wetter

EMSOFT 2011: 11th International Conference on Embedded Software

A Practical Ontology Framework for Static Model Analysis

Ben Lickly, Charles P. Shelton, Elizabeth Latronico, and Edward A. Lee

Heterogeneous Actor Modeling

Edward A. Lee

EMSOFT 2010: 10th International Conference on Embedded Software

Model-Based Specification of Timing Requirements

Christian Buckl, Irina Gaponova, Michael Geisinger, Alois C. Knoll, and Edward A. Lee

Ptera: An Event-Oriented Model of Computation for Heterogeneous Systems

Thomas Huining Feng, Edward A. Lee, and Lee W. Shruben

EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software

On Relational Interfaces

Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, and Edward A. Lee

EMSOFT 2007: 7th ACM & IEEE International Conference on Embedded Software

Leveraging Synchronous Language Principles for Heterogeneous Modeling and Design of Embedded Systems

Edward A. Lee and Haiyang Zheng

EMSOFT 2006: 6th ACM & IEEE International Conference on Embedded Software

A Causality Interface for Deadlock Analysis in Dataflow

Ye Zhou and Edward A. Lee

EMSOFT 2001: 1st International Workshop on Embedded Software

System-Level Types for Component-Based Design

Edward A. Lee and Yuhong Xiong