research
∙
02/09/2023
Timed I/O Automata: It is never too late to complete your timed specification theory
A specification theory combines notions of specifications and implementa...
share
research
∙
03/11/2020
Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems
Different scheduling algorithms for mixed criticality systems have been ...
research
∙
09/10/2018
Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar
Model checking of real-time systems has evolved throughout the years. Re...
research
∙
06/26/2018
A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems
This work presents a compositional approach for schedulability analysis ...
research
∙
03/27/2018