ON CONSTRUCTION
2026
  • C. L. Andersen, R. Iosif, A. Sangnier. Safety Analysis in Broadcast Networks Defined by Graph Grammars. Petri Nets'26. [pdf]
  • G. Delzanno, C. Laneve, A. Sangnier, G. Zavattaro. Clause-reachability is undecidable in legal contracts. International Journal on Software Tools for Technology Transfer. [pdf]
    • 2025
  • L. Guillou, N. Sznajder, A. Sangnier. Wait-Only Broadcast Protocols Are Easier to Verify. MFCS'25. [pdf]
  • M. Bozga, R. Iosif, A. Sangnier, N. Villani. Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks. CAV'25. [pdf | long version]
  • G. Delzanno, C. Laneve, A. Sangnier, G. Zavattaro. Decidability Problems for Micro-Stipula. COORDINATION'25. [pdf]
  • R. Iosif, A. Sangnier, N. Villani. Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars. NETYS'25. [pdf]
    • 2024
  • Benedikt Bollig, Arnaud Sangnier, Olivier Stietel. On the Satisfiability of Local First-Order Logics with Data. Logical Methods in Computer Science. [pdf]
  • L. Guillou, N. Sznajder, A. Sangnier. Safety Verification of Wait-Only Non-Blocking Broadcast Protocols. Petri Nets'24 (best paper award). [pdf]
  • L. Guillou, N. Sznajder, A. Sangnier. Phase-Bounded Broadcast Networks over Topologies of Communication. CONCUR'24. [pdf]
  • François Laroussinie, Loriane Leclercq, Arnaud Sangnier. QLTL Model-Checking. CSL'24. [pdf]
    • 2023
  • Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder. Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous. CONCUR'23.
    • 2022
  • B. Bollig, A. Sangnier, O. Stietel. On the Existential Fragments of Local First-Order Logics with Data. GandALF'22.
    • 2021
  • B. Bollig, F. Ryabinin, A. Sangnier. Reachability in Distributed Memory Automata. CSL'21.
  • B. Bollig, A. Sangnier, O. Stietel. Local First-Order Logic with Two Data Values. FSTTCS'21.
    • 2020
  • A. Sangnier, N. Sznajder, M. Potop-Butucaru, S. Tixeuil. Parameterized verification of algorithms for oblivious robots on a ring. Formal Methods in System Design.