Nicolas Amat
Orcid: 0000-0002-5969-7346
According to our database1,
Nicolas Amat
authored at least 12 papers
between 2021 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024
2023
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).
PhD thesis, 2023
Trans. Petri Nets Other Model. Concurr., 2023
Proceedings of the Formal Methods - 25th International Symposium, 2023
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.
Fundam. Informaticae, 2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022
2021
Proceedings of the Model Checking Software - 27th International Symposium, 2021
On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021