Articles in International Journals

Book chapters

  • Claude Dutheillet, Isabelle Mounier and Nathalie Sznajder Distributed Control. In Models and Analysis for Distributed Systems, pages 307-351, Wiley, 2011. [ bib ]

Articles in International Conferences

  • Benedikt Bollig, Mathieu Lehaut and Nathalie Sznajder Round-Bounded Control of Parameterized Systems. In 16th International Symposium on Automated Technology for Verification and Analysis, Proceedings of ATVA'18, 2018. []
  • Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege and Nathalie Sznajder Real-time Synthesis is Hard!. In Proceedings of FORMATS'16, pages 105-120, Springer, Lecture Notes in Computer Science 9884, 2016. [ PDF | bib ]
  • Béatrice Bérard, Serge Haddad, Mathieu Sassolas and Nathalie Sznajder Concurrent Games on VASS with Inhibition. In Proceedings of CONCUR'12, 23th International Conference on Concurrency Theory, pages 39-52, Springer, Lecture Notes in Computer Science 7454, 2012. [ PDF | bib ]

Master's Theses

PhD Theses

Technical Reports