research
∙
06/11/2022
Guaranteeing Timed Opacity using Parametric Timed Model Checking
Information leakage can have dramatic consequences on systems security. ...
share
research
∙
04/20/2020
Reachability and liveness in parametric timed automata
We study timed systems in which some timing features are unknown paramet...
research
∙
08/19/2019
On the expressive power of invariants in parametric timed automata
The verification of systems combining hard timing constraints with concu...
research
∙
07/01/2019
Parametric Verification: An Introduction
This paper constitutes a short introduction to parametric verification o...
research
∙
02/12/2019
Parametric analyses of attack-fault trees
Risk assessment of cyber-physical systems, such as power plants, connect...
research
∙
11/30/2018
Parametric Timed Broadcast Protocols
In this paper we consider state reachability in networks composed of man...
research
∙
07/18/2018