Silvano DAL ZILIO
Silvano DAL ZILIO
Home
Publications
Projects
Courses
Posts
Software
Contact
Light
Dark
Automatic
Verification
Symmetry reduced state classes for time petri nets
We propose a method to exploit the symmetries of a realtime system represented by a Time Petri net for its verification by …
Pierre-Alain Bourdil
,
Bernard Berthomieu
,
Silvano Dal Zilio
,
François Vernadat
PDF
Cite
Project
DOI
Real-Time Model Checking Support for AADL
We describe a model-checking toolchain for the behavioral verification of AADL models that takes into account the realtime semantics of …
Silvano Dal Zilio
,
Bernard Berthomieu
,
François Vernadat
,
Mamoun Filali
,
Jean-Paul Bodeveix
,
Guillaume Verdier
PDF
Cite
Project
Time Petri Nets with Dynamic Firing Dates: Semantics and Applications
We define an extension of time Petri nets such that the time at which a transition can fire, also called its firing date, may be …
Lukasz Fronc
,
Silvano Dal Zilio
,
Bernard Berthomieu
,
François Vernadat
PDF
Cite
Project
DOI
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre
We describe our experience with modeling the landing gear system of an aircraft using the formal specification language Fiacre. Our …
Lukasz Fronc
,
Silvano Dal Zilio
,
Bernard Berthomieu
PDF
Cite
Project
Time Petri nets with dynamic firing dates: semantics and applications
We define an extension of time Petri nets such that the time at which a transition can fire, also called its firing date, may be …
Lukasz Fronc
,
Silvano Dal Zilio
,
Bernard Berthomieu
,
François Vernadat
PDF
Cite
Project
A formal framework to specify and verify real-time properties on critical systems
We propose a verified approach to the formal verification of timed properties using model-checking techniques. We focus on properties …
Nouha Abid
,
Silvano Dal Zilio
,
Didier Le Botlan
Cite
Project
DOI
An Experiment on Parallel Model Checking of a CTL Fragment
We propose a parallel algorithm for local, on the fly, model checking of a fragment of CTL that is well-suited for modern, multi-core …
Rodrigo Tacla Saad
,
Silvano Dal Zilio
,
Bernard Berthomieu
PDF
Cite
Project
Towards Timed Requirement Verification for Service Choreographies
In this paper, we propose an approach for analyzing and validating a composition of services with respect to real time properties. We …
Silvano Dal Zilio
,
Nawal Guermouche
PDF
Cite
Project
A Verified Approach for Checking Real-Time Specification Patterns
We propose a verified approach to the formal verification of timed properties using model-checking techniques. We focus on properties …
Nouha Abid
,
Silvano Dal Zilio
,
Didier Le Botlan
PDF
Cite
Project
Real-Time Specification Patterns and Tools
An issue limiting the adoption of model checking technologies by the industry is the ability, for non-experts, to express their …
Nouha Abid
,
Silvano Dal Zilio
,
Didier Le Botlan
PDF
Cite
Project
DOI
«
»
Cite
×