Nathalie Sznajder

37 papers B 9C 2Journal 19Unranked 6

Year	Rank	Type	Title / 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