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 |