| On the combination of polyhedral abstraction and SMT-based model checking for Petri nets N Amat, B Berthomieu, S Dal Zilio International Conference on Applications and Theory of Petri Nets and …, 2021 | 19 | 2021 |
| A polyhedral abstraction for Petri nets and its application to SMT-based model checking N Amat, B Berthomieu, S Dal Zilio Fundamenta Informaticae 187, 2022 | 13 | 2022 |
| Property directed reachability for generalized Petri nets N Amat, SD Zilio, T Hujsa International Conference on Tools and Algorithms for the Construction and …, 2022 | 13 | 2022 |
| Complete Results for the 2020 Edition of the Model Checking Contest; 2021 F Kordon, P Bouvier, H Garavel, LM Hillah, F Hulin-Hubard, N Amat | 11 | |
| SMPT: a testbed for reachability methods in generalized Petri Nets N Amat, SD Zilio International Symposium on Formal Methods, 445-453, 2023 | 9 | 2023 |
| Leveraging polyhedral reductions for solving Petri net reachability problems N Amat, S Dal Zilio, D Le Botlan International Journal on Software Tools for Technology Transfer 25 (1), 95-114, 2023 | 8 | 2023 |
| Accelerating the computation of dead and concurrent places using reductions N Amat, S Dal Zilio, D Le Botlan International Symposium on Model Checking Software, 45-62, 2021 | 8 | 2021 |
| Automated polyhedral abstraction proving N Amat, S Dal Zilio, D Le Botlan International Conference on Applications and Theory of Petri Nets and …, 2023 | 5 | 2023 |
| Thierry-Mieg, A. Walner, and K. Wolf. Complete results for the 2021 edition of the Model Checking Contest F Kordon, P Bouvier, H Garavel, LM Hillah, F Hulin-Hubard, N Amat, ... | 5 | 2021 |
| Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability N Amat, S Dal Zilio, D Le Botlan International Conference on Verification, Model Checking, and Abstract …, 2023 | 3 | 2023 |
| Kong: a Tool to Squash Concurrent Places N Amat, L Chauvet International Conference on Applications and Theory of Petri Nets and …, 2022 | 3 | 2022 |
| A New Approach for the Symbolic Model Checking of Petri Nets N Amat Université Grenoble Alpes, 2020 | 3 | 2020 |
| SMPT: The Satisfiability Modulo Petri Nets Model Checker N Amat An SMT-based model checker for Petri nets focused on reachability problems …, 2020 | 3 | 2020 |
| A polyhedral framework for reachability problems in Petri Nets N Amat INSA de Toulouse, 2023 | 1 | 2023 |
| A QF-LIA Benchmark Suite from Polyhedral Reductions of Petri Nets N Amat Research report. LAAS-CNRS, 2023 | 1 | 2023 |
| On the Complexity of Proving Polyhedral Reductions N Amat, S Dal Zilio, D Le Botlan Fundamenta Informaticae 192, 2024 | | 2024 |
| Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023 N Amat, E Amparore, B Berthomieu, P Bouvier, SD Zilio, F Hulin-Hubard, ... International TOOLympics Challenge, 52-89, 2024 | | 2024 |
| A Toolchain to Compute Concurrent Places of Petri Nets N Amat, P Bouvier, H Garavel Transactions on Petri Nets and Other Models of Concurrency XVII, 1-26, 2023 | | 2023 |
| Polyhedral Reductions for Petri nets N Amat, B Berthomieu, S Dal Zilio, D Le Botlan Modélisation des Systèmes Réactifs (MSR'23), 2023 | | 2023 |
| Formalisation de la logique de séparation à l’aide de l’assistant de preuve Isabelle N Amat | | 2019 |
Silvano Dal ZilioResearcher, LAAS-CNRSEmail yang diverifikasi di laas.fr