Verification
Formal Verification of User-Level Real-Time Property Patterns
Verification
Time Petri Nets
Patterns
Ning Ge, Marc Pantel, Silvano Dal Zilio
In TASE 2017 — 11th International Symposium on Theoretical Aspects of Software Engineering, sep 2017.
In TASE 2017 — 11th International Symposium on Theoretical Aspects of Software Engineering, sep 2017.
A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica
Verification
Fiacre
Safety
Alexandre Albore, Silvano Dal Zilio, Guillaume Infantes, Christel Seguin, Pierre Virelizier
In IMBSA 2017 — 18th International Conference on Formal Engineering Methods, sep 2017.
In IMBSA 2017 — 18th International Conference on Formal Engineering Methods, sep 2017.
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots
Verification
Fiacre
Robotics
Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Félix Ingrand, Anthony Mallet
In ICFEM 2016 — 18th International Conference on Formal Engineering Methods, nov 2016.
In ICFEM 2016 — 18th International Conference on Formal Engineering Methods, nov 2016.
Solving Language Equations Using Flanked Automata
Verification
Automata
Silvano Dal Zilio, Florent Avellaneda, Jean-Baptiste Raclet
In ATVA 2016 — 14th International Symposium on Automated Technology for Verification and Analysis, oct 2016.
In ATVA 2016 — 14th International Symposium on Automated Technology for Verification and Analysis, oct 2016.
Building Confidence on Formal Verification Models
Verification
Safety
Silvano Dal Zilio, Pierre-Alain Bourdil, Éric Jenn
In SAFECOMP 2016 — Fast Abstracts at International Conference on Computer Safety, Reliability, and Security, sep 2016.
In SAFECOMP 2016 — Fast Abstracts at International Conference on Computer Safety, Reliability, and Security, sep 2016.
Symmetry reduction for time Petri net state classes
Verification
Time Petri Nets
Tina
Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal Zilio, François Vernadat
Science of Computer Programming 132(2):209—225, aug 2016.
Science of Computer Programming 132(2):209—225, aug 2016.
Integrating Model Checking in an Industrial Verification Process: a Structuring Approach
Verification
Safety
Silvano Dal Zilio, Pierre-Alain Bourdil, Éric Jenn
Research Report 16115, LAAS, jul 2016.
Research Report 16115, LAAS, jul 2016.
Outillage pour la modélisation, la vérification et la génération d'applications temporisées et embarquées
Verification
Architecture Languages
Fiacre
Pierre-Emmanuel Hladik, Silvano Dal Zilio, Olivier Pasquier, Sébastien Pillement, Bernard Berthomieu
In AFADL 2016 — 15èmes journées Approches Formelles dans l’Assistance au Développement de Logiciels, jun 2016.
In AFADL 2016 — 15èmes journées Approches Formelles dans l’Assistance au Développement de Logiciels, jun 2016.
On the Complexity of Flanked Finite State Automata
Verification
Automata
Silvano Dal Zilio, Jean-Baptiste Raclet, Florent Avellaneda
Research Report 15357, LAAS, oct 2015.
Research Report 15357, LAAS, oct 2015.
Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus
Verification
Time Petri Nets
Tina
Patterns
Silvano Dal Zilio, Bernard Berthomieu
In TTCS 2015 — 1st IFIP International Conference on Topics in Theoretical Computer Science, aug 2015.
In TTCS 2015 — 1st IFIP International Conference on Topics in Theoretical Computer Science, aug 2015.