Documents > Publications

Brindha J. Josephrexon and Martina Maggio
Experimenting with networked control software subject to faults
Conference on Decision and Control (CDC 2022), December 2022

Paolo Pazzaglia and Martina Maggio
Characterizing the Effect of Deadline Misses on Time-Triggered Task Chains
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Volume: 41, Issue: 11, November 2022. Also at Embedded Systems Week EMSOFT (EMSOFT 2022), October 2022 [Presentation video]

Lukas Miedema, Clemens Grelck
Strategy Switching: Smart Fault-Tolerance for Weakly-Hard Resource-Constrained Real-Time Applications
International Conference on Software Engineering and Formal Methods (SEFM 2022), September 2022

Nils Vreman, Paolo Pazzaglia, Victor Magron, Jie Wang and Martina Maggio
Stability of Linear Systems Under Extended Weakly-Hard Constraints
IEEE Control Systems Letters (CSL 2022), vol. 6, pp. 2900-2905, June 2022; and Conference on Decision and Control (CDC 2022), December 2022

Nils Vreman, Richard Pates, and Martina Maggio
WeaklyHard.jl: Scalable Analysis of Weakly-Hard Constraints
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2022), May 2022 [source code]

B. Rouxel, S. Altmeyer, C. Grelck
YASMIN: a Real-time Middleware for COTS Heterogeneous Platforms
22nd ACM/IFIP International Middleware Conference (MIDDLEWARE 2021), December 2021

L. Miedema, B. Rouxel, C. Grelck
Task-level Redundancy vs Instruction-level Redundancy against Single Event Upsets in Real-time DAG Scheduling
14th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC 2021), December 2021

Claudio Mandrioli, Martina Maggio
Testing Self-Adaptive Software with Probabilistic Guarantees on Performance Metrics: Extended and Comparative Results
IEEE Transactions on Software Engineering (TSE 2021, extends FSE 2020 paper), January 2021 [source code FSE] [additional source code]

Sobhan Niknam, Anuj Pathania, Andy Pimentel
T-TSP: Transient-Temperature Based Safe Power Budgeting in Multi-/Many-Core Processors
2021 IEEE International Conference on Computer Design (ICCD-2021), October 2021. Held on-line due to the COVID-19 pandemics

Jan Procházka, Petr Novobilský, Dana Procházková
Mobile Cyber Gateway Security Control
31st European Safety and Reliability Conference (ESREL2021), Angers, France, September 2021.

Nils Vreman, Anton Cervin, Martina Maggio
Stability and Performance Analysis of Control Systems Subject to Bursts of Deadline Misses
Euromicro Conference on Real-Time Systems (ECRTS 2021), July 2021
Nominated Outstanding Paper & Received the Best Paper Award [link]

Jie Wang, Martina Maggio and Victor Magron
SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions
2021 American Control Conference (ACC 2021), pp.2254-2259, May 2021. Held on-line due to the COVID-19 pandemics

Lukas Miedema, Benjamin Rouxel, Clemens Grelck
Modeling Single Event Upsets in UPPAAL SMC for Real-time DAG Scheduling
14th Junior Research Workshop on Real-Time Computing (JRWRTC 2021), April 2021

Paolo Pazzaglia, Arne Hamann, Dirk Ziegenbein, Martina Maggio
Adaptive Design of Real-Time Control Systems subject to Sporadic Overruns
Design, Automation and Test in Europe Conference (DATE 2021), February 2021
Best Paper Award in the Embedded and Cyber-Physical Systems Track

Kristin Krüger, Nils Vreman, Richard Pates, Martina Maggio, Marcus Völp, and Gerhard Fohler
Randomization as Mitigation of Directed Timing Inference Based Attacks on Time-Triggered Real-Time Systems with Task Replication
Leibniz Transactions on Embedded Systems (accepted: January 2021)

Don Kuzhiyelil, Philipp Zeiris, Marine Kader, Sergey Tverdyshev, Gerhard Fohler
Towards Transparent Control-Flow Integrity in Safety-Critical Systems
23rd Information Security Conference (ISC 2020), December 2020

Claudio Mandrioli, Martina Maggio
Testing Self-Adaptive Software with Probabilistic Guarantees on Performance Metrics
ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020), November 2020 [source code] ACM SIGSOFT Distinguished Paper Award

Wouter Loeve, Clemens Grelck
Towards facilitating resilience in cyber-physical systems using coordination languages
13th Seminar Series on Advanced Techniques & Tools for Software Evolution (SATToSE 2020), July 1-2, 2020 (due to COVID-19: virtual event)

Jan Procházka, Petr Novobilský, Dana Procházková
Segmentation of Train Control Systems
RRTD2020, November 2020

Jan Procházka, Petr Novobilský, Dana Procházková
Certification Cycles of Train Cyber Gateway
ESREL2020 and PSAM15, November 2020

Jan Procházka, Petr Novobilský, Dana Procházková
Standardization of communication security train-control centre
CRISCON2020, September 2020

Martina Maggio, Arne Hamann, Eckart Mayer-John, Dirk Ziegenbein
Control System Stability under Consecutive Deadline Misses Constraints
Euromicro Conference on Real-Time Systems (ECRTS 2020), July 2020