Nathalie Sznajder

According to our database1, 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


  Loading...