| 2026 | MFCS | Model Checking with Temporal Graphs and Their Derivative. | Binh-Minh Bui-Xuan, Florent Krasnopol, Bruno Monasson, Nathalie Sznajder |
| 2025 | MFCS | Wait-Only Broadcast Protocols Are Easier to Verify. | Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder |
| 2024 | CONCUR | Phase-Bounded Broadcast Networks over Topologies of Communication. | Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder |
| 2023 | CONCUR | Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous. | Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder |
| 2020 | FOSSACS | Parameterized Synthesis for Fragments of First-Order Logic Over Data Words. | Batrice Brard, Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder |
| 2018 | ATVA | Round-Bounded Control of Parameterized Systems. | Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder |
| 2017 | FMCAD | Parameterized verification of algorithms for oblivious robots on a ring. | Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sbastien Tixeuil |
| 2014 | SSS | On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering. | Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sbastien Tixeuil |
| 2012 | CONCUR | Concurrent Games on VASS with Inhibition. | Batrice Brard, Serge Haddad, Mathieu Sassolas, Nathalie Sznajder |
| 2009 | SOFSEM | Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems. | Thomas Chatain, Paul Gastin, Nathalie Sznajder |
| 2007 | BIBE | Quantitative and Probabilistic Modeling in Pathway Logic. | Alessandro Abate, Yu Bai, Nathalie Sznajder, Carolyn L. Talcott, Ashish Tiwari |