Nicolas Amat

According to our database, Nicolas Amat authored at least 12 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability.

Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2023

Leveraging polyhedral reductions for solving Petri net reachability problems.

Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan

Int. J. Softw. Tools Technol. Transf., February, 2023

A Polyhedral Framework for Reachability Problems in Petri Nets. (Un cadre polyédrique pour les problèmes d'accessibilité dans les réseaux de Petr).

Nicolas Amat

PhD thesis, 2023

A polyhedral framework for reachability problems in Petri Nets. (Un cadre polyédrique pour les problèmes d'accessibilité dans les réseaux de Petri).

Nicolas Amat

PhD thesis, 2023

A Toolchain to Compute Concurrent Places of Petri Nets.

Nicolas Amat, Pierre Bouvier, Hubert Garavel

Trans. Petri Nets Other Model. Concurr., 2023

SMPT: A Testbed for Reachability Methods in Generalized Petri Nets.

Nicolas Amat, Silvano Dal-Zilio

Proceedings of the Formal Methods - 25th International Symposium, 2023

Automated Polyhedral Abstraction Proving.

Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022

A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking.

Nicolas Amat, Bernard Berthomieu, Silvano Dal-Zilio

Fundam. Informaticae, 2022

Property Directed Reachability for Generalized Petri Nets.

Nicolas Amat, Silvano Dal-Zilio, Thomas Hujsa

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Kong: A Tool to Squash Concurrent Places.

Nicolas Amat, Louis Chauvet

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022

2021

Accelerating the Computation of Dead and Concurrent Places Using Reductions.

Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan

Proceedings of the Model Checking Software - 27th International Symposium, 2021

On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets.

Nicolas Amat, Bernard Berthomieu, Silvano Dal-Zilio

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021