...
Joaquín Aguado, Michael Mendler, Marc Pouzet, Partha S. Roop, Reinhard von Hanxleden, Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach, Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018
Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden, Michael Mendler, On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems - A Sequentially Constructive Circuit Semantics for Esterel, 2018 18th International Conference on Application of Concurrency to System Design (ACSD)
Claire Pagetti, Julien Forget, Heiko Falk, Dominic Oehlert, and Arno Luppold. 2018. Automated generation of time-predictable executables on multicore. In Proceedings of the 26th International Conference on Real-Time Networks and Systems (RTNS '18)
...