Edward A. Lee

ORCID

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 81

Top Venues

CoRR

ACM Trans. Embed. Comput. Syst.

CPS-IoT Week Workshops

DAC

Publications

Martin Schoeberl, Ehsan Khodadad, Shaokai Lin, Emad Jacob Maroun, Luca Pezzarossa, Edward A. Lee
Invited Paper: Worst-Case Execution Time Analysis of Lingua Franca Applications. WCET (2024)
Jacky Kwok, Marten Lohstroh, Edward A. Lee
Efficient Parallel Reinforcement Learning Framework Using the Reactor Model. SPAA (2024)
Edward A. Lee
Certainty or Intelligence: Pick One! DATE (2024)
Peter Donovan, Erling Rennemo Jellum, Byeong-Gil Jun, Hokeun Kim, Edward A. Lee, Shaokai Lin, Marten Lohstroh, Anirudh Rengarajan
Strongly-Consistent Distributed Discrete-event Systems. CoRR (2024)
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, Edward A. Lee
PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency. CoRR (2024)
Alexander Schulz-Rosengarten, Akash Ahmad, Malte Clement, Reinhard von Hanxleden, Benjamin Asch, Marten Lohstroh, Edward A. Lee, Gustavo Quiros Araya, Ankit Shukla
Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca. ICSE Companion (2024)
Alexander Schulz-Rosengarten, Akash Ahmad, Malte Clement, Reinhard von Hanxleden, Benjamin Asch, Marten Lohstroh, Edward A. Lee, Gustavo Quiros Araya, Ankit Shukla
Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca. CoRR (2024)
Erling Rennemo Jellum, Shaokai Lin, Peter Donovan, Efsane Soyer, Fuzail Shakir, Torleiv H. Bryne, Milica Orlandic, Marten Lohstroh, Edward A. Lee
Beyond the Threaded Programming Model on Real-Time Operating Systems. NG-RES@HiPEAC (2023)
Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard
Consistency vs. Availability in Distributed Real-Time Systems. CoRR (2023)
Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard
Consistency vs. Availability in Distributed Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, Sanjit A. Seshia
Towards Building Verifiable CPS using Lingua Franca. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
Marten Lohstroh, Edward A. Lee, Stephen A. Edwards, David Broman
Logical Time for Reactive Software. CPS-IoT Week Workshops (2023)
Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Soroush Bateni, Edward A. Lee
Modal Reactors. CoRR (2023)
Edward A. Lee
Deep Neural Networks, Explanations, and Rationality. AISoLA (2023)
Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Edward A. Lee, Soroush Bateni
Polyglot Modal Models through Lingua Franca. CPS-IoT Week Workshops (2023)
Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Soroush Bateni, Edward A. Lee
Polyglot Modal Models through Lingua Franca. DATE (2023)
Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Hokeun Kim, Shaokai Lin, Christian Menard, Edward A. Lee
Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems. MEMOCODE (2023)
Erling Rennemo Jellum, Shaokai Lin, Peter Donovan, Chadlia Jerad, Edward Wang, Marten Lohstroh, Edward A. Lee, Martin Schoeberl
InterPRET: a Time-predictable Multicore Processor. CPS-IoT Week Workshops (2023)
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, Edward A. Lee
High-Performance Deterministic Concurrency using Lingua Franca. CoRR (2023)
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, Edward A. Lee
High-performance Deterministic Concurrency Using Lingua Franca. ACM Trans. Archit. Code Optim. 20 (4) (2023)
Jacky Kwok, Marten Lohstroh, Edward A. Lee
Optimizing Distributed Reinforcement Learning with Reactor Model and Lingua Franca. CoRR (2023)
Reinhard von Hanxleden, Edward A. Lee, Hauke Fuhrmann, Alexander Schulz-Rosengarten, Sören Domrös, Marten Lohstroh, Soroush Bateni, Christian Menard
Pragmatics Twelve Years Later: A Report on Lingua Franca. ISoLA (2) (2022)
Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Rohan Tabish, Hokeun Kim, Shaokai Lin, Christian Menard, Cong Liu, Edward A. Lee
Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems. CoRR (2022)
Edward A. Lee, Marten Lohstroh
Generalizing Logical Execution Time. Principles of Systems Design (2022)
Marten Lohstroh, Christian Menard, Soroush Bateni, Edward A. Lee
Toward a Lingua Franca for Deterministic Concurrent Systems. ACM Trans. Embed. Comput. Syst. 20 (4) (2021)
Martin A. Sehr, Marten Lohstroh, Matthew Weber, Ines Ugalde, Martin Witte, Joerg Neidig, Stephan Hoeme, Mehrdad Niknami, Edward A. Lee
Programmable Logic Controllers in the Context of Industry 4.0. IEEE Trans. Ind. Informatics 17 (5) (2021)
Edward A. Lee
Determinism. ACM Trans. Embed. Comput. Syst. 20 (5) (2021)
Edward A. Lee, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard
Quantifying and Generalizing the CAP Theorem. CoRR (2021)
Edward A. Lee, Marten Lohstroh
Time for All Programs, Not Just Real-Time Programs. ISoLA (2021)
Gil Lederman, Markus N. Rabe, Sanjit Seshia, Edward A. Lee
Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning. ICLR (2020)
Matthew Weber, Baihong Jin, Gil Lederman, Yasser Shoukry, Edward A. Lee, Sanjit Seshia, Alberto L. Sangiovanni-Vincentelli
Gordian: Formal Reasoning-based Outlier Detection for Secure Localization. ACM Trans. Cyber Phys. Syst. 4 (4) (2020)
Pashootan Vaezipoor, Gil Lederman, Yuhuai Wu, Chris J. Maddison, Roger B. Grosse, Edward A. Lee, Sanjit A. Seshia, Fahiem Bacchus
Learning Branching Heuristics for Propositional Model Counting. CoRR (2020)
Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee
Resilient Authentication and Authorization for the Internet of Things (IoT) Using Edge Computing. ACM Trans. Internet Things 1 (1) (2020)
Mathieu Jan, Mihail Asavoae, Martin Schoeberl, Edward A. Lee
Formal Semantics of Predictable Pipelines: a Comparative Study. ASP-DAC (2020)
Marten Lohstroh, Christian Menard, Alexander Schulz-Rosengarten, Matthew Weber, Jerónimo Castrillón, Edward A. Lee
A Language for Deterministic Coordination Across Multiple Timelines. FDL (2020)
Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah
Model Checking Software in Cyberphysical Systems. COMPSAC (2020)
Maryam Bagheri, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar
Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems. MEMOCODE (2020)
Marten Lohstroh, Íñigo Íncer Romeo, Andrés Goens, Patricia Derler, Jerónimo Castrillón, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
Reactors: A Deterministic Model for Composable Reactive Systems. CyPhy/WESE (2019)
Edward A. Lee
Observation and Interaction - Invited Paper. LATA (2019)
Hokeun Kim, Edward A. Lee, Schahram Dustdar
Creating a Resilient IoT With Edge Computing. Computer 52 (8) (2019)
Marten Lohstroh, Edward A. Lee
Deterministic Actors. FDL (2019)
Matthew Weber, Ravi Akella, Edward A. Lee
Service Discovery for the Connected Car with Semantic Accessors. IV (2019)
Marten Lohstroh, Martin Schoeberl, Mathieu Jan, Edward Wang, Edward A. Lee
Programs with ironclad timing guarantees: work-in-progress. EMSOFT Companion (2019)
Marten Lohstroh, Hokeun Kim, John C. Eidson, Chadlia Jerad, Beth Osyk, Edward A. Lee
On Enabling Technologies for the Internet of Important Things. IEEE Access 7 (2019)
Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis
Hybrid co-simulation: it's about time. Softw. Syst. Model. 18 (3) (2019)
Edward A. Lee
A fundamental look at models and intelligence: abstract of keynote. SEsCPS@ICSE (2019)
Edward A. Lee
Modeling in engineering and science. Commun. ACM 62 (1) (2019)
Marten Lohstroh, Martin Schoeberl, Andrés Goens, Armin Wasicek, Christopher D. Gill, Marjan Sirjani, Edward A. Lee
Actors Revisited for Time-Critical Systems. DAC (2019)
Edward A. Lee
Freedom From Choice and the Power of Models: in Honor of Alberto Sangiovanni-Vincentelli. ISPD (2019)
Marten Lohstroh, Edward A. Lee
Work-in-Progress: Real-Time Reactors in C. RTSS (2019)
Edward A. Lee
Models of Timed Systems. FORMATS (2018)
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Narges Khakpour, Ilge Akkaya, Ali Movaghar, Edward A. Lee
Coordinated actor model of self-adaptive track-based traffic control systems. J. Syst. Softw. 143 (2018)
Edward A. Lee
Is software the result of top-down intelligent design or evolution? Commun. ACM 61 (9) (2018)
Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis
Hybrid Co-simulation: It's About Time. MoDELS (2018)
Ben Zhang, Xin Jin, Sylvia Ratnasamy, John Wawrzynek, Edward A. Lee
AWStream: adaptive wide-area streaming analytics. SIGCOMM (2018)
Edward A. Lee, Marjan Sirjani
What Good are Models? FACS (2018)
Edward A. Lee
What Is Real Time Computing? A Personal View. IEEE Des. Test 35 (2) (2018)
Christopher X. Brooks, Chadlia Jerad, Hokeun Kim, Edward A. Lee, Marten Lohstroh, Victor Nouvelletz, Beth Osyk, Matthew Weber
A Component Architecture for the Internet of Things. Proc. IEEE 106 (9) (2018)
Chadlia Jerad, Edward A. Lee
Deterministic Timing for the Industrial Internet of Things. ICII (2018)
Íñigo Íncer Romeo, Marten Lohstroh, Antonio Iannopollo, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
A Metric for Linear Temporal Logic. CoRR (2018)
Marten Lohstroh, Hokeun Kim, Edward A. Lee
Contextual callbacks for resource discovery and trust negotiation on the internet of things: work-in-progress. EMSOFT Companion (2017)
Chih-Hong Cheng, Edward A. Lee, Harald Ruess
autoCode4: Structural Controller Synthesis. TACAS (1) (2017)
Edward A. Lee, Jan Reineke, Michael Zimmer
Abstract PRET Machines. RTSS (2017)
Hokeun Kim, Armin Wasicek, Edward A. Lee
An Integrated Simulation Tool for Computer Architecture and Cyber-Physical Systems. CyPhy (2017)
Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee
An Architectural Mechanism for Resilient IoT Services. SafeThings@SenSys (2017)
Hokeun Kim, Eunsuk Kang, Edward A. Lee, David Broman
A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things. IoTDI (2017)
Maryam Bagheri, Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar, Edward A. Lee
Runtime compositional analysis of track-based traffic control systems. SIGBED Rev. 14 (3) (2017)
Hokeun Kim, Edward A. Lee
Authentication and Authorization for the Internet of Things. IT Prof. 19 (5) (2017)
Hokeun Kim, Armin Wasicek, Benjamin Mehne, Edward A. Lee
A Secure Network Architecture for the Internet of Things Based on Local Authorization Entities. FiCloud (2016)
Ilge Akkaya, Patricia Derler, Shuhei Emoto, Edward A. Lee
Systems Engineering for Industrial Cyber-Physical Systems Using Aspects. Proc. IEEE 104 (5) (2016)
Marten Lohstroh, Christopher X. Brooks, Edward A. Lee
Demo Abstract: Building IoT Applications with Accessors in CapeCode. ICCPS (2016)
Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donzé, Edward A. Lee, Sanjit A. Seshia
Control Improvisation with Probabilistic Temporal Specifications. IoTDI (2016)
Shuhei Emoto, Ilge Akkaya, Edward A. Lee
Information seeking and model predictive control of a cooperative multi-robot system. Artif. Life Robotics 21 (4) (2016)
Edward A. Lee, Danella Zhao
Plenary I: The Internet of important things. SoCC (2016)
Ilge Akkaya, Yan Liu, Edward A. Lee
Uncertainty Analysis of Middleware Services for Streaming Smart Grid Applications. IEEE Trans. Serv. Comput. 9 (2) (2016)
Shuhei Emoto, Ilge Akkaya, Edward A. Lee
Cooperative multi-robot information acquisition based on distributed robust model predictive control. ROBIO (2016)
Nitesh Mor, Ben Zhang, John Kolb, Douglas S. Chan, Nikhil Goyal, Nicholas Sun, Ken Lutz, Eric Allman, John Wawrzynek, Edward A. Lee, John Kubiatowicz
Toward a Global Data Infrastructure. IEEE Internet Comput. 20 (3) (2016)
Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee
Coordinated Actors for Reliable Self-adaptive Systems. FACS (2016)
Edward A. Lee
Fundamental Limits of Cyber-Physical Systems Modeling. ACM Trans. Cyber Phys. Syst. 1 (1) (2016)
Fabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher X. Brooks, Edward A. Lee
FIDE: an FMI integrated development environment. SAC (2016)
Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis
Step revision in hybrid Co-simulation with FMI. MEMOCODE (2016)
Elizabeth Latronico, Edward A. Lee, Marten Lohstroh, Chris Shaver, Armin Wasicek, Matthew Weber
A Vision of Swarmlets. IEEE Internet Comput. 19 (2) (2015)
Michael Zimmer, J. Karl Hedrick, Edward A. Lee
Ramifications of software implementation and deployment: A case study on yaw moment controller design. ACC (2015)
Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donzé, Edward A. Lee, Sanjit A. Seshia
Control Improvisation with Probabilistic Temporal Specifications. CoRR (2015)
Marten Lohstroh, Edward A. Lee
An Interface Theory for the Internet of Things. SEFM (2015)
Eleftherios Matsikoudis, Edward A. Lee
The fixed-point theory of strictly causal functions. Theor. Comput. Sci. 574 (2015)
Ben Zhang, Nitesh Mor, John Kolb, Douglas S. Chan, Ken Lutz, Eric Allman, John Wawrzynek, Edward A. Lee, John Kubiatowicz
The Cloud is Not Enough: Saving IoT from the Cloud. HotCloud (2015)
Armin Wasicek, Edward A. Lee, Hokeun Kim, Lev Greenberg, Akihito Iwai, Ilge Akkaya
System simulation from operational data. DAC (2015)
Christopher X. Brooks, Edward A. Lee, David Lorenzetti, Thierry S. Nouidui, Michael Wetter
CyPhySim: a cyber-physical systems simulator. HSCC (2015)
David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter
Requirements for hybrid cosimulation standards. HSCC (2015)
Edward A. Lee, Mehrdad Niknami, Thierry S. Nouidui, Michael Wetter
Modeling and simulating cyber-physical systems using CyPhySim. EMSOFT (2015)
Edward A. Lee
Architectural Support for Cyber-Physical Systems. ASPLOS (2015)
Ben Zhang, Nitesh Mor, John Kolb, Douglas S. Chan, Ken Lutz, Eric Allman, John Wawrzynek, Edward A. Lee, John Kubiatowicz
The Cloud is Not Enough: Saving IoT from the Cloud. HotStorage (2015)
Edward A. Lee
The Past, Present and Future of Cyber-Physical Systems: A Focus on Models. Sensors 15 (3) (2015)
Matthew Weber, Edward A. Lee
A model for semantic localization. IPSN (2015)
Hokeun Kim, David Broman, Edward A. Lee, Michael Zimmer, Aviral Shrivastava, Junkwang Oh
A predictable and command-level priority-based DRAM controller for mixed-criticality systems. RTAS (2015)
Edward A. Lee, Peter Palensky
Message from the Chairs. MSCPES@CPSWeek (2014)
Edward A. Lee
Keynote - It's about time. ReConFig (2014)
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, Kevin Fu, Carlos Guestrin, Ben Taskar, Roozbeh Jafari, Douglas L. Jones, Vijay Kumar, Rahul Mangharam, George J. Pappas, Richard M. Murray, Anthony Rowe
The Swarm at the Edge of the Cloud. IEEE Des. Test 31 (3) (2014)
Edward A. Lee
Constructive Models of Discrete and Continuous Physical Phenomena. IEEE Access 2 (2014)

Edward A. Lee.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Edward A. Lee