| * | 2009 |
|---|
| 4 | EE | Thomas Chatain,
Paul Gastin,
Nathalie Sznajder:
Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems.
SOFSEM 2009: 141-152 |
| 3 | EE | Paul Gastin,
Nathalie Sznajder,
Marc Zeitoun:
Distributed synthesis for well-connected architectures.
Formal Methods in System Design 34(3): 215-237 (2009) |
| 2007 |
|---|
| 2 | EE | Alessandro Abate,
Yu Bai,
Nathalie Sznajder,
Carolyn L. Talcott,
Ashish Tiwari:
Quantitative and Probabilistic Modeling in Pathway Logic.
BIBE 2007: 922-929 |
| 2006 |
|---|
| 1 | EE | Paul Gastin,
Nathalie Sznajder,
Marc Zeitoun:
Distributed Synthesis for Well-Connected Architectures.
FSTTCS 2006: 321-332 |
