research
∙
05/12/2023
Parameterized Verification of Disjunctive Timed Networks
We introduce new techniques for the parameterized verification of disjun...
share
research
∙
12/09/2022
Efficient Convex Zone Merging in Parametric Timed Automata
Parametric timed automata are a powerful formalism for reasoning on conc...
research
∙
11/25/2022
strategFTO: Untimed control for timed opacity
We introduce a prototype tool strategFTO addressing the verification of ...
research
∙
06/11/2022
Guaranteeing Timed Opacity using Parametric Timed Model Checking
Information leakage can have dramatic consequences on systems security. ...
research
∙
06/07/2022
Timed automata as a formalism for expressing security: A survey on theory and practice
Timed automata are a common formalism for the verification of concurrent...
research
∙
04/25/2022
Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems
Monitoring the correctness of distributed cyber-physical systems is esse...
research
∙
03/24/2022
Exemplifying parametric timed specifications over signals with bounded behavior
Specifying properties can be challenging work. In this paper, we propose...
research
∙
03/24/2022
Zone extrapolations in parametric timed automata
Timed automata (TAs) are an efficient formalism to model and verify syst...
research
∙
06/18/2021
A Benchmarks Library for Extended Parametric Timed Automata
Parametric timed automata are a powerful formalism for reasoning on conc...
research
∙
02/15/2021
Model-bounded monitoring of hybrid systems
Monitoring of hybrid systems attracts both scientific and practical atte...
research
∙
10/19/2020
Parametric non-interference in timed automata
We consider a notion of non-interference for timed automata (TAs) that a...
research
∙
04/20/2020
Reachability and liveness in parametric timed automata
We study timed systems in which some timing features are unknown paramet...
research
∙
03/18/2020
Automated synthesis of local time requirement for service composition
Service composition aims at achieving a business goal by composing exist...
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/29/2019
Time4sys2imi: A tool to formalize real-time system models under uncertainty
Time4sys is a formalism developed by Thales, realizing a graphical speci...
research
∙
07/03/2019
What's decidable about parametric timed automata?
Parametric timed automata (PTAs) are a powerful formalism to reason, sim...
research
∙
07/01/2019
Parametric Verification: An Introduction
This paper constitutes a short introduction to parametric verification o...
research
∙
07/01/2019
Parametric Timed Model Checking for Guaranteeing Timed Opacity
Information leakage can have dramatic consequences on systems security. ...
research
∙
06/27/2019
Repairing Timed Automata Clock Guards through Abstraction and Testing
Timed automata (TAs) are a widely used formalism to specify systems havi...
research
∙
05/23/2019
Formalizing Time4sys using parametric timed automata
Critical real-time systems must be verified to avoid the risk of dramati...
research
∙
03/18/2019
Parametric schedulability analysis of a launcher flight control system under reactivity constraints
The next generation of space systems will have to achieve more and more ...
research
∙
02/12/2019
Parametric analyses of attack-fault trees
Risk assessment of cyber-physical systems, such as power plants, connect...
research
∙
02/08/2019
Minimal-Time Synthesis for Parametric Timed Automata
Parametric timed automata (PTA) extend timed automata by allowing parame...
research
∙
12/21/2018
Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking
The election of a leader in a network is a challenging task, especially ...
research
∙
12/21/2018
Offline timed pattern matching under uncertainty
Given a log and a specification, timed pattern matching aims at exhibiti...
research
∙
11/30/2018
Parametric Timed Broadcast Protocols
In this paper we consider state reachability in networks composed of man...
research
∙
07/18/2018
Language Preservation Problems in Parametric Timed Automata
Parametric timed automata (PTA) are a powerful formalism to model and re...
research
∙
04/01/2014
Toward Parametric Timed Interfaces for Real-Time Components
We propose here a framework to model real-time components consisting of ...
research
∙
02/06/2013
