Publications

Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan. On the Complexity of Proving Polyhedral Reductions. To appear in Fundamenta Informaticae (FI), 2024.

Project

Nicolas Amat, Elvio Gilberto Amparore, Bernard Berthomieu, Pierre Bouvier, Silvano Dal Zilio, Peter Gjøl Jensen, Loig Jezequel, Fabrice Kordon, Shuo Li, Emmanuel Paviot-Adet, Jiri Srba, Yann Thierry-Mieg, Karsten Wolf. Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023. To appear in TOOLympics 2023, Part III of the Proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2024.

Project

Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan. Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability. VMCAI, 2024.

PDF Project Slides DOI

Nicolas Amat. PhD Thesis: A polyhedral Framework for Reachability Problems in Petri Nets. INSA Toulouse, 2023.

PDF Slides

Nicolas Amat, Pierre Bouvier, Hubert Garavel. A Toolchain to Compute Concurrent Places of Petri Nets. ToPNoC, 2023.

PDF Project DOI

Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan. Automated Polyhedral Abstraction Proving. Petri Nets, 2023.

PDF Project Slides DOI

Nicolas Amat, Silvano Dal Zilio. SMPT: A Testbed for Reachability Methods in Generalized Petri Nets. FM, 2023.

PDF Project Slides DOI

Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan. Leveraging polyhedral reductions for solving Petri net reachability problems. STTT, 2022.

PDF Project DOI

Nicolas Amat, Bernard Berthomieu, Silvano Dal Zilio. A Polyhedral Abstraction for Petri nets and its Application to SMT-Based Model Checking. FI, 2022.

PDF Project DOI

Nicolas Amat, Louis Chauvet. Kong: a Tool to Squash Concurrent Places. Petri Nets, 2022.

PDF Project Slides DOI

Nicolas Amat, Silvano Dal Zilio, Thomas Hujsa. Property Directed Reachability for Generalized Petri Nets. TACAS, 2022.

PDF Project Slides DOI

Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan. Accelerating the Computation of Dead and Concurrent Places Using Reductions. SPIN, 2021.

PDF Project Slides DOI

Nicolas Amat, Bernard Berthomieu, Silvano Dal Zilio. On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets. Petri Nets, 2021.

PDF Project Slides Video DOI

Nicolas Amat. Master thesis: A New Approach for the Symbolic Model Checking of Petri nets. University of Grenoble Alpes, 2020.

PDF Slides