Marten Lohstroh

Publications

1. VSTTE'23 Provable Determinism for Software in Cyber-Physical Systems

   Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jerónimo Castrillón, Andrés Goens

2. DATE'20 Achieving Determinism in Adaptive AUTOSAR

   Christian Menard, Andrés Goens, Marten Lohstroh, Jerónimo Castrillón

3. DAC'19 Actors Revisited for Time-Critical Systems

   Marten Lohstroh, Martin Schoeberl, Andrés Goens, Armin Wasicek, Christopher D. Gill, Marjan Sirjani, Edward A. Lee

4. CYPHY'19 Reactors: A Deterministic Model for Composable Reactive Systems

   Marten Lohstroh, Íñigo Íncer Romeo, Andrés Goens, Patricia Derler, Jerónimo Castrillón, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli