On quantization effects in state-variable filter implementations. - Edward Ashford Lee; David G. Messerschmitt (ICASSP, 1985)

Synchronous Data Flow: Describing Signal Processing Algorithm for Parallel Computation. - Edward A. Lee; David G. Messerschmitt (COMPCON, 1987)

Least squares computation at arbitrarily high speeds. - Teresa H.-Y. Meng; Edward A. Lee; David G. Messerschmitt (ICASSP, 1987)

Fuzzy vector quantazation applied to hidden Markov modeling. - Ho-Ping Tseng; Michael J. Sabin; Edward A. Lee (ICASSP, 1987)

Synchronous data flow. - Edward A. Lee; David G. Messerschmitt (Proc. IEEE, 1987)

Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing. - Edward Ashford Lee; David G. Messerschmitt (IEEE Trans. Computers, 1987)

Pipeline interleaved programmable DSP's: Architecture. - Edward A. Lee; David G. Messerschmitt (IEEE Trans. Acoust. Speech Signal Process., 1987)

Pipeline interleaved programmable DSP's: Synchronous data flow programming. - Edward A. Lee; David G. Messerschmitt (IEEE Trans. Acoust. Speech Signal Process., 1987)

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 (DAC, 1989)

Frigg: a simulation environment for multiple-processor DSP system development. - Jeffrey C. Bier; Edward A. Lee (ICCD, 1989)

Gabriel: a design environment for DSP. - Edward A. Lee; W.-H. Ho; E. Goei; Jeffery C. Bier; Shuvra S. Bhattacharyya (IEEE Trans. Acoust. Speech Signal Process., 1989)

Scheduling to Account for Interprocessor Communication within Interconnection-Constrained Processor Networks. - Gilbert C. Sih; Edward A. Lee (ICPP (1), 1990)

Dynamic-level scheduling for heterogeneous processor networks. - Gilbert C. Sih; Edward A. Lee (SPDP, 1990)

Architectures for Statically Scheduled Dataflow. - Edward A. Lee; Jeffery C. Bier (J. Parallel Distributed Comput., 1990)

Gabriel: a design environment for DSP. - Jeffery C. Bier; Edwin E. Goei; Wai H. Ho; Philip D. Lapsley; Maureen P. O'Reilly; Gilbert C. Sih; Edward A. Lee (IEEE Micro, 1990)

Programmable DSPs: a brief overview. - Edward A. Lee (IEEE Micro, 1990)

Performance of coherent optical receivers. - John R. Barry; Edward A. Lee (Proc. IEEE, 1990)

Multirate signal processing in Comdisco's SPW. - Brian Barrera; Edward A. Lee (ICASSP, 1991)

Multirate signal processing in Ptolemy. - Joseph T. Buck; Soonhoi Ha; Edward A. Lee; David G. Messerschmitt (ICASSP, 1991)

High-speed nondirective optical communication for wireless networks. - John R. Barry; Joseph M. Kahn; Edward A. Lee; David G. Messerschmitt (IEEE Netw., 1991)

Compile-Time Scheduling and Assignment of Data-Flow Program Graphs with Data-Dependent Iteration. - Soonhoi Ha; Edward A. Lee (IEEE Trans. Computers, 1991)

Consistency in Dataflow Graphs. - Edward A. Lee (IEEE Trans. Parallel Distributed Syst., 1991)

A design lab for statistical signal processing. - Edward A. Lee (ICASSP, 1992)

Direct synthesis of optimized DSP assembly code from signal flow block diagrams. - Douglas B. Powell; Edward A. Lee; William C. Newman (ICASSP, 1992)

Scheduling dynamic dataflow graphs with bounded memory using the token flow model. - Joseph T. Buck; Edward A. Lee (ICASSP (1), 1993)

Representing and exploiting data parallelism using multidimensional dataflow diagrams. - Edward A. Lee (ICASSP (1), 1993)

Design and implementation of an ordered memory access architecture. - Sundararajan Sriram; Edward A. Lee (ICASSP (1), 1993)

Mulitdimensional Streams Rooted in Dataflow. - Edward A. Lee (Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, 1993)

A Hardware-Software Codesign Methodology for DSP Applications. - Asawaree Kalavade; Edward A. Lee (IEEE Des. Test Comput., 1993)

Simulation of Multipath Impulse Response for Indoor Wireless Optical Channels. - John R. Barry; Joseph M. Kahn; William J. Krause; Edward A. Lee; David G. Messerschmitt (IEEE J. Sel. Areas Commun., 1993)

A Compile-Time Scheduling Heuristic for Interconnection-Constrained Heterogeneous Processor Architectures. - Gilbert C. Sih; Edward A. Lee (IEEE Trans. Parallel Distributed Syst., 1993)

Declustering: A New Multiprocessor Scheduling Technique. - Gilbert C. Sih; Edward A. Lee (IEEE Trans. Parallel Distributed Syst., 1993)

Scheduling synchronous dataflow graphs for efficient looping. - Shuvra S. Bhattacharyya; Edward A. Lee (J. VLSI Signal Process., 1993)

Digital communication (2. ed.). - Edward A. Lee; David G. Messerschmitt (Kluwer, 1994)

A global criticality/local phase driven algorithm for the constrained hardware/software partitioning problem. - Asawaree Kalavade; Edward A. Lee (CODES, 1994)

Manifestations of Heterogeneity in Hardware/Software Co-Design. - Asawaree Kalavade; Edward A. Lee (DAC, 1994)

Design and Prototyping of Digital Signal Processing (DSP) Systems: Introduction. - Jordi Cortadella; José A. B. Fortes; Edward A. Lee (HICSS (1), 1994)

Computing and signal processing: an experimental multidisciplinary course. - Edward A. Lee (ICASSP (6), 1994)

Minimizing memory requirements for chain-structured synchronous dataflow programs. - Praveen K. Murthy; Shuvra S. Bhattacharyya; Edward A. Lee (ICASSP (2), 1994)

Automatic code generation for heterogeneous multiprocessors. - José Luis Pino; Thomas M. Parks; Edward A. Lee (ICASSP (2), 1994)

A methodology for simulation and synthesis of mixed hardware/software systems. - Asawaree Kalavade; Edward A. Lee (HLSS, 1994)

Looped Schedules for Dataflow Descriptions of Multirate Signal Processing Algorithms. - Shuvra S. Bhattacharyya; Edward A. Lee (Formal Methods Syst. Des., 1994)

Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems. - Joseph T. Buck; Soonhoi Ha; Edward A. Lee; David G. Messerschmitt (Int. J. Comput. Simul., 1994)

Memory management for dataflow programming of multirate signal processing algorithms. - Shuvra S. Bhattacharyya; Edward A. Lee (IEEE Trans. Signal Process., 1994)

Minimizing Synchronization Overhead in Statically Scheduled Multiprocessor Systems. - Shuvra S. Bhattacharyya; Sundararajan Sriram; Edward A. Lee (ASAP, 1995)

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 (ICASSP, 1995)

Managing complexity in heterogeneous system specification, simulation, and synthesis. - Asawaree Kalavade; José Luis Pino; Edward A. Lee (ICASSP, 1995)

Modeling radar systems using hierarchical dataflow. - Karim P. Khiar; Edward A. Lee (ICASSP, 1995)

Non-preemptive real-time scheduling of dataflow systems. - Thomas M. Parks; Edward A. Lee (ICASSP, 1995)

Hierarchical static scheduling of dataflow graphs onto multiple processors. - José Luis Pino; Edward A. Lee (ICASSP, 1995)

Modeling and simulation of heterogeneous real-time systems based on a deterministic discrete event model. - Jürgen Teich; Lothar Thiele; Edward A. Lee (ISSS, 1995)

Converting graphical DSP programs into memory constrained software prototypes. - Shuvra S. Bhattacharyya; Praveen K. Murthy; Edward A. Lee (RSP, 1995)

The extended partitioning problem: hardware/software mapping and implementation-bin selection. - Asawaree Kalavade; Edward A. Lee (RSP, 1995)

Dataflow process networks. - Edward A. Lee; Thomas M. Parks (Proc. IEEE, 1995)

Software synthesis for DSP using ptolemy. - José Luis Pino; Soonhoi Ha; Edward A. Lee; Joseph T. Buck (J. VLSI Signal Process., 1995)

Latency-constrained Resynchronization for Multiprocessor DSP Implementation. - Shuvra S. Bhattacharyya; Sundararajan Sriram; Edward A. Lee (ASAP, 1996)

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 (ICASSP, 1996)

An extension of multidimensional synchronous dataflow to handle arbitrary sampling lattices. - Praveen K. Murthy; Edward A. Lee (ICASSP, 1996)

Interface synthesis in heterogeneous system-level DSP design tools. - José Luis Pino; Michael C. Williamson; Edward A. Lee (ICASSP, 1996)

Comparing models of computation. - Edward A. Lee; Alberto L. Sangiovanni-Vincentelli (ICCAD, 1996)

Self-Timed Resynchronization: A Post-Optimization for Static Multiprocessor Schedules. - Shuvra S. Bhattacharyya; Sundararajan Sriram; Edward A. Lee (IPPS, 1996)

Capacity penalty due to ideal zero-forcing decision-feedback equalization. - John R. Barry; Edward A. Lee; David G. Messerschmitt (IEEE Trans. Inf. Theory, 1996)

Complexity management in system-level design. - Asawaree Kalavade; Edward A. Lee (J. VLSI Signal Process., 1996)

Optimized software synthesis for synchronous dataflow. - Shuvra S. Bhattacharyya; Praveen K. Murthy; Edward A. Lee (ASAP, 1997)

Code generation by using integer-controlled dataflow graph. - Takashi Miyazaki; Edward A. Lee (ICASSP, 1997)

The Tycho User Interface System. - Christopher Hylands; Edward A. Lee; H. John Reekie (Tcl/Tk Workshop, 1997)

APGAN and RPMC: Complementary Heuristics for Translating DSP Block Diagrams into Efficient Software Implementations. - Shuvra S. Bhattacharyya; Praveen K. Murthy; Edward A. Lee (Des. Autom. Embed. Syst., 1997)

The Extended Partitioning Problem: Hardware/Software Mapping, Scheduling, and Implementation-bin Selection. - Asawaree Kalavade; Edward A. Lee (Des. Autom. Embed. Syst., 1997)

Joint Minimization of Code and Data for Synchronous Dataflow Programs. - Praveen K. Murthy; Shuvra S. Bhattacharyya; Edward A. Lee (Formal Methods Syst. Des., 1997)

Design of embedded systems: formal models, validation, and synthesis. - Stephen A. Edwards; Luciano Lavagno; Edward A. Lee; Alberto L. Sangiovanni-Vincentelli (Proc. IEEE, 1997)

Optimizing synchronization in multiprocessor DSP systems. - Shuvra S. Bhattacharyya; Sundararajan Sriram; Edward A. Lee (IEEE Trans. Signal Process., 1997)

Heterogeneous Simulation - Mixing Discrete-Event Models with Dataflow. - Wan-Teh Chang; Soonhoi Ha; Edward A. Lee (J. VLSI Signal Process., 1997)

Determining the Order of Processor Transactions in Statically Scheduled Multiprocessors. - Sundararajan Sriram; Edward A. Lee (J. VLSI Signal Process., 1997)

Hierarchical Concurrent Finite State Machines in Ptolemy. - Bilung Lee; Edward A. Lee (ACSD, 1998)

The Tycho Slate: Complex Drawing and Editing in Tcl/Tk. - H. John Reekie; Edward A. Lee (Tcl/Tk Conference, 1998)

Engineering and Education for the Future. - Edward A. Lee; David G. Messerschmitt (Computer, 1998)

A framework for comparing models of computation. - Edward A. Lee; Alberto L. Sangiovanni-Vincentelli (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998)

Computationally efficient version of the decision feedback equalizer. - Rajarshi Gupta; Kiran; Edward A. Lee (ICASSP, 1999)

Modeling Concurrent Real-Time Processes Using Discrete Events. - Edward A. Lee (Ann. Softw. Eng., 1999)

Advances in the dataflow computational model. - Walid A. Najjar; Edward A. Lee; Guang R. Gao (Parallel Comput., 1999)

A highest education in the year 2049. - Edward A. Lee; David G. Messerschmitt (Proc. IEEE, 1999)

Hierarchical finite state machines with multiple concurrency models. - Alain Girault; Bilung Lee; Edward A. Lee (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999)

Synthesis of Embedded Software from Synchronous Dataflow Specifications. - Shuvra S. Bhattacharyya; Praveen K. Murthy; Edward A. Lee (J. VLSI Signal Process., 1999)

A code generation framework for Java component-based designs. - Jeff Tsay; Christopher Hylands; Edward A. Lee (CASES, 2000)

Embedded systems education (panel abstract). - Sharad Malik; D. K. Arvind 001; Edward A. Lee; Phil Koopman; Alberto L. Sangiovanni-Vincentelli; Wayne H. Wolf (DAC, 2000)

An Extensible Type System for Component-Based Design. - Yuhong Xiong; Edward A. Lee (TACAS, 2000)

What's Ahead for Embedded Software? - Edward A. Lee (Computer, 2000)

Modeling distributed hybrid systems in Ptolemy II. - He Li 001; Xiaojun Liu 001; Edward A. Lee (ACC, 2001)

Motivating hierarchical run-time models in measurement and control systems. - Jie Liu 001; Stanley Jefferson; Edward A. Lee (ACC, 2001)

System-Level Types for Component-Based Design. - Edward A. Lee; Yuhong Xiong (EMSOFT, 2001)

The Ptolemy II Framework for Visual Languages. - Xiaojun Liu 001; Yuhong Xiong; Edward A. Lee (HCC, 2001)

Embedded Software. - Edward A. Lee (Adv. Comput., 2002)

A component-based approach to modeling and simulating mixed-signal and hybrid systems. - Jie Liu 001; Edward A. Lee (ACM Trans. Model. Comput. Simul., 2002)

Multidimensional synchronous dataflow. - Praveen K. Murthy; Edward A. Lee (IEEE Trans. Signal Process., 2002)

Structure and interpretation of signals and systems. - Edward A. Lee; Pravin Varaiya (Addison-Wesley, 2003)

Digital communication (3. ed.). - John R. Barry; Edward A. Lee; David G. Messerschmitt (Springer, 2003)

On the Causality of Mixed-Signal and Hybrid Models. - Jie Liu 001; Edward A. Lee (HSCC, 2003)

Actor-Oriented Design of Embedded Hardware and Software Systems. - Edward A. Lee; Stephen Neuendorffer; Michael J. Wirthlin (J. Circuits Syst. Comput., 2003)

Taming heterogeneity - the Ptolemy approach. - Johan Eker; Jörn W. Janneck; Edward A. Lee; Jie Liu 001; Xiaojun Liu 001; Jozsef Ludvig; Stephen Neuendorffer; Sonia R. Sachs; Yuhong Xiong (Proc. IEEE, 2003)

The semantics and execution of a synchronous block-diagram language. - Stephen A. Edwards; Edward A. Lee (Sci. Comput. Program., 2003)

Modeling of sensor nets in Ptolemy II. - Philip Baldwin; Sanjeev Kohli; Edward A. Lee; Xiaojun Liu 001; Yang Zhao 020 (IPSN, 2004)

Classes and subclasses in actor-oriented design. - Edward A. Lee; Stephen Neuendorffer (MEMOCODE, 2004)

Hierarchical reconfiguration of dataflow models. - Stephen Neuendorffer; Edward A. Lee (MEMOCODE, 2004)

A behavioral type system and its application in Ptolemy II. - Edward A. Lee; Yuhong Xiong (Formal Aspects Comput., 2004)

Actor-oriented control system design: a responsible framework perspective. - Jie Liu 001; Johan Eker; Jörn W. Janneck; Xiaojun Liu 001; Edward A. Lee (IEEE Trans. Control. Syst. Technol., 2004)

Operational Semantics of Hybrid Systems. - Edward A. Lee; Haiyang Zheng (HSCC, 2005)

Reinventing Computing for Real Time. - Edward A. Lee; Yang Zhao 020 (Monterey Workshop, 2005)

Counting Interface Automata and their Application in Static Analysis of Actor Models. - Ernesto Wandeler; Jörn W. Janneck; Edward A. Lee; Lothar Thiele (SEFM, 2005)

Viptos: a graphical development and simulation environment for tinyOS-based wireless sensor networks. - Elaine Cheong; Edward A. Lee; Yang Zhao 020 (SenSys, 2005)

Absolutely Positively on Time: What Would It Take? - Edward A. Lee (Computer, 2005)

Hyvisual: a Hybrid System Modeling Framework based on Ptolemy II. - Edward A. Lee; Haiyang Zheng (ADHS, 2006)

Modeling Timed Concurrent Systems. - Xiaojun Liu 001; Eleftherios Matsikoudis; Edward A. Lee (CONCUR, 2006)

A causality interface for deadlock analysis in dataflow. - Ye Zhou; Edward A. Lee (EMSOFT, 2006)

Concurrent Semantics Without the Notions of State or State Transitions. - Edward A. Lee (FORMATS, 2006)

Beyond Zeno: Get on with It! - Haiyang Zheng; Edward A. Lee; Aaron D. Ames (HSCC, 2006)

Incremental checkpointing with application to distributed discrete event simulation. - Thomas Huining Feng; Edward A. Lee (WSC, 2006)

Discrete event models: getting the semantics right. - Edward A. Lee (WSC, 2006)

The Problem with Threads. - Edward A. Lee (Computer, 2006)

Scientific workflow management and the Kepler system. - Bertram Ludäscher; Ilkay Altintas; Chad Berkley; Dan Higgins; Efrat Jaeger; Matthew B. Jones; Edward A. Lee; Jing Tao; Yang Zhao 020 (Concurr. Comput. Pract. Exp., 2006)

The Case for the Precision Timed (PRET) Machine. - Stephen A. Edwards; Edward A. Lee (DAC, 2007)

Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. - Edward A. Lee; Haiyang Zheng (EMSOFT, 2007)

Composing Different Models of Computation in Kepler and Ptolemy II. - Antoon Goderis; Christopher X. Brooks; Ilkay Altintas; Edward A. Lee; Carole A. Goble (International Conference on Computational Science (3), 2007)

A Code Generation Framework for Actor-Oriented Models with Partial Evaluation. - Gang Zhou; Man-Kit Leung; Edward A. Lee (ICESS, 2007)

A Programming Model for Time-Synchronized Distributed Real-Time Systems. - Yang Zhao 020; Jie Liu 001; Edward A. Lee (IEEE Real-Time and Embedded Technology and Applications Symposium, 2007)

Predictable programming on a precision timed architecture. - Ben Lickly; Isaac Liu; Sungjun Kim; Hiren D. Patel; Stephen A. Edwards; Edward A. Lee (CASES, 2008)

Simulation and Implementation of the PTIDES Programming Model. - Patricia Derler; Edward A. Lee; Slobodan Matic (DS-RT, 2008)

An Automated Mapping of Timed Functional Specification to a Precision Timed Architecture. - Shanna-Shaye Forbes; Hiren D. Patel; Edward A. Lee; Hugo A. Andrade (DS-RT, 2008)

Time is a Resource, and Other Stories. - Edward A. Lee (ISORC, 2008)

Cyber Physical Systems: Design Challenges. - Edward A. Lee (ISORC, 2008)

Real-Time Distributed Discrete-Event Execution with Fault Tolerance. - Thomas Huining Feng; Edward A. Lee (IEEE Real-Time and Embedded Technology and Applications Symposium, 2008)

Advances in hardware design and implementation of signal processing systems [DSP Forum]. - Shuvra S. Bhattacharyya; Jeffery C. Bier; Wanda K. Gass; Ram K. Krishnamurthy; Edward A. Lee; Konstantinos Konstantinides (IEEE Signal Process. Mag., 2008)

CPO semantics of timed interactive actor networks. - Xiaojun Liu 001; Edward A. Lee (Theor. Comput. Sci., 2008)

Causality interfaces for actor networks. - Ye Zhou; Edward A. Lee (ACM Trans. Embed. Comput. Syst., 2008)

Toward the Design of Robotic Software with Verifiable Safety. - Chih-Hong Cheng; Markus Rickert 001; Christian Buckl; Edward A. Lee; Alois C. Knoll (COMPSAC (1), 2009)

09481 Abstracts Collection - SYNCHRON 2009. - Albert Benveniste; Stephen A. Edwards; Edward A. Lee; Klaus Schneider 001; Reinhard von Hanxleden (SYNCHRON 2009, 2009)

On relational interfaces. - Stavros Tripakis; Ben Lickly; Thomas A. Henzinger; Edward A. Lee (EMSOFT, 2009)

Introducing embedded systems: a cyber-physical approach: extended abstract. - Edward A. Lee (WESE@ESWEEK, 2009)

A disruptive computer design idea: Architectures with repeatable timing. - Stephen A. Edwards; Sungjun Kim; Edward A. Lee; Isaac Liu; Hiren D. Patel; Martin Schoeberl (ICCD, 2009)

The Case for Timing-Centric Distributed Software Invited Paper. - Edward A. Lee; Slobodan Matic; Sanjit A. Seshia; Jia Zou 002 (ICDCS Workshops, 2009)

PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice. - Jia Zou 002; Joshua S. Auerbach; David F. Bacon; Edward A. Lee (LCTES, 2009)

Scalable Semantic Annotation Using Lattice-Based Ontologies. - Man-Kit Leung; Thomas Mandl 002; Edward A. Lee; Elizabeth Latronico; Charles P. Shelton; Stavros Tripakis; Ben Lickly (MoDELS, 2009)

Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems. - Jia Zou 002; Slobodan Matic; Edward A. Lee; Thomas Huining Feng; Patricia Derler (IEEE Real-Time and Embedded Technology and Applications Symposium, 2009)

Computing needs time. - Edward A. Lee (Commun. ACM, 2009)

Heterogeneous composition of models of computation. - Antoon Goderis; Christopher X. Brooks; Ilkay Altintas; Edward A. Lee; Carole A. Goble (Future Gener. Comput. Syst., 2009)

Classes and inheritance in actor-oriented design. - Edward A. Lee; Xiaojun Liu 001; Stephen Neuendorffer (ACM Trans. Embed. Comput. Syst., 2009)

Exploring models of computation with ptolemy II. - Christopher X. Brooks; Edward A. Lee; Stavros Tripakis (CODES+ISSS, 2010)

Modeling and analyzing real-time multiprocessor systems. - Maarten Wiggers; Lothar Thiele; Edward A. Lee; Simon Schliecker; Marco Bekooij (CODES+ISSS, 2010)

CPS foundations. - Edward A. Lee (DAC, 2010)

Model-based specification of timing requirements. - Christian Buckl; Irina Gaponova; Michael Geisinger; Alois C. Knoll; Edward A. Lee (EMSOFT, 2010)

Ptera: an event-oriented model of computation for heterogeneous systems. - Thomas Huining Feng; Edward A. Lee; Lee W. Shruben (EMSOFT, 2010)

Modal Models in Ptolemy. - Edward A. Lee; Stavros Tripakis (EOOLT, 2010)

An introductory textbook on cyber-physical systems. - Edward A. Lee; Sanjit A. Seshia (WESE, 2010)

Compositionality in Synchronous Data Flow: modular code generation from hierarchical SDF graphs. - Stavros Tripakis; Dai N. Bui; Bert Rodiers; Edward A. Lee (ICCPS, 2010)

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; François E. Cellier; David Broman (MoDELS (Workshops), 2010)

Disciplined Heterogeneous Modeling - Invited Paper. - Edward A. Lee (MoDELS (2), 2010)

Deploying Hard Real-Time Control Software on Chip-Multiprocessors. - Dai N. Bui; Hiren D. Patel; Edward A. Lee (RTCSA, 2010)

Code Generation for Embedded Java with Ptolemy. - Martin Schoeberl; Christopher X. Brooks; Edward A. Lee (SEUS, 2010)

The design and application of structured types in Ptolemy II. - Yang Zhao 020; Yuhong Xiong; Edward A. Lee; Xiaojun Liu 001; Lizhi C. Zhong (Int. J. Intell. Syst., 2010)

PRET DRAM controller: bank privatization for predictability and temporal isolation. - Jan Reineke 001; Isaac Liu; Hiren D. Patel; Sungjun Kim; Edward A. Lee (CODES+ISSS, 2011)

Temporal isolation on multiprocessing architectures. - Dai N. Bui; Edward A. Lee; Isaac Liu; Hiren D. Patel; Jan Reineke 001 (DAC, 2011)

Component-based design for the future. - Edward A. Lee; Alberto L. Sangiovanni-Vincentelli (DATE, 2011)

Time-predictable and composable architectures for dependable embedded systems. - Saddek Bensalem; Kees Goossens; Christoph M. Kirsch; Roman Obermaisser; Edward A. Lee; Joseph Sifakis (EMSOFT, 2011)

Heterogeneous actor modeling. - Edward A. Lee (EMSOFT, 2011)

A practical ontology framework for static model analysis. - Ben Lickly; Charles P. Shelton; Elizabeth Latronico; Edward A. Lee (EMSOFT, 2011)

An introductory capstone design course on embedded systems. - Jeff C. Jensen; Edward A. Lee; Sanjit A. Seshia (ISCAS, 2011)

PTIDES model on a distributed testbed emulating smart grid real-time applications. - Slobodan Matic; Ilge Akkaya; Michael Zimmer 001; John C. Eidson; Edward A. Lee (ISGT Europe, 2011)

A model-based design methodology for cyber-physical systems. - Jeff C. Jensen; Danica H. Chang; Edward A. Lee (IWCMC, 2011)

A Theory of Synchronous Relational Interfaces. - Stavros Tripakis; Ben Lickly; Thomas A. Henzinger; Edward A. Lee (ACM Trans. Program. Lang. Syst., 2011)

From Transitions to Executions. - Eleftherios Matsikoudis; Edward A. Lee (CMCS, 2012)

An overview of the career of Paul Caspi. - Albert Benveniste; Edward A. Lee; Marc Pouzet; Stavros Tripakis; Florence Maraninchi (EMSOFT, 2012)

Teaching embedded systems the Berkeley way. - Edward A. Lee; Sanjit A. Seshia; Jeff C. Jensen (WESE, 2012)

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 (FCCM, 2012)

Verifying Real-Time Software Is Not Reasonable (Today) - Abstract of Invited Talk. - Edward A. Lee (Haifa Verification Conference, 2012)

A PRET microarchitecture implementation with repeatable timing and competitive performance. - Isaac Liu; Jan Reineke 001; David Broman; Michael Zimmer 001; Edward A. Lee (ICCD, 2012)

Viewpoints, formalisms, languages, and tools for cyber-physical systems. - David Broman; Edward A. Lee; Stavros Tripakis; Martin Törngren (MPM@MoDELS, 2012)

The Coroutine Model of Computation. - Chris Shaver; Edward A. Lee (MoDELS, 2012)

Multi-view Modeling and Pragmatics in 2020 - Position Paper on Designing Complex Cyber-Physical Systems. - Reinhard von Hanxleden; Edward A. Lee; Christian Motika; Hauke Fuhrmann (Monterey Workshop, 2012)

PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems. - Jia Zou 002; Slobodan Matic; Edward A. Lee (IEEE Real-Time and Embedded Technology and Applications Symposium, 2012)

It's about time. - Edward A. Lee (ICSAMOS, 2012)

Modeling Cyber-Physical Systems. - Patricia Derler; Edward A. Lee; Alberto L. Sangiovanni-Vincentelli (Proc. IEEE, 2012)

Distributed Real-Time Software for Cyber-Physical Systems. - John C. Eidson; Edward A. Lee; Slobodan Matic; Sanjit A. Seshia; Jia Zou 002 (Proc. IEEE, 2012)

Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude. - Kyungmin Bae; Peter Csaba Ölveczky; Thomas Huining Feng; Edward A. Lee; Stavros Tripakis (Sci. Comput. Program., 2012)

A tool integration approach for architectural exploration of aircraft electric power systems. - Hokeun Kim; Liangpeng Guo; Edward A. Lee; Alberto L. Sangiovanni-Vincentelli (CPSNA, 2013)

Industrial Cyber-Physical Systems - iCyPhy. - Amit Fisher; Clas A. Jacobson; Edward A. Lee; Richard M. Murray; Alberto L. Sangiovanni-Vincentelli; Eelco Scholte (CSDM, 2013)

Determinate composition of FMUs for co-simulation. - David Broman; Christopher X. Brooks; Lev Greenberg; Edward A. Lee; Michael Masin; Stavros Tripakis; Michael Wetter (EMSOFT, 2013)

StreaMorph: A case for synthesizing energy-efficient adaptive programs using high-level abstractions. - Dai N. Bui; Edward A. Lee (EMSOFT, 2013)

On the schedulability of real-time discrete-event systems. - Eleftherios Matsikoudis; Christos Stergiou 001; Edward A. Lee (EMSOFT, 2013)

An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals. - Eleftherios Matsikoudis; Edward A. Lee (FCT, 2013)

On Fixed Points of Strictly Causal Functions. - Eleftherios Matsikoudis; Edward A. Lee (FORMATS, 2013)

On the Verification of Timed Discrete-Event Models. - Christos Stergiou 001; Stavros Tripakis; Eleftherios Matsikoudis; Edward A. Lee (FORMATS, 2013)

Cyber-physical system design contracts. - Patricia Derler; Edward A. Lee; Stavros Tripakis; Martin Törngren (ICCPS, 2013)

Modeling uncertainty for middleware-based streaming power grid applications. - Ilge Akkaya; Yan Liu 001; Edward A. Lee; Ian Gorton (MW4NextGen@Middleware, 2013)

Error-Completion in Interface Theories. - Stavros Tripakis; Christos Stergiou 001; Manfred Broy; Edward A. Lee (SPIN, 2013)

Numerical LTL Synthesis for Cyber-Physical Systems. - Chih-Hong Cheng; Edward A. Lee (CoRR, 2013)

The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices. - Eleftherios Matsikoudis; Edward A. Lee (FICS, 2013)

A modular formal semantics for Ptolemy. - Stavros Tripakis; Christos Stergiou 001; Chris Shaver; Edward A. Lee (Math. Struct. Comput. Sci., 2013)

Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs. - Stavros Tripakis; Dai N. Bui; Marc Geilen; Bert Rodiers; Edward A. Lee (ACM Trans. Embed. Comput. Syst., 2013)

Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems. - Liangpeng Guo; Qi Zhu 002; Pierluigi Nuzzo 002; Roberto Passerone; Alberto L. Sangiovanni-Vincentelli; Edward A. Lee (CODES+ISSS, 2014)

Message from the Chairs. - Edward A. Lee; Peter Palensky (MSCPES@CPSWeek, 2014)

Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems. - Armin Wasicek; Patricia Derler; Edward A. Lee (DAC, 2014)

Constructive Collisions. - Edward A. Lee (FPS@ETAPS, 2014)

It's about Time: Leveraging Clock Synchronization for Distributed Real-Time Programming. - Edward A. Lee (ISORC, 2014)

Keynote - It's about time. - Edward A. Lee (ReConFig, 2014)

FlexPRET: A processor platform for mixed-criticality systems. - Michael Zimmer 001; David Broman; Chris Shaver; Edward A. Lee (RTAS, 2014)

HOBS: head orientation-based selection in physical spaces. - Ben Zhang 003; Yu-Hsiang Chen; Claire Tuna; Achal Dave; Yang Li 058; Edward A. Lee; Björn Hartmann (SUI, 2014)

Constructive Models of Discrete and Continuous Physical Phenomena. - Edward A. Lee (IEEE Access, 2014)

The Swarm at the Edge of the Cloud. - Edward A. Lee; Björn Hartmann; John Kubiatowicz; Tajana Simunic Rosing; John Wawrzynek; David Wessel; Jan M. Rabaey; Kris Pister; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; David T. Blaauw; Prabal Dutta; et al. (IEEE Des. Test, 2014)

Ramifications of software implementation and deployment: A case study on yaw moment controller design. - Michael Zimmer 001; J. Karl Hedrick; Edward A. Lee (ACC, 2015)

Architectural Support for Cyber-Physical Systems. - Edward A. Lee (ASPLOS, 2015)

System simulation from operational data. - Armin Wasicek; Edward A. Lee; Hokeun Kim; Lev Greenberg; Akihito Iwai; Ilge Akkaya (DAC, 2015)

Modeling and simulating cyber-physical systems using CyPhySim. - Edward A. Lee; Mehrdad Niknami; Thierry S. Nouidui; Michael Wetter (EMSOFT, 2015)

The Cloud is Not Enough: Saving IoT from the Cloud. - Ben Zhang 003; Nitesh Mor; John Kolb; Douglas S. Chan; Ken Lutz; Eric Allman; John Wawrzynek; Edward A. Lee; John Kubiatowicz (HotStorage, 2015)

Requirements for hybrid cosimulation standards. - David Broman; Lev Greenberg; Edward A. Lee; Michael Masin; Stavros Tripakis; Michael Wetter (HSCC, 2015)

CyPhySim: a cyber-physical systems simulator. - Christopher X. Brooks; Edward A. Lee; David Lorenzetti; Thierry S. Nouidui; Michael Wetter (HSCC, 2015)

A model for semantic localization. - Matthew Weber; Edward A. Lee (IPSN, 2015)

A predictable and command-level priority-based DRAM controller for mixed-criticality systems. - Hokeun Kim; David Broman; Edward A. Lee; Michael Zimmer 001; Aviral Shrivastava; Junkwang Oh (RTAS, 2015)

An Interface Theory for the Internet of Things. - Marten Lohstroh; Edward A. Lee (SEFM, 2015)

A Vision of Swarmlets. - Elizabeth Latronico; Edward A. Lee; Marten Lohstroh; Chris Shaver; Armin Wasicek; Matthew Weber (IEEE Internet Comput., 2015)

The Past, Present and Future of Cyber-Physical Systems: A Focus on Models. - Edward A. Lee (Sensors, 2015)

The fixed-point theory of strictly causal functions. - Eleftherios Matsikoudis; Edward A. Lee (Theor. Comput. Sci., 2015)

Coordinated Actors for Reliable Self-adaptive Systems. - Maryam Bagheri 001; Ilge Akkaya; Ehsan Khamespanah; Narges Khakpour; Marjan Sirjani; Ali Movaghar 001; Edward A. Lee (FACS, 2016)

A Secure Network Architecture for the Internet of Things Based on Local Authorization Entities. - Hokeun Kim; Armin Wasicek; Benjamin Mehne; Edward A. Lee (FiCloud, 2016)

Demo Abstract: Building IoT Applications with Accessors in CapeCode. - Marten Lohstroh; Christopher X. Brooks; Edward A. Lee (ICCPS, 2016)

Control Improvisation with Probabilistic Temporal Specifications. - Ilge Akkaya; Daniel J. Fremont; Rafael Valle; Alexandre Donzé; Edward A. Lee; Sanjit A. Seshia (IoTDI, 2016)

Step revision in hybrid Co-simulation with FMI. - Fabio Cremona; Marten Lohstroh; David Broman; Marco Di Natale; Edward A. Lee; Stavros Tripakis (MEMOCODE, 2016)

Cooperative multi-robot information acquisition based on distributed robust model predictive control. - Shuhei Emoto; Ilge Akkaya; Edward A. Lee (ROBIO, 2016)

FIDE: an FMI integrated development environment. - Fabio Cremona; Marten Lohstroh; Stavros Tripakis; Christopher X. Brooks; Edward A. Lee (SAC, 2016)

Plenary I: The Internet of important things. - Edward A. Lee; Danella Zhao (SoCC, 2016)

Information seeking and model predictive control of a cooperative multi-robot system. - Shuhei Emoto; Ilge Akkaya; Edward A. Lee (Artif. Life Robotics, 2016)

Toward a Global Data Infrastructure. - Nitesh Mor; Ben Zhang 003; John Kolb; Douglas S. Chan; Nikhil Goyal; Nicholas Sun; Ken Lutz; Eric Allman; John Wawrzynek; Edward A. Lee; John Kubiatowicz (IEEE Internet Comput., 2016)

Systems Engineering for Industrial Cyber-Physical Systems Using Aspects. - Ilge Akkaya; Patricia Derler; Shuhei Emoto; Edward A. Lee (Proc. IEEE, 2016)

Fundamental Limits of Cyber-Physical Systems Modeling. - Edward A. Lee (ACM Trans. Cyber Phys. Syst., 2016)

Uncertainty Analysis of Middleware Services for Streaming Smart Grid Applications. - Ilge Akkaya; Yan Liu 001; Edward A. Lee (IEEE Trans. Serv. Comput., 2016)

An Integrated Simulation Tool for Computer Architecture and Cyber-Physical Systems. - Hokeun Kim; Armin Wasicek; Edward A. Lee (CyPhy, 2017)

Contextual callbacks for resource discovery and trust negotiation on the internet of things: work-in-progress. - Marten Lohstroh; Hokeun Kim; Edward A. Lee (EMSOFT Companion, 2017)

A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things. - Hokeun Kim; Eunsuk Kang; Edward A. Lee; David Broman (IoTDI, 2017)

Abstract PRET Machines. - Edward A. Lee; Jan Reineke 001; Michael Zimmer 001 (RTSS, 2017)

An Architectural Mechanism for Resilient IoT Services. - Hokeun Kim; Eunsuk Kang; David Broman; Edward A. Lee (SafeThings@SenSys, 2017)

autoCode4: Structural Controller Synthesis. - Chih-Hong Cheng; Edward A. Lee; Harald Ruess (TACAS (1), 2017)

Authentication and Authorization for the Internet of Things. - Hokeun Kim; Edward A. Lee (IT Prof., 2017)

Runtime compositional analysis of track-based traffic control systems. - Maryam Bagheri 001; Ehsan Khamespanah; Marjan Sirjani; Ali Movaghar 001; Edward A. Lee (SIGBED Rev., 2017)

What Good are Models? - Edward A. Lee; Marjan Sirjani (FACS, 2018)

Models of Timed Systems. - Edward A. Lee (FORMATS, 2018)

Deterministic Timing for the Industrial Internet of Things. - Chadlia Jerad; Edward A. Lee (ICII, 2018)

AWStream: adaptive wide-area streaming analytics. - Ben Zhang 003; Xin Jin 008; Sylvia Ratnasamy; John Wawrzynek; Edward A. Lee (SIGCOMM, 2018)

Is software the result of top-down intelligent design or evolution? - Edward A. Lee (Commun. ACM, 2018)

A Metric for Linear Temporal Logic. - Íñigo Íncer Romeo; Marten Lohstroh; Antonio Iannopollo; Edward A. Lee; Alberto L. Sangiovanni-Vincentelli (CoRR, 2018)

What Is Real Time Computing? A Personal View. - Edward A. Lee (IEEE Des. Test, 2018)

Coordinated actor model of self-adaptive track-based traffic control systems. - Maryam Bagheri 001; Marjan Sirjani; Ehsan Khamespanah; Narges Khakpour; Ilge Akkaya; Ali Movaghar 001; Edward A. Lee (J. Syst. Softw., 2018)

A Component Architecture for the Internet of Things. - Christopher X. Brooks; Chadlia Jerad; Hokeun Kim; Edward A. Lee; Marten Lohstroh; Victor Nouvelletz; Beth Osyk; Matthew Weber (Proc. IEEE, 2018)

Reactors: A Deterministic Model for Composable Reactive Systems. - Marten Lohstroh; Íñigo Íncer Romeo; Andrés Goens; Patricia Derler; Jerónimo Castrillón; Edward A. Lee; Alberto L. Sangiovanni-Vincentelli (CyPhy/WESE, 2019)

Actors Revisited for Time-Critical Systems. - Marten Lohstroh; Martin Schoeberl; Andrés Goens; Armin Wasicek; Christopher D. Gill; Marjan Sirjani; Edward A. Lee (DAC, 2019)

Programs with ironclad timing guarantees: work-in-progress. - Marten Lohstroh; Martin Schoeberl; Mathieu Jan; Edward Wang; Edward A. Lee (EMSOFT Companion, 2019)

Deterministic Actors. - Marten Lohstroh; Edward A. Lee (FDL, 2019)

A fundamental look at models and intelligence: abstract of keynote. - Edward A. Lee (SEsCPS@ICSE, 2019)

Freedom From Choice and the Power of Models: in Honor of Alberto Sangiovanni-Vincentelli. - Edward A. Lee (ISPD, 2019)

Service Discovery for the Connected Car with Semantic Accessors. - Matthew Weber; Ravi Akella; Edward A. Lee (IV, 2019)

Observation and Interaction - Invited Paper. - Edward A. Lee (LATA, 2019)

Work-in-Progress: Real-Time Reactors in C. - Marten Lohstroh; Edward A. Lee (RTSS, 2019)

On Enabling Technologies for the Internet of Important Things. - Marten Lohstroh; Hokeun Kim; John C. Eidson; Chadlia Jerad; Beth Osyk; Edward A. Lee (IEEE Access, 2019)

Modeling in engineering and science. - Edward A. Lee (Commun. ACM, 2019)

Creating a Resilient IoT With Edge Computing. - Hokeun Kim; Edward A. Lee; Schahram Dustdar (Computer, 2019)

Hybrid co-simulation: it's about time. - Fabio Cremona; Marten Lohstroh; David Broman; Edward A. Lee; Michael Masin; Stavros Tripakis (Softw. Syst. Model., 2019)

Formal Semantics of Predictable Pipelines: a Comparative Study. - Mathieu Jan; Mihail Asavoae; Martin Schoeberl; Edward A. Lee (ASP-DAC, 2020)

Model Checking Software in Cyberphysical Systems. - Marjan Sirjani; Edward A. Lee; Ehsan Khamespanah (COMPSAC, 2020)

A Language for Deterministic Coordination Across Multiple Timelines. - Marten Lohstroh; Christian Menard; Alexander Schulz-Rosengarten; Matthew Weber; Jerónimo Castrillón; Edward A. Lee (FDL, 2020)

Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning. - Gil Lederman; Markus N. Rabe; Sanjit Seshia; Edward A. Lee (ICLR, 2020)

Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems. - Maryam Bagheri 001; Edward A. Lee; Eunsuk Kang; Marjan Sirjani; Ehsan Khamespanah; Ali Movaghar 001 (MEMOCODE, 2020)

Learning Branching Heuristics for Propositional Model Counting. - Pashootan Vaezipoor; Gil Lederman; Yuhuai Wu; Chris J. Maddison; Roger B. Grosse; Edward A. Lee; Sanjit A. Seshia; Fahiem Bacchus (CoRR, 2020)

Gordian: Formal Reasoning-based Outlier Detection for Secure Localization. - Matthew Weber; Baihong Jin; Gil Lederman; Yasser Shoukry; Edward A. Lee; Sanjit Seshia; Alberto L. Sangiovanni-Vincentelli (ACM Trans. Cyber Phys. Syst., 2020)

Resilient Authentication and Authorization for the Internet of Things (IoT) Using Edge Computing. - Hokeun Kim; Eunsuk Kang; David Broman; Edward A. Lee (ACM Trans. Internet Things, 2020)

Time for All Programs, Not Just Real-Time Programs. - Edward A. Lee; Marten Lohstroh (ISoLA, 2021)

Quantifying and Generalizing the CAP Theorem. - Edward A. Lee; Soroush Bateni; Shaokai Lin; Marten Lohstroh; Christian Menard (CoRR, 2021)

Determinism. - Edward A. Lee (ACM Trans. Embed. Comput. Syst., 2021)

Toward a Lingua Franca for Deterministic Concurrent Systems. - Marten Lohstroh; Christian Menard; Soroush Bateni; Edward A. Lee (ACM Trans. Embed. Comput. Syst., 2021)

Programmable Logic Controllers in the Context of Industry 4.0. - Martin A. Sehr; Marten Lohstroh; Matthew Weber; Ines Ugalde; Martin Witte; Joerg Neidig; Stephan Hoeme; Mehrdad Niknami; Edward A. Lee (IEEE Trans. Ind. Informatics, 2021)

Semantic Localization for IoT. - Matthew Weber; Edward A. Lee (Semantic IoT, 2021)

Are We Losing Control? - Edward A. Lee (Perspectives on Digital Humanism, 2022)

Generalizing Logical Execution Time. - Edward A. Lee; Marten Lohstroh (Principles of Systems Design, 2022)

Pragmatics Twelve Years Later: A Report on Lingua Franca. - Reinhard von Hanxleden; Edward A. Lee; Hauke Fuhrmann; Alexander Schulz-Rosengarten; Sören Domrös; Marten Lohstroh; Soroush Bateni; Christian Menard (ISoLA (2), 2022)

Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems. - Soroush Bateni; Marten Lohstroh; Hou Seng Wong; Rohan Tabish; Hokeun Kim; Shaokai Lin; Christian Menard; Cong Liu 005; Edward A. Lee (CoRR, 2022)

InterPRET: a Time-predictable Multicore Processor. - Erling Rennemo Jellum; Shaokai Lin; Peter Donovan; Chadlia Jerad; Edward Wang; Marten Lohstroh; Edward A. Lee; Martin Schoeberl (CPS-IoT Week Workshops, 2023)

Logical Time for Reactive Software. - Marten Lohstroh; Edward A. Lee; Stephen A. Edwards; David Broman (CPS-IoT Week Workshops, 2023)

Polyglot Modal Models through Lingua Franca. - Alexander Schulz-Rosengarten; Reinhard von Hanxleden; Marten Lohstroh; Edward A. Lee; Soroush Bateni (CPS-IoT Week Workshops, 2023)

Beyond the Threaded Programming Model on Real-Time Operating Systems. - Erling Rennemo Jellum; Shaokai Lin; Peter Donovan; Efsane Soyer; Fuzail Shakir; Torleiv H. Bryne; Milica Orlandic; Marten Lohstroh; Edward A. Lee (NG-RES@HiPEAC, 2023)

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 (MEMOCODE, 2023)

Deep Neural Networks, Explanations, and Rationality. - Edward A. Lee (AISoLA, 2023)

Consistency vs. Availability in Distributed Real-Time Systems. - Edward A. Lee; Ravi Akella; Soroush Bateni; Shaokai Lin; Marten Lohstroh; Christian Menard (CoRR, 2023)

Modal Reactors. - Alexander Schulz-Rosengarten; Reinhard von Hanxleden; Marten Lohstroh; Soroush Bateni; Edward A. Lee (CoRR, 2023)

Optimizing Distributed Reinforcement Learning with Reactor Model and Lingua Franca. - Jacky Kwok; Marten Lohstroh; Edward A. Lee (CoRR, 2023)

Time-Sensitive Software. - Edward A. Lee; Jim Woodcock 001 (Res. Dir. Cyber Phys. Syst., 2023)

Consistency vs. Availability in Distributed Cyber-Physical Systems. - Edward A. Lee; Ravi Akella; Soroush Bateni; Shaokai Lin; Marten Lohstroh; Christian Menard (ACM Trans. Embed. Comput. Syst., 2023)

Towards Building Verifiable CPS using Lingua Franca. - Shaokai Lin; Yatin A. Manerkar; Marten Lohstroh; Elizabeth Polgreen; Sheng-Jung Yu; Chadlia Jerad; Edward A. Lee; Sanjit A. Seshia (ACM Trans. Embed. Comput. Syst., 2023)

High-performance Deterministic Concurrency Using Lingua Franca. - Christian Menard; Marten Lohstroh; Soroush Bateni; Matthew Chorlian; Arthur Deng; Peter Donovan; Clément Fournier; Shaokai Lin; Felix Suchert; Tassilo Tanneberger; Hokeun Kim; Jerónimo Castrillón; et al. (ACM Trans. Archit. Code Optim., 2023)

Certainty or Intelligence: Pick One! - Edward A. Lee (DATE, 2024)

Timing enclaves for performance in Lingua Franca. - Julian Robledo; Christian Menard; Erling Rennemo Jellum; Edward A. Lee; Jerónimo Castrillón (FDL, 2024)

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 004 (ICSE Companion, 2024)

Efficient Coordination for Distributed Discrete-Event Systems. - Byeong-Gil Jun; Edward A. Lee; Marten Lohstroh; Hokeun Kim (MEMOCODE, 2024)

Efficient Parallel Reinforcement Learning Framework Using the Reactor Model. - Jacky Kwok; Marten Lohstroh; Edward A. Lee (SPAA, 2024)

Certainty vs. Intelligence. - Edward A. Lee (AISoLA, 2024)

Invited Paper: Worst-Case Execution Time Analysis of Lingua Franca Applications. - Martin Schoeberl; Ehsan Khodadad; Shaokai Lin; Emad Jacob Maroun; Luca Pezzarossa; Edward A. Lee (WCET, 2024)

Strongly-Consistent Distributed Discrete-event Systems. - Peter Donovan; Erling Rennemo Jellum; Byeong-Gil Jun; Hokeun Kim; Edward A. Lee; Shaokai Lin; Marten Lohstroh; Anirudh Rengarajan (CoRR, 2024)

PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency. - Shaokai Lin; Erling Rennemo Jellum; Mirco Theile; Tassilo Tanneberger; Binqi Sun; Chadlia Jerad; Ruomu Xu; Guangyu Feng; Christian Menard; Marten Lohstroh; Jerónimo Castrillón; Sanjit Seshia; et al. (CoRR, 2024)

HPRM: High-Performance Robotic Middleware for Intelligent Autonomous Systems. - Jacky Kwok; Shulu Li; Marten Lohstroh; Edward A. Lee (CoRR, 2024)

Deterministic Coordination across Multiple Timelines. - Marten Lohstroh; Soroush Bateni; Christian Menard; Alexander Schulz-Rosengarten; Jerónimo Castrillón; Edward A. Lee (ACM Trans. Embed. Comput. Syst., 2024)

Codesign of Reactor-Oriented Hardware and Software for Cyber-Physical Systems. - Erling Rennemo Jellum; Martin Schoeberl; Edward Ashford Lee; Milica Orlandic (ACM Trans. Reconfigurable Technol. Syst., 2024)

Verify Engineering Models, Not Scientific Models. - Shaokai Lin; Edward A. Lee (Rebeca for Actor Analysis in Action, 2025)

Programming Time-Predictable Processors with Lingua Franca. - Magnus Mæhlum; Erling Rennemo Jellum; Shaokai Lin; Marten Lohstroh; Martin Schoeberl; Sverre Hendseth; Edward A. Lee (NG-RES@HiPEAC, 2025)

Edge AI in the computing continuum: Consistency and Availability at Early Design Stages. - Vincenzo Barbuto; Claudio Savaglio; Giancarlo Fortino; Edward A. Lee (IPDPS (Workshops), 2025)

Improving the Efficiency of Coordinating Timed Events in Distributed Systems. - Byeong-Gil Jun; Edward A. Lee; Marten Lohstroh; Hokeun Kim (SIGSIM-PADS, 2025)

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 (CoRR, 2025)

A Preliminary Model of Coordination-free Consistency. - Shulu Li; Edward A. Lee (CoRR, 2025)

Exploration of Approaches for Robustness and Safety in a Low Code Open Environment for Factory Automation. - Gustavo Quiros Araya; Yi Peng Zhu; Tao Cui; Shaokai Lin; Marten Lohstroh; Edward A. Lee (CoRR, 2025)

Software-Defined Watchdog Timers for Cyber-Physical Systems. - Benjamin Asch; Erling Jellum; Marten Lohstroh; Edward A. Lee (IEEE Embed. Syst. Lett., 2025)

Toward Dynamism in Distributed Lingua Franca Programs. - Chadlia Jerad; Edward A. Lee (IEEE Embed. Syst. Lett., 2025)

Layered Scheduling: Toward Better Real-Time Lingua Franca. - Francesco Paladino; Erling Jellum; Efsane Soyer; Edward A. Lee (IEEE Embed. Syst. Lett., 2025)