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.