2025
L. Guillou, N. Sznajder, A. Sangnier. Wait-Only Broadcast Protocols Are Easier to Verify. MFCS'25.
M. Bozga, R. Iosif, A. Sangnier, N. Villani. Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks. CAV'25.
G. Delzanno, C. Laneve, A. Sangnier, G. Zavattaro. Decidability Problems for Micro-Stipula. COORDINATION'25.
R. Iosif, A. Sangnier, N. Villani. Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars. NETYS'25.
2024
Benedikt Bollig, Arnaud Sangnier, Olivier Stietel. On the Satisfiability of Local First-Order Logics with Data. Logical Methods in Computer Science.
L. Guillou, N. Sznajder, A. Sangnier. Safety Verification of Wait-Only Non-Blocking Broadcast Protocols. Petri Nets'24 (best paper award).
L. Guillou, N. Sznajder, A. Sangnier. Phase-Bounded Broadcast Networks over Topologies of Communication. CONCUR'24.
François Laroussinie, Loriane Leclercq, Arnaud Sangnier. QLTL Model-Checking. CSL'24.
2023
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder. Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous. CONCUR'23.