Nils Vreman, Martina Maggio
Stochastic Analysis of Control Systems Subject to Communication and Computation Faults
International Conference on Embedded Software (EMSOFT 2023), published in ACM Transactions on Embedded Computing Systems

Aleksandar Matovic, Rafal Graczyk, Federico Lucchetti, Marcus Völp
Consensual Resilient Control: Stateless Recovery of Stateful Controllers
35^th Euromicro Conference on Real-Time Systems (ECRTS 2023), July 2023

Martin Gunnarsson, Nils Vreman, Martina Maggio
Trusted Execution of Periodic Tasks for Embedded Systems
IFAC World Congress 2023, July 2023 [video of experiments]

Dolly Sapra, Andy D. Pimentel
Exploring Multi-core Systems with Lifetime Reliability and Power Consumption Trade-offs
International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS XXIII), July 2023

Enrico Bini, Paolo Pazzaglia, Martina Maggio
Zero-Jitter Chains of Periodic LET Tasks via Algebraic Rings
IEEE Transactions on Computers [doi], June 2023

Filipe Rodrigues, Rodrigo Simões, Nuno Neves
FADO: A Federated Learning Attack and Defense Orchestrator
6^th Workshop on Dependable and Secure Machine Learning (DSML 2023), June 2023

A. Pimentel, C. Grelck, L. Miedema, D. Sapra, M. Völp, F. Lucchetti, A. Matovic, M. Maggio, N. Vreman, S. Altmeyer, F. Haas, A. Casimiro, J. Cecílio, G. Jäger, A. Espindola, S. Skalistis, J. Kouwer, G. de Lange, J. Almeida, H. Blasum, M. Brotz, S. Wagner, P. Novobílský
The ADMORPH approach for Adaptively Morphing Embedded Systems
Workshop on Challenges and New Approaches for Dependable and Cyber-Physical System Engineering (DeCPS 2023), June 2023

Federico Lucchetti
Achieving Crash Fault Tolerance In Autonomous Vehicle Autopilot Software Stacks Through Safety-Critical Module Rejuvenation
27^th Ada-Europe International Conference on Reliable Software Technologies (AEiC’23) – Work-in-Progress Track, June 2023. Also in Ada User Journal 44(2):137-140, June 2023.

Gonçalo Costa, José Cecílio, António Casimiro
Cooperative Autonomous Driving in Simulation
27^th Ada-Europe International Conference on Reliable Software Technologies (AEiC’23) – Work-in-Progress Track, June 2023. Also in Ada User Journal, 44(2):133-136, June 2023.

José Ferreira, Alan Oliveira, André Souto, José Cecílio
Software-based security approach for networked embedded devices
27^th Ada-Europe International Conference on Reliable Software Technologies (AEiC’23) – Work-in-Progress Track, June 2023. Also in Ada User Journal 44(2):129-132, June 2023.

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

Jan Prochazka, Petr Novobilsky, Dana Prochazkova, Svatoslav Valoušek
Cybersecurity Design for Railway Products
Proceedings of the 32nd European Safety and Reliability Conference (ESREL 2022), August 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]

Nils Vreman, Claudio Mandrioli, and Anton Cervin
Deadline-Miss-Adaptive Controller Implementation for Real-Time Control
Systems
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2022), May 2022

B. Rouxel, S. Altmeyer, C. Grelck
YASMIN: a Real-time Middleware for COTS Heterogeneous Platforms
22^nd 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
14^th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC 2021), December 2021

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
31^st European Safety and Reliability Conference (ESREL2021), Angers, France, September 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), July 2021 [source code FSE] [additional source code]

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
14^th 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
13^th 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