Marten Lohstroh
Marten Lohstroh
Postdoctoral Researcher at UC Berkeley, EECS Dept.
Adresă de e-mail confirmată pe berkeley.edu - Pagina de pornire
Citat de
Citat de
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
A Vision of Swarmlets
E Latronico, EA Lee, M Lohstroh, C Shaver, A Wasicek, M Weber
IEEE Internet Computing 19 (2), 20-28, 2015
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
Toward a Lingua Franca for deterministic concurrent systems
M Lohstroh, C Menard, S Bateni, EA Lee
ACM Transactions on Embedded Computing Systems (TECS) 20 (4), 1-27, 2021
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: 9th International Workshop …, 2020
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
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 17 (5), 3523-3533, 2020
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
Invited: Actors Revisited for Time-Critical Systems
M Lohstroh, M Schoeberl, A Goens, A Wasicek, C Gill, M Sirjani, EA Lee
Proceedings of the 2019 56th ACM/IEEE Design Automation Conference (DAC …, 2019
An Interface Theory for the Internet of Things
M Lohstroh, EA Lee
Software Engineering and Formal Methods, 20-34, 2015
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
Deterministic Actors
M Lohstroh, EA Lee
FDL, 2019
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
Reactors: A deterministic model of concurrent computation for reactive systems
HMF Lohstroh
University of California, Berkeley, 2020
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
A language for deterministic coordination across multiple timelines
M Lohstroh, C Menard, A Schulz-Rosengarten, M Weber, J Castrillon, ...
2020 Forum for Specification and Design Languages (FDL), 1-8, 2020
Quantifying and generalizing the CAP theorem
EA Lee, S Bateni, S Lin, M Lohstroh, C Menard
arXiv preprint arXiv:2109.07771, 2021
Xronos: Predictable coordination for safety-critical distributed embedded systems
S Bateni, M Lohstroh, HS Wong, R Tabish, H Kim, S Lin, C Menard, C Liu, ...
arXiv preprint arXiv:2207.09555, 2022
Pragmatics twelve years later: a report on Lingua Franca
R von Hanxleden, EA Lee, H Fuhrmann, A Schulz-Rosengarten, ...
International Symposium on Leveraging Applications of Formal Methods, 60-89, 2022
Time for all programs, not just real-time programs
EA Lee, M Lohstroh
Leveraging Applications of Formal Methods, Verification and Validation: 10th …, 2021
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20