Sotabase

Career

· Co-founder, Xronos2024–
· Researcher (implied from publications), University of California, Berkeley

Publications (59)

Toward a Lingua Franca for Deterministic Concurrent Systems
ACM Transactions on Embedded Computing Systems · 2021
105
cited
Programmable Logic Controllers in the Context of Industry 4.0
IEEE Transactions on Industrial Informatics · 2021
82
cited
Hybrid co-simulation: it’s about time
Journal of Software and Systems Modeling · 2017
81
cited
Reactors: A Deterministic Model for Composable Reactive Systems
CyPhy/WESE · 2019
67
cited
A Vision of Swarmlets
IEEE Internet Computing · 2015
64
cited
FIDE: an FMI integrated development environment
ACM Symposium on Applied Computing · 2016
49
cited
A Component Architecture for the Internet of Things
Proceedings of the IEEE · 2018
37
cited
Deterministic Actors
Forum on Specification and Design Languages · 2019
29
cited
Reactors: A Deterministic Model of Concurrent Computation for Reactive Systems
2020
26
cited
An Interface Theory for the Internet of Things
IEEE International Conference on Software Engineering and Formal Methods · 2015
25
cited
Achieving Determinism in Adaptive AUTOSAR
Design, Automation and Test in Europe · 2019
24
cited
A Language for Deterministic Coordination Across Multiple Timelines
Forum on Specification and Design Languages · 2020
24
cited
Step revision in hybrid Co-simulation with FMI
International Conference on Formal Methods and Models for Co-Design · 2016
24
cited
Invited: Actors Revisited for Time-Critical Systems
Design Automation Conference · 2019
20
cited
Quantifying and Generalizing the CAP Theorem
arXiv.org · 2021
18
cited
Actors Revisited for Time-Critical Systems
Design Automation Conference · 2019
15
cited
Consistency vs. Availability in Distributed Cyber-Physical Systems
ACM Transactions on Embedded Computing Systems · 2023
15
cited
Logical Time for Reactive Software
CPS-IoT Week Workshops · 2023
13
cited
Pragmatics Twelve Years Later: A Report on Lingua Franca
Leveraging Applications of Formal Methods · 2022
13
cited
Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems
International Conference on Formal Methods and Models for Co-Design · 2023
13
cited
Sotabase
Marten Lohstroh | Researcher Profile | Sotabase | Sotabase