Featured Publications
Are We In Control?
In: Introduction to Digital Humanism
Publication Date: 2024
Author(s): Edward A. Lee
Polyglot Modal Models through Lingua Franca
In: Workshop on Time-Centric Reactive Systems (TCRS), CPS-IoT Week Workshops, San Antonio, TX, USA
Publication Date: May 9, 2023
Author(s): Schulz-Rosengarten, Alexander and Lohstroh, Marten and Bateni, Soroush and von Hanxleden, Reinhard and Lee, Edward A.
Modal Reactors
Journal: arXiv:2301.09597 [cs.PL]
Publication Date: January, 2023
Author(s): Alexander Schulz-Rosengarten, Reinhard von Hanxleden,Marten Lohstroh, Soroush Bateni, Edward A. Lee
High-Performance Deterministic Concurrency using Lingua Franca
Journal: ACM Transactions on Architecture and Code Optimization (TACO)
Publication Date: August, 2023
Author(s): Christian Menard, Marten Lohstroh, Soroush Bateni, Matthew Chorlian, Arthur Deng, Peter Donovan, Clément Fournier, Shaokai Lin, Felix Suchert, Tassilo Tanneberger, Hokeun Kim, Jeronimo Castrillon, Edward A. Lee
High-Performance Deterministic Concurrency using Lingua Franca
Journal: arXiv:2301.02444 [cs.PL]
Publication Date: January, 2023
Author(s): Christian Menard, Marten Lohstroh, Soroush Bateni, Matthew Chorlian, Arthur Deng, Peter Donovan, Clément Fournier, Shaokai Lin, Felix Suchert, Tassilo Tanneberger, Hokeun Kim, Jeronimo Castrillon, Edward A. Lee
Logical Time for Reactive Software
In: Workshop on Time-Centric Reactive Systems (TCRS), CPS-IoT Week Workshops, San Antonio, TX, USA
Publication Date: May 9, 2023
Author(s): Lohstroh, Marten and Lee, Edward A. and Edwards, Stephen A. and Broman, David
Towards Building Verifiable CPS using Lingua Franca
Journal: ACM Transactions on Embedded Computing Systems (TECS)
Publication Date: September, 2023
Author(s): Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, Sanjit A. Seshia
Generalizing Logical Execution Time
In: Principles of Systems Design
Publication Date: July, 2023
Author(s): Edward A. Lee and Marten Lohstroh
Trading Off Consistency and Availability in Tiered Heterogeneous Distributed Systems
Journal: Intelligent Computing
Publication Date: February, 2023
Author(s): Edward A. Lee, Soroush Bateni, Shaokai Lin, Marten Lohstroh, and Christian Menard
Consistency vs. Availability in Distributed Cyber-Physical Systems
Journal: ACM Transactions on Embedded Computing Systems (TECS)
Publication Date: September, 2023
Author(s): Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard
Consistency vs. Availability in Distributed Real-Time Systems
Journal: arXiv:2301.08906 [cs.DC]
Publication Date: January, 2023
Author(s): Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard
InterPRET: a Time-predictable Multicore Processor
In: Workshop on Time-Centric Reactive Systems (TCRS), CPS-IoT Week Workshops, San Antonio, TX, USA
Publication Date: May 9, 2023
Author(s): Jellum, Erling Rennemo and Lin, Shaokai and Donovan, Peter and Jerad, Chadlia and Wang, Edward and Lohstroh, Marten and Lee, Edward A. and Schoeberl, Martin
Beyond the Threaded Programming Model on Real-Time Operating Systems
In: Workshop on Next Generation Real-Time Embedded Systems (NG-RES)
Publication Date: January 18, 2023
Author(s): Jellum, Erling Rennemo and Lin, Shaokai and Donovan, Peter and Soyer, Efsane and Shakir, Fuzail and Bryne, Torleiv and Orlandic, Milica and Lohstroh, Marten and Lee, Edward A.
Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems
In: 21st ACM/IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE), Hamburg, Germany
Publication Date: September 21-22, 2023
Author(s): Bateni, Soroush and Lohstroh, Marten and Wong, Hou Seng and Kim, Hokeun and Lin, Shaokai and Menard, Christian and Lee, Edward A.
What Can Deep Neural Networks Teach Us About Embodied Bounded Rationality
Journal: Frontiers in Psychology
Publication Date: April, 2022
Author(s): Edward A. Lee
Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems
Journal: arXiv:2207.09555 [cs.DC]
Publication Date: July, 2022
Author(s): Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Rohan Tabish, Hokeun Kim, Shaokai Lin, Christian Menard, Cong Liu, Edward A. Lee
Semantic Localization for IoT
In: Semantic IoT: Theory and Applications, Studies in Computational Intelligence
Publication Date: April, 2021
Author(s): Matthew Weber and Edward A. Lee
Programmable Logic Controllers in the Context of Industry 4.0
Journal: IEEE Transactions on Industrial Informatics
Publication Date: May, 2021
Author(s): Martin A. Sehr, Marten Lohstroh, Mathew Weber, Ines Ugalde, Martin Witte, Joerg Neidig, Stephan Hoeme, Mehrdad Niknami, and Edward A. Lee
Toward a Lingua Franca for Deterministic Concurrent Systems
Journal: ACM Transactions on Embedded Computing Systems (TECS)
Publication Date: May, 2021
Author(s): Marten Lohstroh, Christian Menard, Soroush Bateni, and Edward A. Lee
Time for All Programs, Not Just Real-Time Programs
In: Int. Symp. on Leveraging Applications of Formal Methods (ISoLA)
Publication Date: October 17-29, 2021
Author(s): Edward A. Lee and Marten Lohstroh
Quantifying and Generalizing the CAP Theorem
Journal: arXiv:2109.07771 [cs.DC]
Publication Date: September, 2021
Author(s): Edward A. Lee, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard
Determinism
Journal: ACM Transactions on Embedded Computing Systems (TECS)
Publication Date: July, 2021
Author(s): Edward A. Lee
Opportunities for Industrial Control
In: IFAC World Congress
Publication Date: July 12-17, 2020
Author(s): Martin Witte, Martin A. Sehr, Ines Ugalde, Joerg Neidig, Mehrdad Niknami, Stephan Hoeme, and Edward A. Lee
Gordian: Formal Reasoning-Based Outlier Detection for Secure Localization
Journal: ACM Transactions on Cyber-Physical Systems (TCPS)
Publication Date: June, 2020
Author(s): Matthew Weber, Baihong Jin, Gil Lederman, Yasser Shoukry, Edward A Lee, Sanjit Seshia, and Alberto Sangiovanni-Vincentelli
Model Checking Software in Cyberphysical Systems
In: IEEE Computers, Software, and Applications Conference (COMPSAC)
Publication Date: July, 2020
Author(s): Marjan Sirjani, Ehsan Khamespanah, and Edward A. Lee
Verification of Cyberphysical Systems
Journal: Mathematics
Publication Date: July 2, 2020
Author(s): Marjan Sirjani, Edward A. Lee, and Ehsan Khamespanah
Determinism in Adaptive Autosar
In: Proceedings of the 2020 Design, Automation and Test in Europe Conference (DATE)
Publication Date: March, 2020
Author(s): Christian Menard, Andrés Goens, Marten Lohstroh, and Jeronimo Castrillon
A Language for Deterministic Coordination across Multiple Timelines
In: Forum on Design Languages (FDL)
Publication Date: September, 2020
Author(s): Marten Lohstroh, Christian Menard, Alexander Schulz-Rosengarten, Matthew Weber, Jeronimo Castrillon, and Edward A. Lee
The Coevolution of Humans and Machines
In: SIGBED Blog
Publication Date: April 2, 2020
Author(s): Edward A. Lee
Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning
In: International Conference on Learning Representations (ICLR)
Publication Date: April 26-May 1, 2020
Author(s): Gil Lederman, Markus N. Rabe, Edward A. Lee, and Sanjit A. Seshia
Resilient Authentication and Authorization for the Internet of Things (Iot) Using Edge Computing
Journal: ACM Transactions on Internet of Things
Publication Date: February, 2020
Author(s): Hokeun Kim, Eunsuk Kang, David Broman, and Edward A. Lee
Formal Semantics of Predictable Pipelines: A Comparative Study
In: 25th Asia and South Pacific Design Automation Conference
Publication Date: January 13-16, 2020
Author(s): Mathieu Jan, Mihail Asavoae, Martin Schoeberl, and Edward A. Lee
Service Discovery for the Connected Car with Semantic Accessors
Journal: IEEE Inteligent Vehicles Symposium (IV)
Publication Date: 2019
Author(s): Matthew Weber, Ravi Akella, and Edward A. Lee
On Enabling Technologies for the Internet of Important Things
Journal: IEEE Access
Publication Date: 2019
Author(s): Marten Lohstroh, Hokeun Kim, John C. Eidson, Chadlia Jerad, and Beth Osyk
Deterministic Actors
In: Forum on Specification and Design Languages (FDL),
Publication Date: September 2-4, 2019
Author(s): Marten Lohstroh, and Edward A. Lee
Reactors: A Deterministic Model for Composable Reactive Systems
In: Model-Based Design of Cyber Physical Systems (CyPhy)
Publication Date: Oct. 17-18, 2019
Author(s): Marten Lohstroh, Iñigo Incer Romeo, Andrés Goens, Patricia Derler, Jeronimo Castrillon, Edward A. Lee, and Alberto Sangiovanni-Vincentelli
Invited: Actors Revisited for Time-Critical Systems
In: Design Automation Conference (DAC)
Publication Date: June, 2019
Author(s): Marten Lohstroh, Martin Schoeberl, Andres Goens, Armin Wasicek, Christopher Gill, Marjan Sirjani, and Edward A. Lee
Work-in-Progress: Programs with Ironclad Timing Guarantees
In: ACM SIGBED International Conference on Embedded Software (EMSOFT)
Publication Date: October 13-18, 2019
Author(s): Marten Lohstroh, Martin Schoeberl, Mathieu Jan, Edward Wang, and Edward A. Lee
Observation and Interaction
In: International Conference on Language and Automata Theory and Applications (LATA)
Publication Date: 2019
Author(s): Edward A. Lee
Creating a Resilient Iot with Edge Computing
Journal: Computer
Publication Date: 2019
Author(s): Hokeun Kim, Edward A. Lee, and Schahram Dustdar
What is Real Time Computing? A Personal View.
Journal: IEEE Design & Test
Publication Date: April, 2018
Author(s): Edward A. Lee
A Component Architecture for the Internet of Things
Journal: Proceedings of the IEEE
Publication Date: September, 2018
Author(s): Christopher Brooks, Chadlia Jerad, Hokeun Kim, Edward A. Lee, Marten Lohstroh, Victor Nouvellet, Beth Osyk, and Matt Weber
Hybrid Co-Simulation: It's About Time
Journal: Software and Systems Modeling
Publication Date: November, 2017
Author(s): Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, and Stavros Tripakis
A Platform-Based Design Methodology With Contractsand Related Tools for the Design of Cyber-Physical Systems
Journal: Proceedings of the IEEE
Publication Date: 2015
Author(s): Pierluigi Nuzzo, AlbertoSangiovanni-Vincentelli, Davide Bresolin,Luca Geretti, Tiziano Villa
A Contract-Based Methodology for Aircraft ElectricPower System Design
Journal: IEEE Access
Publication Date: November, 2014
Author(s): Pierluigi Nuzzo, Mumu Xu, Necmiye Ozay,John B. Finn, Alberto Sangiovanni-Vincentelliand Richard Murray, Alexandre Donze, SanjitSeshia
Contracts for Systems Design
Journal: Proceedings of IEEE
Publication Date: 2013
Author(s): Albert Benveniste, Benoît Caillaud, DejanNickovic, Roberto Passerone, Jean-BaptisteRaclet, Philipp Reinkemeier, AlbertoSangiovanni-Vincentelli, Werner Damm, TomHenzinger, Kim Larsen