Nathalie Sznajder

According to our database, Nathalie Sznajder authored at least 22 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Round- and context-bounded control of dynamic pushdown systems.

Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder

Formal Methods Syst. Des., June, 2024

Phase-Bounded Broadcast Networks over Topologies of Communication.

Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder

Proceedings of the 35th International Conference on Concurrency Theory, 2024

Safety Verification of Wait-Only Non-Blocking Broadcast Protocols.

Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

2023

Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous.

Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder

Proceedings of the 34th International Conference on Concurrency Theory, 2023

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

Synthesis in Presence of Dynamic Links.

Béatrice Bérard, Benedikt Bollig, Patricia Bouyer, Matthias Függer, Nathalie Sznajder

Proceedings of the Proceedings 11th International Symposium on Games, 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

Proceedings of the Networked Systems - 8th International Conference, 2020

Parameterized Synthesis for Fragments of First-Order Logic Over Data Words.

Béatrice Bérard, Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder

Proceedings of the Foundations of Software Science and Computation Structures, 2020

2019

Formal Methods for Mobile Robots.

Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil, Xavier Urbain

Proceedings of the Distributed Computing by Mobile Entities, 2019

2018

Round-Bounded Control of Parameterized Systems.

Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder

Proceedings of the Automated Technology for Verification and Analysis, 2018

2016

Real-Time Synthesis is Hard!

Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege, Nathalie Sznajder

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

2015

Probabilistic opacity for Markov decision processes.

Béatrice Bérard, Krishnendu Chatterjee, Nathalie Sznajder

Inf. Process. Lett., 2015

2014

On regions and zones for event-clock automata.

Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder

Formal Methods Syst. Des., 2014

On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering.

Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2014

2013

Fair Synthesis for Asynchronous Distributed Systems.

Paul Gastin, Nathalie Sznajder

ACM Trans. Comput. Log., 2013

2012

Decidability of well-connectedness for distributed synthesis.

Paul Gastin, Nathalie Sznajder

Inf. Process. Lett., 2012

Concurrent Games on VASS with Inhibition.

Béatrice Bérard, Serge Haddad, Mathieu Sassolas, Nathalie Sznajder

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

Event Clock Automata: From Theory to Practice.

Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

2010

Safraless Procedures for Timed Specifications.

Barbara Di Giampaolo, Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

2009

Distributed synthesis for well-connected architectures.

Paul Gastin, Nathalie Sznajder, Marc Zeitoun

Formal Methods Syst. Des., 2009

Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems.

Thomas Chatain, Paul Gastin, Nathalie Sznajder

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

2007

Quantitative and Probabilistic Modeling in Pathway Logic.

Alessandro Abate, Yu Bai, Nathalie Sznajder, Carolyn L. Talcott, Ashish Tiwari

Proceedings of the 7th IEEE International Conference on Bioinformatics and Bioengineering, 2007