According to our database1, Nathalie Sznajder authored at least 14 papers between 2006 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Round-Bounded Control of Parameterized Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2018
Parameterized verification of algorithms for oblivious robots on a ring.
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017
Real-Time Synthesis is Hard!
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016
Probabilistic opacity for Markov decision processes.
Inf. Process. Lett., 2015
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.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2014
Fair Synthesis for Asynchronous Distributed Systems.
ACM Trans. Comput. Log., 2013
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
Event Clock Automata: From Theory to Practice.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011
Safraless Procedures for Timed Specifications.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010
Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems.
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009
Quantitative and Probabilistic Modeling in Pathway Logic.
Proceedings of the 7th IEEE International Conference on Bioinformatics and Bioengineering, 2007
Distributed Synthesis for Well-Connected Architectures.
Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006