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
52021
Accelerating the Computation of Dead and Concurrent Places using Reductions
N Amat, S Dal Zilio, DL Botlan
International Symposium on Model Checking Software, 45-62, 2021
32021
A New Approach for the Symbolic Model Checking of Petri Nets
N Amat
UniversitÚ Grenoble Alpes, 2020
32020
Property directed reachability for generalized petri nets
N Amat, SD Zilio, T Hujsa
International Conference on Tools and Algorithms for the Construction andá…, 2022
22022
Kong: a Tool to Squash Concurrent Places
N Amat, L Chauvet
International Conference on Applications and Theory of Petri Nets andá…, 2022
2022
A Polyhedral Abstraction for Petri nets and its Application to SMT-Based Model Checking
N Amat, S Dal Zilio, B Berthomieu
2021
Formalisation de la logique de sÚparation Ó l’aide de l’assistant de preuve Isabelle
N Amat
2019
The system can't perform the operation now. Try again later.
Articles 1–7