Selected publications by Nathalie Sznajder
Journals
- GSZ09
-
Paul Gastin, Nathalie Sznajder and Marc Zeitoun. Distributed synthesis for well-connected architectures. Formal Methods in System Design 34(3), pages 215-237, 2009. ( PDF | BibTeX + Abstract )
Conferences
- CGS09
-
Thomas Chatain, Paul Gastin and Nathalie Sznajder. Natural Specifications Yield Decidability for Distributed Synthesis of
Asynchronous Systems. In SOFSEM'09, LNCS 5404, pages 141-152. Springer, 2009. ( PDF | BibTeX + Abstract )
- ABS+07
-
Alessandro Abate, Yu Bai, Nathalie Sznajder, Carolyn Talcott and Ashish Tiwari. Quantitative and Probabilisitic Modeling in Pathway Logic. In BIBE'07, pages 922-929. IEEE Computer Society Press, 2007. ( PDF | BibTeX + Abstract )
- GSZ06
-
Paul Gastin, Nathalie Sznajder and Marc Zeitoun. Distributed synthesis for well-connected architectures. In FSTTCS'06, LNCS 4337, pages 321-332. Springer, 2006. ( PDF | BibTeX + Abstract )
Theses
- Szn09
-
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
- Szn05
-
Nathalie Sznajder. Synthèse de contrôleur pour les systèmes distribués
synchrones. Rapport de Master, Master Parisien de Recherche en Informatique, Paris,
France, September 2005. ( PDF | BibTeX )