Featured Publications

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

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
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