Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus
Silvano Dal Zilio, Bernard Berthomieu In TTCS 2015 — 1st IFIP International Conference on Topics in Theoretical Computer Science, aug 2015.
Verification
Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina
Silvano Dal Zilio, Bernard Berthomieu, Didier Le Botlan In WATERS 2015 — 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (FMTV verification challenge), jul 2015.
Symmetry reduced state classes for time petri nets
Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal Zilio, François Vernadat In SAC 2015 — 30th Annual ACM Symposium on Applied Computing, apr 2015.
Real-Time Model Checking Support for AADL
Silvano Dal Zilio, Bernard Berthomieu, François Vernadat, Mamoun Filali, Jean-Paul Bodeveix, Guillaume Verdier Research Report 15036, LAAS, mar 2015.
Time Petri Nets with Dynamic Firing Dates: Semantics and Applications
Lukasz Fronc, Silvano Dal Zilio, Bernard Berthomieu, François Vernadat In FORMATS 2014 — 12th International Conference on Formal Modeling and Analysis of Timed Systems, sep 2014.
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre
Lukasz Fronc, Silvano Dal Zilio, Bernard Berthomieu In ABZ 2014: The Landing Gear Case Study — Case Study Track, 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, jun 2014.
Time Petri nets with dynamic firing dates: semantics and applications
Lukasz Fronc, Silvano Dal Zilio, Bernard Berthomieu, François Vernadat Research Report 14148, LAAS, may 2014.
A formal framework to specify and verify real-time properties on critical systems
Nouha Abid, Silvano Dal Zilio, Didier Le Botlan International Journal of Critical Computer-Based Systems (IJCCBS) 5(1/2):4—30, mar 2014.
Towards Timed Requirement Verification for Service Choreographies
Silvano Dal Zilio, Nawal Guermouche In CollaborateCom 2012 — 8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, oct 2012.
An Experiment on Parallel Model Checking of a CTL Fragment
Rodrigo Tacla Saad, Silvano Dal Zilio, Bernard Berthomieu In ATVA 2012 — 10th International Symposium on Automated Technology for Verification and Analysis, oct 2012.