| 2003 |
|---|
| 9 | EE | Wei Monin,
Fabrice Dubois,
Daniel Vincent,
Pierre Combes:
Looking for Better Integration of Design and Performance Engineering.
SDL Forum 2003: 1-17 |
| 8 | EE | Benoit Parreaux,
Daniel Vincent,
Gérard Babonneau:
RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol.
SDL Forum 2003: 218-233 |
| 2002 |
|---|
| 7 | EE | Stephan Bourduas,
Ferhat Khendek,
Daniel Vincent:
From MSC and UML to SDL.
COMPSAC 2002: 153-158 |
| 6 | EE | Umer Waqar,
Ferhat Khendek,
Daniel Vincent:
A Formal Approach for Software Maintenance.
ICSM 2002: 608-617 |
| 2001 |
|---|
| 5 | | Ferhat Khendek,
Stephan Bourduas,
Daniel Vincent:
Stepwise Design with Message Sequence Charts.
FORTE 2001: 19-34 |
| 4 | EE | Marius Bozga,
Susanne Graf,
Laurent Mounier,
Iulian Ober,
Jean-Luc Roux,
Daniel Vincent:
Timed Extensions for SDL.
SDL Forum 2001: 223-240 |
| 2000 |
|---|
| 3 | | José Bonnet,
Fabrice Dubois,
Sofoklis Efremidis,
Pedro Leonardo,
Nicholas Malavazos,
Daniel Vincent:
Cooling the Hell of Distributed Applications' Deployment.
IS&N 2000: 181-190 |
| 2 | | Marius Bozga,
Susanne Graf,
Alain Kerbrat,
Laurent Mounier,
Iulian Ober,
Daniel Vincent:
SDL for Real-Time: What is Missing?
SAM 2000: 108- |
| 1 | | Ferhat Khendek,
Daniel Vincent:
Enriching SDL Specifications with MSCs.
SAM 2000: 305-319 |
