Quantitative and Probabilistic Modeling in Pathway Logic. - Alessandro Abate; Yu Bai; Nathalie Sznajder; Carolyn L. Talcott; Ashish Tiwari 001 (BIBE, 2007)

Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems. - Thomas Chatain; Paul Gastin; Nathalie Sznajder (SOFSEM, 2009)

Distributed synthesis for well-connected architectures. - Paul Gastin; Nathalie Sznajder; Marc Zeitoun (Formal Methods Syst. Des., 2009)

Safraless Procedures for Timed Specifications. - Barbara Di Giampaolo; Gilles Geeraerts; Jean-François Raskin; Nathalie Sznajder (FORMATS, 2010)

Event Clock Automata: From Theory to Practice. - Gilles Geeraerts; Jean-François Raskin; Nathalie Sznajder (FORMATS, 2011)

Concurrent Games on VASS with Inhibition. - Béatrice Bérard; Serge Haddad; Mathieu Sassolas; Nathalie Sznajder (CONCUR, 2012)

Decidability of well-connectedness for distributed synthesis. - Paul Gastin; Nathalie Sznajder (Inf. Process. Lett., 2012)

Fair Synthesis for Asynchronous Distributed Systems. - Paul Gastin; Nathalie Sznajder (ACM Trans. Comput. Log., 2013)

On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering. - Laure Millet; Maria Potop-Butucaru; Nathalie Sznajder; Sébastien Tixeuil (SSS, 2014)

On regions and zones for event-clock automata. - Gilles Geeraerts; Jean-François Raskin; Nathalie Sznajder (Formal Methods Syst. Des., 2014)

Probabilistic opacity for Markov decision processes. - Béatrice Bérard; Krishnendu Chatterjee; Nathalie Sznajder (Inf. Process. Lett., 2015)

Real-Time Synthesis is Hard! - Thomas Brihaye; Morgane Estiévenart; Gilles Geeraerts; Hsi-Ming Ho; Benjamin Monmege; Nathalie Sznajder (FORMATS, 2016)

Round-Bounded Control of Parameterized Systems. - Benedikt Bollig; Mathieu Lehaut; Nathalie Sznajder (ATVA, 2018)

Formal Methods for Mobile Robots. - Maria Potop-Butucaru; Nathalie Sznajder; Sébastien Tixeuil; Xavier Urbain (Distributed Computing by Mobile Entities, 2019)

Parameterized Synthesis for Fragments of First-Order Logic Over Data Words. - Béatrice Bérard; Benedikt Bollig; Mathieu Lehaut; Nathalie Sznajder (FoSSaCS, 2020)

On the Encoding and Solving of Partial Information Games. - Yackolley Amoussou-Guenou; Souheib Baarir; Maria Potop-Butucaru; Nathalie Sznajder; Léo Tible; Sébastien Tixeuil (NETYS, 2020)

Synthesis in Presence of Dynamic Links. - Béatrice Bérard; Benedikt Bollig; Patricia Bouyer; Matthias Függer; Nathalie Sznajder (GandALF, 2020)

Parameterized verification of algorithms for oblivious robots on a ring. - Arnaud Sangnier; Nathalie Sznajder; Maria Potop-Butucaru; Sébastien Tixeuil (Formal Methods Syst. Des., 2020)

Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous. - Lucie Guillou; Arnaud Sangnier; Nathalie Sznajder (CONCUR, 2023)

Safety Verification of Wait-Only Non-Blocking Broadcast Protocols. - Lucie Guillou; Arnaud Sangnier; Nathalie Sznajder (Petri Nets, 2024)

Phase-Bounded Broadcast Networks over Topologies of Communication. - Lucie Guillou; Arnaud Sangnier; Nathalie Sznajder (CONCUR, 2024)

Round- and context-bounded control of dynamic pushdown systems. - Benedikt Bollig; Mathieu Lehaut; Nathalie Sznajder (Formal Methods Syst. Des., 2024)

Wait-Only Broadcast Protocols Are Easier to Verify. - Lucie Guillou; Arnaud Sangnier; Nathalie Sznajder (MFCS, 2025)