Follow
Nicolas Amat
Title
Cited by
Cited by
Year
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
172021
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
92022
Property directed reachability for generalized petri nets
N Amat, SD Zilio, T Hujsa
International Conference on Tools and Algorithms for the Construction and …, 2022
92022
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
8
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
72021
SMPT: a testbed for reachability methods in generalized Petri Nets
N Amat, SD Zilio
International Symposium on Formal Methods, 445-453, 2023
52023
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
52023
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, ...
52021
A New Approach for the Symbolic Model Checking of Petri Nets
N Amat
Université Grenoble Alpes, 2020
32020
Automated polyhedral abstraction proving
N Amat, S Dal Zilio, D Le Botlan
International Conference on Applications and Theory of Petri Nets and …, 2023
22023
Kong: a Tool to Squash Concurrent Places
N Amat, L Chauvet
International Conference on Applications and Theory of Petri Nets and …, 2022
12022
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
2023
A polyhedral framework for reachability problems in Petri Nets
N Amat
Toulouse, INSA, 2023
2023
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
A QF-LIA Benchmark Suite from Polyhedral Reductions of Petri Nets
N Amat
Research report. LAAS-CNRS, 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
MCC 2023
N Amat, S Dal Zilio, T Hujsa
The system can't perform the operation now. Try again later.
Articles 1–18