| 2008 |
|---|
| 6 | | Xavier Dumas,
Claire Pagetti,
Laurent Sagaspe,
Pierre Bieber,
Philippe Dhaussy:
Vers la génération de modèles de sûreté de fonctionnement.
CAL 2008: 157-172 |
| 5 | | Philippe Dhaussy,
Julien Auvray,
Stéphane de Belloy,
Frédéric Boniol,
Eric Landel:
Un langage de contexte de preuve pour la validation formelle de modèles logiciels.
CAL 2008: 173-189 |
| 2007 |
|---|
| 4 | EE | Philippe Dhaussy,
Frédéric Boniol:
Mise en œuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués.
Ingénierie des Systèmes d'Information 12(5): 133-157 (2007) |
| 3 | EE | W. Theurer,
Frédéric Boniol,
Philippe Dhaussy,
Claire Pagetti:
Un cadre conceptuel pour la modélisation multi point de vue de systèmes embarqués.
L'OBJET 13(2-3): 79-110 (2007) |
| 2002 |
|---|
| 2 | EE | Armelle Prigent,
Franck Cassez,
Philippe Dhaussy,
Olivier Roux:
Extending the Translation from SDL to Promela.
SPIN 2002: 79-94 |
| 2001 |
|---|
| 1 | | Joël Champeau,
Philippe Dhaussy,
Laurent Latreille,
Fabien Degroote:
Object Framework for Mission Control.
ISAS-SCI (1) 2001: 100-105 |
