Documents > Publications

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

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

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