https://nicolasAmat.github.io/publication-type/2/ 2024-04-16T00:00:00+00:00 https://nicolasAmat.github.io/tag/abstraction-techniques/ 2024-04-16T00:00:00+00:00 https://nicolasAmat.github.io/tag/automated-reasoning/ 2024-04-16T00:00:00+00:00 https://nicolasAmat.github.io/ 2024-04-16T00:00:00+00:00 https://nicolasAmat.github.io/publication/fi_2024/ 2024-04-16T00:00:00+00:00 https://nicolasAmat.github.io/tag/petri-nets/ 2024-04-16T00:00:00+00:00 https://nicolasAmat.github.io/publication_types/ 2024-04-16T00:00:00+00:00 https://nicolasAmat.github.io/publication/ 2024-04-16T00:00:00+00:00 https://nicolasAmat.github.io/tag/reachability-problems/ 2024-04-16T00:00:00+00:00 https://nicolasAmat.github.io/tags/ 2024-04-16T00:00:00+00:00 https://nicolasAmat.github.io/publication/toolympics/ 2024-04-15T00:00:00+00:00 https://nicolasAmat.github.io/tag/model-checking-contest/ 2024-04-15T00:00:00+00:00 https://nicolasAmat.github.io/publication-type/1/ 2024-01-15T00:00:00+00:00 https://nicolasAmat.github.io/publication/vmcai_2024/ 2024-01-15T00:00:00+00:00 https://nicolasAmat.github.io/tag/quantifier-elimination/ 2024-01-15T00:00:00+00:00 https://nicolasAmat.github.io/publication-type/7/ 2023-12-04T00:00:00+00:00 https://nicolasAmat.github.io/tag/model-checking/ 2023-12-04T00:00:00+00:00 https://nicolasAmat.github.io/publication/amat_phd_thesis/ 2023-12-04T00:00:00+00:00 https://nicolasAmat.github.io/project/ 2023-12-04T00:00:00+00:00 https://nicolasAmat.github.io/project/smpt/ 2023-12-04T00:00:00+00:00 https://nicolasAmat.github.io/project/octant/ 2023-12-03T00:00:00+00:00 https://nicolasAmat.github.io/project/kong/ 2023-12-02T00:00:00+00:00 https://nicolasAmat.github.io/project/reductron/ 2023-12-01T00:00:00+00:00 https://nicolasAmat.github.io/talk/m2f_seminar_2023/ 2023-10-24T00:00:00+00:00 https://nicolasAmat.github.io/talk/ 2023-10-24T00:00:00+00:00 https://nicolasAmat.github.io/publication/topnoc/ 2023-09-01T00:00:00+00:00 https://nicolasAmat.github.io/tag/concurrency-theory/ 2023-09-01T00:00:00+00:00 https://nicolasAmat.github.io/tag/nested-unit-petri-nets/ 2023-09-01T00:00:00+00:00 https://nicolasAmat.github.io/tag/state-space-exploration/ 2023-09-01T00:00:00+00:00 https://nicolasAmat.github.io/tag/structural-reductions/ 2023-09-01T00:00:00+00:00 https://nicolasAmat.github.io/talk/imdea_2023/ 2023-06-20T00:00:00+00:00 https://nicolasAmat.github.io/publication/petri_nets_2023/ 2023-05-27T00:00:00+00:00 https://nicolasAmat.github.io/talk/afsec_2023/ 2023-04-11T00:00:00+00:00 https://nicolasAmat.github.io/talk/fac_2023/ 2023-04-05T00:00:00+00:00 https://nicolasAmat.github.io/tag/reachability-problem/ 2023-03-03T00:00:00+00:00 https://nicolasAmat.github.io/publication/fm_2023/ 2023-03-03T00:00:00+00:00 https://nicolasAmat.github.io/tag/concurrent-places/ 2022-12-22T00:00:00+00:00 https://nicolasAmat.github.io/publication/sttt/ 2022-12-22T00:00:00+00:00 https://nicolasAmat.github.io/tag/reachability/ 2022-12-22T00:00:00+00:00 https://nicolasAmat.github.io/publication/fi/ 2022-10-24T00:00:00+00:00 https://nicolasAmat.github.io/tag/smt-solving/ 2022-10-24T00:00:00+00:00 https://nicolasAmat.github.io/talk/gt_verif_2022/ 2022-07-12T00:00:00+00:00 https://nicolasAmat.github.io/talk/mtv_seminar_2022/ 2022-07-07T00:00:00+00:00 https://nicolasAmat.github.io/publication/petri_nets_2022/ 2022-06-22T00:00:00+00:00 https://nicolasAmat.github.io/publication/tacas_2022/ 2022-04-06T00:00:00+00:00 https://nicolasAmat.github.io/talk/fac_2021/ 2021-10-15T00:00:00+00:00 https://nicolasAmat.github.io/publication/spin_2021/ 2021-07-12T00:00:00+00:00 https://nicolasAmat.github.io/publication/petri_nets_2021/ 2021-06-24T00:00:00+00:00 https://nicolasAmat.github.io/talk/afsec_2021/ 2021-06-16T00:00:00+00:00 https://nicolasAmat.github.io/publication/amat_master_thesis/ 2020-06-01T00:00:00+00:00 https://nicolasAmat.github.io/categories/ https://nicolasAmat.github.io/tag/other/ https://nicolasAmat.github.io/project/sepration_logic_formalization/ https://nicolasAmat.github.io/tag/teaching/ https://nicolasAmat.github.io/project/usmpt/