
A Benchmarks Library for Extended Parametric Timed Automata
Parametric timed automata are a powerful formalism for reasoning on conc...
read it

Modelbounded monitoring of hybrid systems
Monitoring of hybrid systems attracts both scientific and practical atte...
read it

Parametric noninterference in timed automata
We consider a notion of noninterference for timed automata (TAs) that a...
read it

Reachability and liveness in parametric timed automata
We study timed systems in which some timing features are unknown paramet...
read it

Automated synthesis of local time requirement for service composition
Service composition aims at achieving a business goal by composing exist...
read it

On the expressive power of invariants in parametric timed automata
The verification of systems combining hard timing constraints with concu...
read it

Time4sys2imi: A tool to formalize realtime system models under uncertainty
Time4sys is a formalism developed by Thales, realizing a graphical speci...
read it

What's decidable about parametric timed automata?
Parametric timed automata (PTAs) are a powerful formalism to reason, sim...
read it

Parametric Verification: An Introduction
This paper constitutes a short introduction to parametric verification o...
read it

Parametric Timed Model Checking for Guaranteeing Timed Opacity
Information leakage can have dramatic consequences on systems security. ...
read it

Repairing Timed Automata Clock Guards through Abstraction and Testing
Timed automata (TAs) are a widely used formalism to specify systems havi...
read it

Formalizing Time4sys using parametric timed automata
Critical realtime systems must be verified to avoid the risk of dramati...
read it

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 ...
read it

Parametric analyses of attackfault trees
Risk assessment of cyberphysical systems, such as power plants, connect...
read it

MinimalTime Synthesis for Parametric Timed Automata
Parametric timed automata (PTA) extend timed automata by allowing parame...
read it

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 ...
read it

Offline timed pattern matching under uncertainty
Given a log and a specification, timed pattern matching aims at exhibiti...
read it

Parametric Timed Broadcast Protocols
In this paper we consider state reachability in networks composed of man...
read it

Language Preservation Problems in Parametric Timed Automata
Parametric timed automata (PTA) are a powerful formalism to model and re...
read it

Toward Parametric Timed Interfaces for RealTime Components
We propose here a framework to model realtime components consisting of ...
read it

Parametric Schedulability Analysis of Fixed Priority RealTime Distributed Systems
Parametric analysis is a powerful tool for designing modern embedded sys...
read it
Étienne André
is this you? claim profile