Marten Lohstroh

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 46

Top Topics

Top Venues

CPS-IoT Week Workshops

ACM Trans. Embed. Comput. Syst.

Publications

Jacky Kwok, Marten Lohstroh, Edward A. Lee
Efficient Parallel Reinforcement Learning Framework Using the Reactor Model. SPAA (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)
Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jerónimo Castrillón, Andrés Goens
Provable Determinism for Software in Cyber-Physical Systems. VSTTE (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)
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)
Byeong-Gil Jun, Dongha Kim, Marten Lohstroh, Hokeun Kim
Reliable Event Detection Using Time-Synchronized IoT Platforms. CPS-IoT Week Workshops (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, 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)
Julien Deantoni, João Cambeiro, Soroush Bateni, Shaokai Lin, Marten Lohstroh
Debugging and Verification Tools for Lingua Franca in Gemoc Studio. FDL (2021)
Christian Menard, Andrés Goens, Marten Lohstroh, Jerónimo Castrillón
Achieving Determinism in Adaptive AUTOSAR. DATE (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)
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)
Marten Lohstroh, Edward A. Lee
Deterministic Actors. FDL (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)
Christian Menard, Andres Goens, Marten Lohstroh, Jerónimo Castrillón
Achieving Determinism in Adaptive AUTOSAR. CoRR (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)
Marten Lohstroh, Edward A. Lee
Work-in-Progress: Real-Time Reactors in C. RTSS (2019)
Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis
Hybrid Co-simulation: It's About Time. MoDELS (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)
Marten Lohstroh
Why the Equifax Breach Should Not Have Mattered. CoRR (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)
Marten Lohstroh, Christopher X. Brooks, Edward A. Lee
Demo Abstract: Building IoT Applications with Accessors in CapeCode. ICCPS (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)
Marten Lohstroh, Edward A. Lee
An Interface Theory for the Internet of Things. SEFM (2015)