Marten Lohstroh

According to our database, Marten Lohstroh authored at least 47 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., September, 2024

HPRM: High-Performance Robotic Middleware for Intelligent Autonomous Systems.

Jacky Kwok, Shulu Li, Marten Lohstroh, Edward A. Lee

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, Edward A. Lee

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

Efficient Parallel Reinforcement Learning Framework Using the Reactor Model.

Jacky Kwok, Marten Lohstroh, Edward A. Lee

Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures, 2024

Efficient Coordination for Distributed Discrete-Event Systems.

Byeong-Gil Jun, Edward A. Lee, Marten Lohstroh, Hokeun Kim

Proceedings of the 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, 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

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

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, Edward A. Lee

ACM Trans. Archit. Code Optim., December, 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., October, 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., October, 2023

Optimizing Distributed Reinforcement Learning with Reactor Model and Lingua Franca.

Jacky Kwok, Marten Lohstroh, Edward A. Lee

CoRR, 2023

Modal Reactors.

Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Soroush Bateni, Edward A. Lee

CoRR, 2023

Consistency vs. Availability in Distributed Real-Time Systems.

Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard

CoRR, 2023

Provable Determinism for Software in Cyber-Physical Systems.

Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jerónimo Castrillón, Andrés Goens

Proceedings of the Verified Software. Theories, Tools and Experiments, 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

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 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

Proceedings of the Fourth Workshop on Next Generation Real-Time Embedded Systems, 2023

Polyglot Modal Models through Lingua Franca.

Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Edward A. Lee, Soroush Bateni

Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023

Logical Time for Reactive Software.

Marten Lohstroh, Edward A. Lee, Stephen A. Edwards, David Broman

Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023

Reliable Event Detection Using Time-Synchronized IoT Platforms.

Byeong-Gil Jun, Dongha Kim, Marten Lohstroh, Hokeun Kim

Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023

InterPRET: a Time-predictable Multicore Processor.

Erling Rennemo Jellum, Shaokai Lin, Peter Donovan, Chadlia Jerad, Edward Wang, Marten Lohstroh, Edward A. Lee, Martin Schoeberl

Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023

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, Edward A. Lee

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

Generalizing Logical Execution Time.

Edward A. Lee, Marten Lohstroh

Proceedings of the Principles of Systems Design, 2022

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

Toward a Lingua Franca for Deterministic Concurrent Systems.

Marten Lohstroh, Christian Menard, Soroush Bateni, Edward A. Lee

ACM Trans. Embed. Comput. Syst., 2021

Quantifying and Generalizing the CAP Theorem.

Edward A. Lee, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard

CoRR, 2021

Time for All Programs, Not Just Real-Time Programs.

Edward A. Lee, Marten Lohstroh

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

Debugging and Verification Tools for Lingua Franca in Gemoc Studio.

Julien Deantoni, João Cambeiro, Soroush Bateni, Shaokai Lin, Marten Lohstroh

Proceedings of the 24th Forum on specification & Design Languages, 2021

2020

Reactors: A Deterministic Model of Concurrent Computation for Reactive Systems.

Marten Lohstroh

PhD thesis, 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

Proceedings of the Forum for Specification and Design Languages, 2020

Achieving Determinism in Adaptive AUTOSAR.

Christian Menard, Andrés Goens, Marten Lohstroh, Jerónimo Castrillón

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

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

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

Work-in-Progress: Real-Time Reactors in C.

Marten Lohstroh, Edward A. Lee

Proceedings of the IEEE Real-Time Systems Symposium, 2019

Deterministic Actors.

Marten Lohstroh, Edward A. Lee

Proceedings of the 2019 Forum for Specification and Design Languages, 2019

Programs with ironclad timing guarantees: work-in-progress.

Marten Lohstroh, Martin Schoeberl, Mathieu Jan, Edward Wang, Edward A. Lee

Proceedings of the International Conference on Embedded Software Companion, 2019

Actors Revisited for Time-Critical Systems.

Marten Lohstroh, Martin Schoeberl, Andrés Goens, Armin Wasicek, Christopher D. Gill, Marjan Sirjani, Edward A. Lee

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

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

Proceedings of the Cyber Physical Systems. Model-Based Design - 9th International Workshop, 2019

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

A Metric for Linear Temporal Logic.

Íñigo Íncer Romeo, Marten Lohstroh, Antonio Iannopollo, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli

CoRR, 2018

Why the Equifax Breach Should Not Have Mattered.

Marten Lohstroh

CoRR, 2018

2017

Contextual callbacks for resource discovery and trust negotiation on the internet of things: work-in-progress.

Marten Lohstroh, Hokeun Kim, Edward A. Lee

Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion, 2017

2016

FIDE: an FMI integrated development environment.

Fabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher X. Brooks, Edward A. Lee

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Step revision in hybrid Co-simulation with FMI.

Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

Demo Abstract: Building IoT Applications with Accessors in CapeCode.

Marten Lohstroh, Christopher X. Brooks, Edward A. Lee

Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

2015

A Vision of Swarmlets.

Elizabeth Latronico, Edward A. Lee, Marten Lohstroh, Chris Shaver, Armin Wasicek, Matthew Weber

IEEE Internet Comput., 2015

An Interface Theory for the Internet of Things.

Marten Lohstroh, Edward A. Lee

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015