EMSOFT Companion

Publications

2019

Houssam Abbas
Private runtime verification: work-in-progress. EMSOFT Companion (2019)
Michael Uelschen, Marco Schaarschmidt, Christian Fuhrmann, Clemens Westerkamp
PowerMonitor: design pattern for modelling energy-aware embedded systems: work-in-progress. EMSOFT Companion (2019)
Lars Bauer, Marvin Damschen, Dirk Ziegenbein, Arne Hamann, Alessandro Biondi, Giorgio C. Buttazzo, Jörg Henkel
Analyses and architectures for mixed-critical systems: industry trends and research perspective. EMSOFT Companion (2019)
Marten Lohstroh, Martin Schoeberl, Mathieu Jan, Edward Wang, Edward A. Lee
Programs with ironclad timing guarantees: work-in-progress. EMSOFT Companion (2019)
Jori Winderickx, Pierre Bellier, Patrick Duflot, Dorothée Coppieters, Nele Mentens
Communication and security trade-offs for wearable medical sensor systems in hospitals: work-in-progress. EMSOFT Companion (2019)
Federico Reghenzani, Luca Santinelli, William Fornaciari
Why statistical power matters for probabilistic real-time: work-in-progress. EMSOFT Companion (2019)
Philipp Göttlich, Hans-Christian Reuss
Physics-based software analysis for safety-critical embedded applications: work-in-progress. EMSOFT Companion (2019)
Proceedings of the International Conference on Embedded Software Companion, New York, NY, USA, October 13-18, 2019. EMSOFT Companion (2019)
Daniel Gutierrez-Galan, Juan Pedro Dominguez-Morales, Angel Jiménez-Fernandez, Ricardo Tapiador-Morales, Antonio Rios-Navarro, Alejandro Linares-Barranco
A neuromorphic approach of the sound source localization task in real-time embedded systems: work-in-progress. EMSOFT Companion (2019)
Niraj Kumar, Jaishree Mayank, Arijit Mondal
An ILP framework for energy optimized scheduling for weakly-hard real-time systems: work-in-progress. EMSOFT Companion (2019)
Viren Bajaj, Karim Elmaaroufi, Nathan Fulton, André Platzer
Verifiably safe SCUBA diving using commodity sensors: work-in-progress. EMSOFT Companion (2019)
Lukas Sommer, Florian Stock, Leonardo Solis-Vasquez, Andreas Koch
DAPHNE - An automotive benchmark suite for parallel programming models on embedded heterogeneous platforms: work-in-progress. EMSOFT Companion (2019)
Akramul Azim
Delay-bound function for cyber-physical systems: work-in-progress. EMSOFT Companion (2019)
Arpan Gujarati, Malte Appel, Björn B. Brandenburg
Achal: building highly reliable networked control systems. EMSOFT Companion (2019)

2017