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)

Demo Abstract: Building IoT Applications with Accessors in CapeCode. - Marten Lohstroh; Christopher X. Brooks; Edward A. Lee (ICCPS, 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)

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

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)

Why the Equifax Breach Should Not Have Mattered. - Marten Lohstroh (CoRR, 2018)

A Metric for Linear Temporal Logic. - Íñigo Íncer Romeo; Marten Lohstroh; Antonio Iannopollo; Edward A. Lee; Alberto L. Sangiovanni-Vincentelli (CoRR, 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)

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)

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

Achieving Determinism in Adaptive AUTOSAR. - Christian Menard; Andrés Goens; Marten Lohstroh; Jerónimo Castrillón (DATE, 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)

Reactors: A Deterministic Model of Concurrent Computation for Reactive Systems. - Marten Lohstroh (2020)

Debugging and Verification Tools for Lingua Franca in Gemoc Studio. - Julien Deantoni; João Cambeiro; Soroush Bateni; Shaokai Lin; Marten Lohstroh (FDL, 2021)

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)

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)

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)

Reliable Event Detection Using Time-Synchronized IoT Platforms. - Byeong-Gil Jun; Dongha Kim; Marten Lohstroh; Hokeun Kim (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)

Provable Determinism for Software in Cyber-Physical Systems. - Marcus Rossel; Shaokai Lin; Marten Lohstroh; Jerónimo Castrillón; Andrés Goens (VSTTE, 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)

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)

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)

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)

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)

Improving the Efficiency of Coordinating Timed Events in Distributed Systems. - Byeong-Gil Jun; Edward A. Lee; Marten Lohstroh; Hokeun Kim (SIGSIM-PADS, 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)