Nombre de documents

13

CV de Nathalie Sznajder


Communication dans un congrès7 documents

  • Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege, et al.. Real-Time Synthesis is Hard!. 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2016), Aug 2016, Quebec, Canada. Springer Lecture Notes in Computer Science 9884, pp.105 - 120, 2016, Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings. <10.1007/978-3-319-44878-7_7>. <hal-01414121>
  • Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege, et al.. Real-time Synthesis is Hard!. 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>
  • 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>
  • 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>

Article dans une revue5 documents

  • 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>
  • 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>
  • 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. 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>

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>