research
∙
08/06/2020
Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis
The proceedings consist of a keynote paper by Alberto followed by 6 invi...
share
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
∙
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
∙
04/11/2017
Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method
In this paper, we propose a symbolic control synthesis method for nonlin...
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