| 2001 | ||
|---|---|---|
| 3 | Paul Caspi, Christine Mazuet, Natacha Reynaud Paligot: About the Design of Distributed Control Systems: The Quasi-Synchronous Approach. SAFECOMP 2001: 215-226 | |
| 1999 | ||
| 2 | Paul Caspi, Christine Mazuet, Rym Salem, Daniel Weber: Formal Design of Distributed Control Systems with Lustre. SAFECOMP 1999: 396-409 | |
| 1994 | ||
| 1 | Pascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet: On Statistical Structural Testing of Synchronous Data Flow Programs. EDCC 1994: 250-267 | |
| 1 | Paul Caspi | [2] [3] |
| 2 | Yves Crouzet | [1] |
| 3 | Natacha Reynaud Paligot | [3] |
| 4 | Rym Salem | [2] |
| 5 | Pascale Thévenod-Fosse | [1] |
| 6 | Daniel Weber | [2] |