Documents > Publications

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 – ACM Distinguished Paper Award [source code]

Jan Procházka, Petr Novobilský, Dana Procházková
Segmentation of Train Control Systems
IRICon2020, 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