متابعة
Marten Lohstroh
Marten Lohstroh
Assistant Researcher at UC Berkeley, EECS Dept.
بريد إلكتروني تم التحقق منه على berkeley.edu - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
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‏
1182017
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‏
1152021
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‏
1012020
Reactors: A Deterministic Model for Composable Reactive Systems‏
J Castrillon, EA Lee, A Sangiovanni-Vincentelli‏
Cyber Physical Systems. Model-Based Design: 9th International Workshop …, 2020‏
80*2020
A Vision of Swarmlets‏
E Latronico, EA Lee, M Lohstroh, C Shaver, A Wasicek, M Weber‏
IEEE Internet Computing 19 (2), 20-28, 2015‏
802015
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‏
742016
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‏
502018
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‏
432016
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‏
41*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‏
392020
Reactors: A deterministic model of concurrent computation for reactive systems‏
HMF Lohstroh‏
University of California, Berkeley, 2020‏
392020
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‏
342019
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‏
292020
Deterministic Actors‏
M Lohstroh, EA Lee‏
FDL, 2019‏
292019
An Interface Theory for the Internet of Things‏
M Lohstroh, EA Lee‏
Software Engineering and Formal Methods, 20-34, 2015‏
292015
High-performance Deterministic Concurrency Using Lingua Franca‏
C Menard, M Lohstroh, S Bateni, M Chorlian, A Deng, P Donovan, ...‏
ACM Transactions on Architecture and Code Optimization 20 (4), 1-29, 2023‏
282023
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‏
232019
Quantifying and generalizing the CAP theorem‏
EA Lee, S Bateni, S Lin, M Lohstroh, C Menard‏
arXiv preprint arXiv:2109.07771, 2021‏
222021
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‏
202022
Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems‏
S Bateni, M Lohstroh, HS Wong, H Kim, S Lin, C Menard, EA Lee‏
Proceedings of the 21st ACM-IEEE International Conference on Formal Methods …, 2023‏
132023
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20