Publications de Nathalie Sznajder
REVUES
-
Paul Gastin, Nathalie Sznajder, Marc Zeitoun. Distributed synthesis for well-connected architectures. In Formal Methods in System Design 34(3), pages 215 - 237, 2009.
[PDF|bibtex]
CONFERENCES
-
Barbara Di Giampaolo, Gilles Geeraerts, Jean-Francois Raskin, Nathalie Sznajder. Safraless Procedures for Timed Specifications. In FORMATS'10. Springer, to appear.
[PDF|bibtex]
-
Thomas Chatain, Paul Gastin, Nathalie Sznajder. Natural Specifications Yield Decidability of Distributed Synthesis for Asynchronous Systems. In SOFSEM'09, LNCS 5404, pages 141 - 152. Springer, 2009.
[PDF|bibtex]
-
Alessandro Abate, Yu Bai, Nathalie Sznajder, Carolyn Talcott, Ashish Tiwari. Quantitative and Probabilistic Modeling in Pathway Logic. In BIBE'07, pages 922-929. IEEE Computer Society Press, 2007.
[PDF|bibtex]
-
Paul Gastin, Nathalie Sznajder, Marc Zeitoun. Distributed synthesis for well-connected architectures. In FSTTCS'06, LNCS 4337, pages 321-332. Springer, 2006.
[PDF|bibtex]
THESE
-
Nathalie Sznajder. Synthèse de systèmes distribués ouverts. Thèse de doctorat, Laboratoire Spécification et Vérification, ENS Cachan, France, November 2009.
[PDF |Slides |bibtex]
OTHER PUBLICATIONS
-
Nathalie Sznajder. Synthèse de controleurs pour les systèmes distribués synchrones. Rapport de Master, Master Parisien de Recherche en Informatique, Paris, France, September 2005.
[PDF|bibtex]
-
Paul Gastin, Nathalie Sznajder. Complexity of well-connectedness for distributed synthesis. Research Report LSV-10-02, Laboratoire Spécification et Vérification, ENS Cachan, France, February 2010. 15 pages.