# Nathalie Sznajder

According to our database

Collaborative distances:

^{1}, Nathalie Sznajder authored at least 20 papers between 2006 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Round-Bounded Control of Parameterized Systems.

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Parameterized Verification of Algorithms for Oblivious Robots on a Ring.

CoRR, 2017

Parameterized verification of algorithms for oblivious robots on a ring.

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016

Real-Time Synthesis is Hard!

CoRR, 2016

Real-Time Synthesis is Hard!

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

2015

Probabilistic opacity for Markov decision processes.

Inf. Process. Lett., 2015

2014

On regions and zones for event-clock automata.

Formal Methods in System Design, 2014

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

CoRR, 2014

Probabilistic Opacity for Markov Decision Processes.

CoRR, 2014

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

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

2013

Fair Synthesis for Asynchronous Distributed Systems.

ACM Trans. Comput. Log., 2013

2012

Decidability of well-connectedness for distributed synthesis.

Inf. Process. Lett., 2012

Concurrent Games on VASS with Inhibition.

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

2011

Event-Clock Automata: From Theory to Practice

CoRR, 2011

Event Clock Automata: From Theory to Practice.

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

2010

Safraless Procedures for Timed Specifications.

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

2009

Distributed synthesis for well-connected architectures.

Formal Methods in System Design, 2009

Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems.

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

2007

Quantitative and Probabilistic Modeling in Pathway Logic.

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

2006

Distributed Synthesis for Well-Connected Architectures.

Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006