Nicolas Amat
Nicolas Amat
Home
Publications
Softwares
Open science
Talks
Teaching
Service
Distinctions
Experience
Contact
Light
Dark
Automatic
Talks
2023
Automated Proof of Polyhedral Abstraction for Petri Nets
Seminar: MTV at LaBRI
Oct 24, 2023
Bordeaux, FRANCE
What is polyhedral reduction? ...and how we use it to accelerate the verification of reachability problems for Petri nets.
Invited Talk at IMDEA Software Institute
Jun 20, 2023
Madrid, SPAIN
Computing Linear Inductive Invariants for Petri Nets using Property Directed Reachability
Invited Presentation: AFSEC 2023
Apr 11, 2023
Paris, FRANCE
Property Directed Reachability for Generalized Petri Nets
Presentation: Journées FAC 2023
Apr 5, 2023
Toulouse, FRANCE
2022
Computing Linear Inductive Invariants for Petri Nets using Property Directed Reachability
Presentation: GT VERIF 2022
Jul 12, 2022
Bordeaux, FRANCE
What is Polyhedral Reduction? ... and how we use it to accelerate the verification of reachability problems
Seminar: MTV at LaBRI
Jul 7, 2022
Bordeaux, FRANCE
2021
On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets
Presentation: Journées FAC 2021
Oct 15, 2021
Toulouse, FRANCE
Une approche polyédrique pour la vérification SMT de réseaux de Petri
Invited Presentation: AFSEC 2021
Jun 16, 2021
Virtual
Cite
×