You can find most of the publications on my HAL account , or tracked by DBLP .
Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023
Verification
Petri
Contest
Tina
Nicolas Amat, Elvio Amparore, Bernard Berthomieu, Pierre Bouvier, Silvano Dal Zilio, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Shuo Li, Emmanuel Paviot-Adet, Laure Petrucci, Jiří Srba, Yann Thierry-Mieg, Karsten Wolf
In TOOLympics Challenge 2023 — Updates, Results, Successes of the Formal-Methods Competitions, nov 2024.
In TOOLympics Challenge 2023 — Updates, Results, Successes of the Formal-Methods Competitions, nov 2024.
On the Complexity of Proving Polyhedral Reductions
Verification
Petri
Reductions
Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan
Fundamenta Informaticae 192(3-4), sep 2024.
Fundamenta Informaticae 192(3-4), sep 2024.
Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability
Verification
Petri
Tools
Reductions
Octant
Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan
In VMCAI 2024 — Verification, Model Checking, and Abstract Interpretation, jan 2024.
In VMCAI 2024 — Verification, Model Checking, and Abstract Interpretation, jan 2024.
Leveraging polyhedral reductions for solving Petri net reachability problems
Verification
Petri
Reductions
Tools
Kong
Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan
International Journal on Software Tools for Technology Transfer 25, dec 2023.
International Journal on Software Tools for Technology Transfer 25, dec 2023.
Polyhedral Reductions for Petri nets (Poster)
Verification
Petri
Reductions
Nicolas Amat, Bernard Berthomieu, Silvano Dal Zilio, Didier Le Botlan
In MSR 2023 — Modélisation des Systèmes Réactifs, nov 2023.
In MSR 2023 — Modélisation des Systèmes Réactifs, nov 2023.
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)
Verification
Time Petri Nets
Use Case
Tina
Fiacre
Sebastian Altmeyer, Étienne André, Silvano Dal Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio Medina, Nicolas Navet, Sophie Quinton, Juan Rivas, Youcheng Sun
Dagstuhl Artifacts Series (DARTS) 9(1), jul 2023.
Dagstuhl Artifacts Series (DARTS) 9(1), jul 2023.
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper)
Verification
Time Petri Nets
Use Case
Fiacre
Tina
Sebastian Altmeyer, Étienne André, Silvano Dal Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio Medina, Nicolas Navet, Sophie Quinton, Juan Rivas, Youcheng Sun
In ECRTS 2023 — 35th Euromicro Conference on Real-Time Systems, jul 2023.
In ECRTS 2023 — 35th Euromicro Conference on Real-Time Systems, jul 2023.
Automated Polyhedral Abstraction Proving
Verification
Petri
Tools
Reductron
Reductions
Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan
In Petri nets 2023 — 44th International Conference on Application and Theory of Petri Nets and Concurrency, jun 2023.
In Petri nets 2023 — 44th International Conference on Application and Theory of Petri Nets and Concurrency, jun 2023.
SMPT: A Testbed for Reachability Methods in Generalized Petri Nets
Verification
Petri
Tools
SMPT
Reductions
Nicolas Amat, Silvano Dal Zilio
In FM 2023 — 25th International Symposium on Formal Methods, mar 2023.
In FM 2023 — 25th International Symposium on Formal Methods, mar 2023.
A formal toolchain for offline and run-time verification of robotic systems
Verification
Robotics
Fiacre
Hippo
Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Mallet Anthony
Robotics and Autonomous Systems 159, jan 2023.
Robotics and Autonomous Systems 159, jan 2023.