Nathalie Sznajder

37 papers B 9C 2Journal 19Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Model checking with temporal graphs and their derivative.
CoRR
Binh-Minh Bui-Xuan, Florent Krasnopol, Bruno Monasson, Nathalie Sznajder
2025 B conf
Wait-Only Broadcast Protocols Are Easier to Verify.
MFCS
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2025 J jnl
Wait-Only Broadcast Protocols are Easier to Verify.
CoRR
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2024 B conf
Phase-Bounded Broadcast Networks over Topologies of Communication.
CONCUR
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2024 J jnl
Phase-Bounded Broadcast Networks over Topologies of Communication.
CoRR
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2024 J jnl
Round- and context-bounded control of dynamic pushdown systems.
Formal Methods Syst. Des.
Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder
2024 B conf
Safety Verification of Wait-Only Non-Blocking Broadcast Protocols.
Petri Nets
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2024 J jnl
Safety Verification of Wait-Only Non-Blocking Broadcast Protocols.
CoRR
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2023 B conf
Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous.
CONCUR
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2023 J jnl
Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous.
CoRR
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2022 J jnl
Synthesis in presence of dynamic links.
Inf. Comput.
Béatrice Bérard, Benedikt Bollig, Patricia Bouyer, Matthias Függer, Nathalie Sznajder
2020 — conf
On the Encoding and Solving of Partial Information Games.
NETYS
Yackolley Amoussou-Guenou, Souheib Baarir, Maria Potop-Butucaru, Nathalie Sznajder, Léo Tible, Sébastien Tixeuil
2020 B conf
Parameterized Synthesis for Fragments of First-Order Logic Over Data Words.
FoSSaCS
Béatrice Bérard, Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder
2020 J jnl
Parameterized verification of algorithms for oblivious robots on a ring.
Formal Methods Syst. Des.
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil
2020 — conf
Synthesis in Presence of Dynamic Links.
GandALF
Béatrice Bérard, Benedikt Bollig, Patricia Bouyer, Matthias Függer, Nathalie Sznajder
2019 — ch.
Formal Methods for Mobile Robots.
Distributed Computing by Mobile Entities
Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil, Xavier Urbain
2019 J jnl
Parameterized Synthesis for Fragments of First-Order Logic over Data Words.
CoRR
Béatrice Bérard, Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder
2018 B conf
Round-Bounded Control of Parameterized Systems.
ATVA
Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder
2017 J jnl
Parameterized Verification of Algorithms for Oblivious Robots on a Ring.
CoRR
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil
2017 B conf
Parameterized verification of algorithms for oblivious robots on a ring.
FMCAD
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil
2016 — conf
Real-Time Synthesis is Hard!
FORMATS
Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege, Nathalie Sznajder
2016 J jnl
Real-Time Synthesis is Hard!
CoRR
Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege, Nathalie Sznajder
2015 J jnl
Probabilistic opacity for Markov decision processes.
Inf. Process. Lett.
Béatrice Bérard, Krishnendu Chatterjee, Nathalie Sznajder
2014 J jnl
On regions and zones for event-clock automata.
Formal Methods Syst. Des.
Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder
2014 C conf
On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering.
SSS
Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil
2014 J jnl
On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering.
CoRR
Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil
2014 J jnl
Probabilistic Opacity for Markov Decision Processes.
CoRR
Béatrice Bérard, Krishnendu Chatterjee, Nathalie Sznajder
2013 J jnl
Fair Synthesis for Asynchronous Distributed Systems.
ACM Trans. Comput. Log.
Paul Gastin, Nathalie Sznajder
2012 B conf
Concurrent Games on VASS with Inhibition.
CONCUR
Béatrice Bérard, Serge Haddad, Mathieu Sassolas, Nathalie Sznajder
2012 J jnl
Decidability of well-connectedness for distributed synthesis.
Inf. Process. Lett.
Paul Gastin, Nathalie Sznajder
2011 — conf
Event Clock Automata: From Theory to Practice.
FORMATS
Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder
2011 J jnl
Event-Clock Automata: From Theory to Practice
CoRR
Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder
2010 — conf
Safraless Procedures for Timed Specifications.
FORMATS
Barbara Di Giampaolo, Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder
2009 J jnl
Distributed synthesis for well-connected architectures.
Formal Methods Syst. Des.
Paul Gastin, Nathalie Sznajder, Marc Zeitoun
2009 B conf
Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems.
SOFSEM
Thomas Chatain, Paul Gastin, Nathalie Sznajder
2007 C conf
Quantitative and Probabilistic Modeling in Pathway Logic.
BIBE
Alessandro Abate, Yu Bai, Nathalie Sznajder, Carolyn L. Talcott, Ashish Tiwari
2006 — conf
Distributed Synthesis for Well-Connected Architectures.
FSTTCS
Paul Gastin, Nathalie Sznajder, Marc Zeitoun