Nombre de documents

15

CV de Nathalie Sznajder


Article dans une revue6 documents

  • Béatrice Bérard, Pierre Courtieu, Laure Millet, Maria Potop-Butucaru, Lionel Rieg, et al.. [Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems. International Journal of Informatics Society, Japan Informatics Society, 2015, 7 (3), pp.101-114. <http://www.infsoc.org/journal/vol07/IJIS_07_3_101-114.pdf>. <hal-01238784>
  • Béatrice Bérard, Krishnendu Chatterjee, Nathalie Sznajder. Probabilistic Opacity for Markov Decision Processes. Information Processing Letters, Elsevier, 2015, 115 (1), pp.52-59. <10.1016/j.ipl.2014.09.001>. <hal-01176435>
  • Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder. On regions and zones for event-clock automata. Formal Methods in System Design, Springer Verlag, 2014, 45 (3), pp.330-380. <10.1007/s10703-014-0212-1>. <hal-01176434>
  • Paul Gastin, Nathalie Sznajder. Fair Synthesis for Asynchronous Distributed Systems. ACM Transactions on Computational Logic, Association for Computing Machinery, 2013, 14 (2), pp.9. <10.1145/2480759.2480761>. <hal-00925735>
  • Paul Gastin, Nathalie Sznajder. Decidability of well-connectedness for distributed synthesis. Information Processing Letters, Elsevier, 2012, 112 (24), pp.963-968. <10.1016/j.ipl.2012.08.018>. <hal-01176415>
  • Paul Gastin, Nathalie Sznajder, Marc Zeitoun. Distributed synthesis for well-connected architectures. Formal Methods in System Design, Springer Verlag, 2009, 34 (3), pp.215-237. <10.1007/s10703-008-0064-7>. <hal-00408878>

Communication dans un congrès8 documents

  • Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege, et al.. Real-time Synthesis is Hard!. Martin Fränzle; Nicolas Markey. 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'16), Aug 2016, Québec City, Canada. Springer, Proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'16), 9884, pp.105-120, 2016, Lecture Notes in Computer Science. <10.1007/978-3-319-44878-7_7>. <hal-01344684>
  • Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil. Synthèse d'algorithmes pour robots mobiles : le cas du regroupement sur un anneau. ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France. <hal-01154517>
  • Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil. On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering. SSS 2014 - 16th International Symposium on Stabilization, Safety and Security of Distributed Systems, Sep 2014, Paderborn, Germany. Springer, 8756, pp.237-251, 2014, Lecture Notes in Computer Science. <10.1007/978-3-319-11764-5_17>. <hal-01016832v2>
  • Nathalie Sznajder. Fair Synthesis of Asynchronous Distributed Systems. Software Synthesis (Dagstuhl Seminar 12152), 2012, Dagstuhl, Germany. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Software Synthesis (Dagstuhl Seminar 12152), 2 (4), pp.33, <10.4230/DagRep.2.4.21>. <hal-01273263>
  • Béatrice Bérard, Serge Haddad, Mathieu Sassolas, Nathalie Sznajder. Concurrent Games on VASS with Inhibition. Koutny, Maciej and Ulidowski, Irek. 23rd International Conference on Concurrency Theory (CONCUR'12), Sep 2012, Newcastle upon Tyne, United Kingdom. Springer, 7454, pp.39-52, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-32940-1_5>. <hal-00776589>
  • Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder. Event Clock Automata : From Theory to Practice. FORMATS 2011 - 9th International Conference on Formal Modelling and Analysis of Timed Systems, Sep 2011, Aalborg, Denmark. Springer, 6919, pp.209-224, Lecture Notes in Computer Science. <10.1007/978-3-642-24310-3_15>. <hal-01223301>
  • Paul Gastin, Nathalie Sznajder, Thomas Chatain. Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems. Nielsen, Mogens and Ku\v cera, Antonín and Bro Miltersen, Peter and Palamidessi, Catuscia and T\ruma, Petr and Valencia, Franck. Proceedings of the 35th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'09), Jan 2009, Mlýn, Czech Republic. Springer, 5404, pp.141-152, 2009, <10.1007/978-3-540-95891-8_16>. <hal-00772667>
  • Paul Gastin, Nathalie Sznajder, Marc Zeitoun. Distributed synthesis for well-connected architectures. N. Garg and S. Arun-Kumar. FSTTCS06, 2006, Kolkata, India. Springer, 4337, pp.321-332, 2006, Lecture Notes in Computer Science. <10.1007/11944836_30>. <hal-00306316>

Chapitre d'ouvrage1 document

  • Claude Dutheillet, Isabelle Mounier, Nathalie Sznajder. Distributed Control. Models and Analysis in Distributed Systems, Wiley, pp.307-351, 2011, 9781848213142. <hal-01288080>