Nicolas Amat

According to our database, Nicolas Amat authored at least 15 papers between 2021 and 2026.

Collaborative distances:

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

2026

Deciding Serializability in Network Systems.

Guy Amir, Mark Barbone, Nicolas Amat, Jules Jacobs

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

2025

How Big is the Automaton? Certified Lower Bounds on the Size of Presburger DFAs.

Nicolas Amat, Pierre Ganty, Alessio Mansutti

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

2024

On the Complexity of Proving Polyhedral Reductions.

Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan

Fundam. Informaticae, 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 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

Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023.

Nicolas Amat, Elvio G. Amparore, Bernard Berthomieu, Pierre Bouvier, Silvano Dal-Zilio, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Shuo Li, Emmanuel Paviot-Adet, Laure Petrucci, Jirí Srba, Yann Thierry-Mieg, Karsten Wolf

Proceedings of the TOOLympics Challenge 2023, 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