| 2025 | EMSOFT | Special Session - Predictable Timing Behavior in Distributed Cyber-Physical Systems. | Jian-Jia Chen, Mario Gnzel, Dakshina Dasari, Matthias Becker, Edward A. Lee, Timothy Bourke |
| 2025 | FMCAD | PolyVer: A Compositional Approach for Polyglot System Modeling and Verification. | Pei-Wei Chen, Shaokai Lin, Adwait Godbole, Ramneet Singh, Elizabeth Polgreen, Edward A. Lee, Sanjit A. Seshia |
| 2025 | ICRA | HPRM: High-Performance Robotic Middleware for Intelligent Autonomous Systems. | Jacky Kwok, Shulu Li, Marten Lohstroh, Edward A. Lee |
| 2025 | PADS | Improving the Efficiency of Coordinating Timed Events in Distributed Systems. | Byeong-Gil Jun, Edward A. Lee, Marten Lohstroh, Hokeun Kim |
| 2025 | VECoS | RAG and Agentic Assistant: A Combined Approach. | Moez Ben HajHmida, Edward A. Lee |
| 2025 | VECoS | Extended Abstract: Will Embodied AI Become Sentient? | Edward A. Lee |
| 2024 | DATE | Certainty or Intelligence: Pick One! | Edward A. Lee |
| 2024 | FDL | Timing enclaves for performance in Lingua Franca. | Julian Robledo, Christian Menard, Erling Rennemo Jellum, Edward A. Lee, Jernimo Castrilln |
| 2024 | ICSE | Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca. | Alexander Schulz-Rosengarten, Akash Ahmad, Malte Clement, Reinhard von Hanxleden, Benjamin Asch, Marten Lohstroh, Edward A. Lee, Gustavo Quiros Araya, Ankit Shukla |
| 2024 | MEMOCODE | Efficient Coordination for Distributed Discrete-Event Systems. | Byeong-Gil Jun, Edward A. Lee, Marten Lohstroh, Hokeun Kim |
| 2024 | SPAA | Efficient Parallel Reinforcement Learning Framework Using the Reactor Model. | Jacky Kwok, Marten Lohstroh, Edward A. Lee |
| 2024 | VECoS | Context Engineering for AI-Assisted Programming for Domain-Specific Languages. | Moez Ben Haj Hmida, Edward A. Lee |
| 2024 | VECoS | Certainty vs. Intelligence. | Edward A. Lee |
| 2023 | DATE | Polyglot Modal Models through Lingua Franca. | Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Soroush Bateni, Edward A. Lee |
| 2023 | MEMOCODE | Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems. | Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Hokeun Kim, Shaokai Lin, Christian Menard, Edward A. Lee |
| 2023 | VECoS | Deep Neural Networks, Explanations, and Rationality. | Edward A. Lee |
| 2022 | ISoLA | Pragmatics Twelve Years Later: A Report on Lingua Franca. | Reinhard von Hanxleden, Edward A. Lee, Hauke Fuhrmann, Alexander Schulz-Rosengarten, Sren Domrs, Marten Lohstroh, Soroush Bateni, Christian Menard |
| 2021 | ISoLA | Time for All Programs, Not Just Real-Time Programs. | Edward A. Lee, Marten Lohstroh |
| 2020 | ASPDAC | Formal Semantics of Predictable Pipelines: a Comparative Study. | Mathieu Jan, Mihail Asavoae, Martin Schoeberl, Edward A. Lee |
| 2020 | COMPSAC | Model Checking Software in Cyberphysical Systems. | Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah |
| 2020 | FDL | A Language for Deterministic Coordination Across Multiple Timelines. | Marten Lohstroh, Christian Menard, Alexander Schulz-Rosengarten, Matthew Weber, Jernimo Castrilln, Edward A. Lee |
| 2020 | ICLR | Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning. | Gil Lederman, Markus N. Rabe, Sanjit A. Seshia, Edward A. Lee |
| 2020 | MEMOCODE | Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems. | Maryam Bagheri, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar |
| 2019 | DAC | Actors Revisited for Time-Critical Systems. | Marten Lohstroh, Martin Schoeberl, Andrs Goens, Armin Wasicek, Christopher D. Gill, Marjan Sirjani, Edward A. Lee |
| 2019 | EMSOFT | Programs with ironclad timing guarantees: work-in-progress. | Marten Lohstroh, Martin Schoeberl, Mathieu Jan, Edward Wang, Edward A. Lee |
| 2019 | FDL | Deterministic Actors. | Marten Lohstroh, Edward A. Lee |
| 2019 | ICSE | A fundamental look at models and intelligence: abstract of keynote. | Edward A. Lee |
| 2019 | LATA | Observation and Interaction - Invited Paper. | Edward A. Lee |
| 2019 | RTSS | Work-in-Progress: Real-Time Reactors in C. | Marten Lohstroh, Edward A. Lee |
| 2018 | MODELS | Hybrid Co-simulation: It's About Time. | Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis |
| 2018 | SIGCOMM | AWStream: adaptive wide-area streaming analytics. | Ben Zhang, Xin Jin, Sylvia Ratnasamy, John Wawrzynek, Edward A. Lee |
| 2017 | EMSOFT | Contextual callbacks for resource discovery and trust negotiation on the internet of things: work-in-progress. | Marten Lohstroh, Hokeun Kim, Edward A. Lee |
| 2017 | SENSYS | An Architectural Mechanism for Resilient IoT Services. | Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee |
| 2017 | RTSS | Abstract PRET Machines. | Edward A. Lee, Jan Reineke, Michael Zimmer |
| 2017 | TACAS | autoCode4: Structural Controller Synthesis. | Chih-Hong Cheng, Edward A. Lee, Harald Ruess |
| 2016 | MEMOCODE | Step revision in hybrid Co-simulation with FMI. | Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis |
| 2016 | SAC | FIDE: an FMI integrated development environment. | Fabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher X. Brooks, Edward A. Lee |
| 2015 | ASPLOS | Architectural Support for Cyber-Physical Systems. | Edward A. Lee |
| 2015 | DAC | System simulation from operational data. | Armin Wasicek, Edward A. Lee, Hokeun Kim, Lev Greenberg, Akihito Iwai, Ilge Akkaya |
| 2015 | EMSOFT | Modeling and simulating cyber-physical systems using CyPhySim. | Edward A. Lee, Mehrdad Niknami, Thierry S. Nouidui, Michael Wetter |
| 2015 | RTAS | A predictable and command-level priority-based DRAM controller for mixed-criticality systems. | Hokeun Kim, David Broman, Edward A. Lee, Michael Zimmer, Aviral Shrivastava, Junkwang Oh |
| 2015 | SEFM | An Interface Theory for the Internet of Things. | Marten Lohstroh, Edward A. Lee |
| 2014 | DAC | Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems. | Armin Wasicek, Patricia Derler, Edward A. Lee |
| 2014 | ISORC | It's about Time: Leveraging Clock Synchronization for Distributed Real-Time Programming. | Edward A. Lee |
| 2014 | RTAS | FlexPRET: A processor platform for mixed-criticality systems. | Michael Zimmer, David Broman, Chris Shaver, Edward A. Lee |
| 2013 | EMSOFT | Determinate composition of FMUs for co-simulation. | David Broman, Christopher X. Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter |
| 2013 | EMSOFT | StreaMorph: A case for synthesizing energy-efficient adaptive programs using high-level abstractions. | Dai N. Bui, Edward A. Lee |
| 2013 | EMSOFT | On the schedulability of real-time discrete-event systems. | Eleftherios Matsikoudis, Christos Stergiou, Edward A. Lee |
| 2013 | FCT | An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals. | Eleftherios Matsikoudis, Edward A. Lee |
| 2013 | Middleware | Modeling uncertainty for middleware-based streaming power grid applications. | Ilge Akkaya, Yan Liu, Edward A. Lee, Ian Gorton |
| 2012 | EMSOFT | An overview of the career of Paul Caspi. | Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi |
| 2012 | FCCM | A Heterogeneous Architecture for Evaluating Real-Time One-Dimensional Computational Fluid Dynamics on FPGAs. | Isaac Liu, Edward A. Lee, Matthew Viele, Guoqiang Wang, Hugo A. Andrade |
| 2012 | ICCD | A PRET microarchitecture implementation with repeatable timing and competitive performance. | Isaac Liu, Jan Reineke, David Broman, Michael Zimmer, Edward A. Lee |
| 2012 | MODELS | Viewpoints, formalisms, languages, and tools for cyber-physical systems. | David Broman, Edward A. Lee, Stavros Tripakis, Martin Trngren |
| 2012 | MODELS | The Coroutine Model of Computation. | Chris Shaver, Edward A. Lee |
| 2012 | RTAS | PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems. | Jia Zou, Slobodan Matic, Edward A. Lee |
| 2011 | DAC | Temporal isolation on multiprocessing architectures. | Dai N. Bui, Edward A. Lee, Isaac Liu, Hiren D. Patel, Jan Reineke |
| 2011 | DATE | Component-based design for the future. | Edward A. Lee, Alberto L. Sangiovanni-Vincentelli |
| 2011 | EMSOFT | Time-predictable and composable architectures for dependable embedded systems. | Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis |
| 2011 | EMSOFT | Heterogeneous actor modeling. | Edward A. Lee |
| 2011 | EMSOFT | A practical ontology framework for static model analysis. | Ben Lickly, Charles P. Shelton, Elizabeth Latronico, Edward A. Lee |
| 2011 | ISCAS | An introductory capstone design course on embedded systems. | Jeff C. Jensen, Edward A. Lee, Sanjit A. Seshia |
| 2011 | IWCMC | A model-based design methodology for cyber-physical systems. | Jeff C. Jensen, Danica H. Chang, Edward A. Lee |
| 2010 | DAC | CPS foundations. | Edward A. Lee |
| 2010 | EMSOFT | Model-based specification of timing requirements. | Christian Buckl, Irina Gaponova, Michael Geisinger, Alois C. Knoll, Edward A. Lee |
| 2010 | EMSOFT | Ptera: an event-oriented model of computation for heterogeneous systems. | Thomas Huining Feng, Edward A. Lee, Lee W. Shruben |
| 2010 | MODELS | Equation-Based Object-Oriented Modeling Languages and Tools - Report on the Workshop EOOLT 2010 at MODELS 2010 Oslo, Norway, October 3, 2010. | Peter Fritzson, Edward A. Lee, Franois E. Cellier, David Broman |
| 2010 | MODELS | Disciplined Heterogeneous Modeling - Invited Paper. | Edward A. Lee |
| 2010 | RTCSA | Deploying Hard Real-Time Control Software on Chip-Multiprocessors. | Dai N. Bui, Hiren D. Patel, Edward A. Lee |
| 2009 | COMPSAC | Toward the Design of Robotic Software with Verifiable Safety. | Chih-Hong Cheng, Markus Rickert, Christian Buckl, Edward A. Lee, Alois C. Knoll |
| 2009 | EMSOFT | On relational interfaces. | Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee |
| 2009 | ICCD | A disruptive computer design idea: Architectures with repeatable timing. | Stephen A. Edwards, Sungjun Kim, Edward A. Lee, Isaac Liu, Hiren D. Patel, Martin Schoeberl |
| 2009 | MODELS | Scalable Semantic Annotation Using Lattice-Based Ontologies. | Man-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly |
| 2009 | RTAS | Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems. | Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng, Patricia Derler |
| 2008 | CASES | Predictable programming on a precision timed architecture. | Ben Lickly, Isaac Liu, Sungjun Kim, Hiren D. Patel, Stephen A. Edwards, Edward A. Lee |
| 2008 | ISORC | Time is a Resource, and Other Stories. | Edward A. Lee |
| 2008 | ISORC | Cyber Physical Systems: Design Challenges. | Edward A. Lee |
| 2008 | RTAS | Real-Time Distributed Discrete-Event Execution with Fault Tolerance. | Thomas Huining Feng, Edward A. Lee |
| 2007 | DAC | The Case for the Precision Timed (PRET) Machine. | Stephen A. Edwards, Edward A. Lee |
| 2007 | EMSOFT | Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. | Edward A. Lee, Haiyang Zheng |
| 2007 | ICCS | Composing Different Models of Computation in Kepler and Ptolemy II. | Antoon Goderis, Christopher X. Brooks, Ilkay Altintas, Edward A. Lee, Carole A. Goble |
| 2007 | RTAS | A Programming Model for Time-Synchronized Distributed Real-Time Systems. | Yang Zhao, Jie Liu, Edward A. Lee |
| 2006 | CONCUR | Modeling Timed Concurrent Systems. | Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee |
| 2006 | EMSOFT | A causality interface for deadlock analysis in dataflow. | Ye Zhou, Edward A. Lee |
| 2006 | WSC | Incremental checkpointing with application to distributed discrete event simulation. | Thomas Huining Feng, Edward A. Lee |
| 2006 | WSC | Discrete event models: getting the semantics right. | Edward A. Lee |
| 2005 | GRC | The design and application of structured types in Ptolemy II. | Yuhong Xiong, Edward A. Lee, Xiaojun Liu, Yang Zhao, Lizhi C. Zhong |
| 2005 | SENSYS | Viptos: a graphical development and simulation environment for tinyOS-based wireless sensor networks. | Elaine Cheong, Edward A. Lee, Yang Zhao |
| 2005 | SEFM | Counting Interface Automata and their Application in Static Analysis of Actor Models. | Ernesto Wandeler, Jrn W. Janneck, Edward A. Lee, Lothar Thiele |
| 2004 | MEMOCODE | Classes and subclasses in actor-oriented design. | Edward A. Lee, Stephen Neuendorffer |
| 2004 | MEMOCODE | Hierarchical reconfiguration of dataflow models. | Stephen Neuendorffer, Edward A. Lee |
| 2001 | EMSOFT | System-Level Types for Component-Based Design. | Edward A. Lee, Yuhong Xiong |
| 2000 | CASES | A code generation framework for Java component-based designs. | Jeff Tsay, Christopher Hylands, Edward A. Lee |
| 2000 | DAC | Embedded systems education (panel abstract). | Sharad Malik, D. K. Arvind, Edward A. Lee, Phil Koopman, Alberto L. Sangiovanni-Vincentelli, Wayne H. Wolf |
| 2000 | TACAS | An Extensible Type System for Component-Based Design. | Yuhong Xiong, Edward A. Lee |
| 1999 | ICASSP | Computationally efficient version of the decision feedback equalizer. | Rajarshi Gupta, Kiran, Edward A. Lee |
| 1997 | ICASSP | Code generation by using integer-controlled dataflow graph. | Takashi Miyazaki, Edward A. Lee |
| 1996 | ICASSP | Real-time DSP for sophomores. | Kenneth H. Chiang, Brian L. Evans, William T. Huang, Ferenc Kovac, Edward A. Lee, David G. Messerschmitt, H. John Reekie, S. Shankar Sastry |
| 1996 | ICASSP | An extension of multidimensional synchronous dataflow to handle arbitrary sampling lattices. | Praveen K. Murthy, Edward A. Lee |
| 1996 | ICASSP | Interface synthesis in heterogeneous system-level DSP design tools. | Jos Luis Pino, Michael C. Williamson, Edward A. Lee |
| 1996 | ICCAD | Comparing models of computation. | Edward A. Lee, Alberto L. Sangiovanni-Vincentelli |
| 1995 | ICASSP | Integrating analysis, simulation, and implementation tools in electronic courseware for teaching signal processing. | Roberto H. Bamberger, Brian L. Evans, Edward A. Lee, James H. McClellan, Mark A. Yoder |
| 1995 | ICASSP | Managing complexity in heterogeneous system specification, simulation, and synthesis. | Asawaree Kalavade, Jos Luis Pino, Edward A. Lee |
| 1995 | ICASSP | Modeling radar systems using hierarchical dataflow. | Karim P. Khiar, Edward A. Lee |
| 1995 | ICASSP | Non-preemptive real-time scheduling of dataflow systems. | Thomas M. Parks, Edward A. Lee |
| 1995 | ICASSP | Hierarchical static scheduling of dataflow graphs onto multiple processors. | Jos Luis Pino, Edward A. Lee |
| 1995 | RSP | Converting graphical DSP programs into memory constrained software prototypes. | Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee |
| 1995 | RSP | The extended partitioning problem: hardware/software mapping and implementation-bin selection. | Asawaree Kalavade, Edward A. Lee |
| 1994 | DAC | Manifestations of Heterogeneity in Hardware/Software Co-Design. | Asawaree Kalavade, Edward A. Lee |
| 1994 | ICASSP | Computing and signal processing: an experimental multidisciplinary course. | Edward A. Lee |
| 1994 | ICASSP | Minimizing memory requirements for chain-structured synchronous dataflow programs. | Praveen K. Murthy, Shuvra S. Bhattacharyya, Edward A. Lee |
| 1994 | ICASSP | Automatic code generation for heterogeneous multiprocessors. | Jos Luis Pino, Thomas M. Parks, Edward A. Lee |
| 1993 | ICASSP | Scheduling dynamic dataflow graphs with bounded memory using the token flow model. | Joseph T. Buck, Edward A. Lee |
| 1993 | ICASSP | Representing and exploiting data parallelism using multidimensional dataflow diagrams. | Edward A. Lee |
| 1993 | ICASSP | Design and implementation of an ordered memory access architecture. | Sundararajan Sriram, Edward A. Lee |
| 1992 | ICASSP | A design lab for statistical signal processing. | Edward A. Lee |
| 1992 | ICASSP | Direct synthesis of optimized DSP assembly code from signal flow block diagrams. | Douglas B. Powell, Edward A. Lee, William C. Newman |
| 1991 | ICASSP | Multirate signal processing in Comdisco's SPW. | Brian Barrera, Edward A. Lee |
| 1991 | ICASSP | Multirate signal processing in Ptolemy. | Joseph T. Buck, Soonhoi Ha, Edward A. Lee, David G. Messerschmitt |
| 1990 | ICPP | Scheduling to Account for Interprocessor Communication within Interconnection-Constrained Processor Networks. | Gilbert C. Sih, Edward A. Lee |
| 1989 | DAC | GABRIEL: A Design Environment for Programmable DSPs. | Edward A. Lee, E. Goei, H. Heine, W.-H. Ho, Shuvra S. Bhattacharyya, Jeffery C. Bier, E. Guntvedt |
| 1989 | ICCD | Frigg: a simulation environment for multiple-processor DSP system development. | Jeffrey C. Bier, Edward A. Lee |
| 1987 | ICASSP | Least squares computation at arbitrarily high speeds. | Teresa H.-Y. Meng, Edward A. Lee, David G. Messerschmitt |
| 1987 | ICASSP | Fuzzy vector quantazation applied to hidden Markov modeling. | Ho-Ping Tseng, Michael J. Sabin, Edward A. Lee |