Marten Lohstroh
Title
Cited by
Cited by
Year
A Vision of Swarmlets
E Latronico, EA Lee, M Lohstroh, C Shaver, A Wasicek, M Weber
IEEE Internet Computing 19 (2), 20-28, 2015
642015
Hybrid Co-simulation: It’s about time
F Cremona, M Lohstroh, D Broman, EA Lee, M Masin, S Tripakis
Software & Systems Modeling, 1-25, 2017
462017
FIDE: An FMI Integrated Development Environment
F Cremona, M Lohstroh, S Tripakis, C Brooks, EA Lee
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 1759-1766, 2016
452016
A Component Architecture for the Internet of Things
C Brooks, C Jerad, H Kim, EA Lee, M Lohstroh, V Nouvellet, B Osyk, ...
Proceedings of the IEEE 106 (9), 1527-1542, 2018
232018
Step Revision in Hybrid Co-simulation with FMI
F Cremona, M Lohstroh, D Broman, M Di Natale, EA Lee, S Tripakis
Formal Methods and Models for System Design (MEMOCODE), 2016 ACM/IEEE …, 2016
222016
An Interface Theory for the Internet of Things
M Lohstroh, EA Lee
Software Engineering and Formal Methods, 20-34, 2015
172015
Actors Revisited for Time-Critical Systems
M Lohstroh, M Schoeberl, A Goens, A Wasicek, C Gill, M Sirjani, EA Lee
DAC, 152:1-152:4, 2019
132019
Reactors: A deterministic model for composable reactive systems
M Lohstroh, ÍÍ Romeo, A Goens, P Derler, J Castrillon, EA Lee, ...
Cyber Physical Systems. Model-Based Design, 59-85, 2019
102019
On enabling technologies for the Internet of Important Things
M Lohstroh, H Kim, JC Eidson, C Jerad, B Osyk, EA Lee
IEEE Access 7, 27244-27256, 2019
82019
Deterministic Actors
M Lohstroh, EA Lee
FDL, 2019
82019
Achieving determinism in adaptive AUTOSAR
C Menard, A Goens, M Lohstroh, J Castrillon
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 822-827, 2020
22020
Work-in-progress: programs with ironclad timing guarantees
M Lohstroh, M Schoeberl, M Jan, E Wang, EA Lee
2019 International Conference on Embedded Software (EMSOFT), 1-2, 2019
22019
Work-in-Progress: Contextual Callbacks for Resource Discovery and Trust Negotiation on the Internet of Things
M Lohstroh, H Kim, EA Lee
Embedded Software (EMSOFT), 2017 International Conference on, 1-2, 2017
22017
Programs with ironclad timing guarantees: work-in-progress
M Lohstroh, M Schoeberl, M Jan, E Wang, EA Lee
Proceedings of the International Conference on Embedded Software Companion, 1-2, 2019
12019
A Metric for Linear Temporal Logic
ÍÍ Romeo, M Lohstroh, A Iannopollo, EA Lee, A Sangiovanni-Vincentelli
arXiv preprint arXiv:1812.03923, 2018
12018
Principles of Modeling
M Lohstroh, P Derler, M Sirjani
Springer Cham, 2018
12018
Theory and Application of Multithreading: The Actor Model
M Lohstroh
12011
Programmable Logic Controllers in the Context of Industry 4.0
MA Sehr, M Lohstroh, M Weber, I Ugalde, M Witte, J Neidig, S Hoeme, ...
IEEE Transactions on Industrial Informatics, 2020
2020
Work-In-Progress: Real-Time Reactors in C
M Lohstroh, EA Lee
2019 IEEE Real-Time Systems Symposium (RTSS), 572-575, 2019
2019
A Metric for Linear Temporal Logic
Í Íncer Romeo, M Lohstroh, A Iannopollo, EA Lee, ...
arXiv, arXiv: 1812.03923, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20