 | 2009 |
|---|
| 8 |       | Philippe Dhaussy,
Pierre Yves Pillain,
Stephen Creff,
Amine Raji,
Yves Le Traon,
Benoit Baudry:
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation.
MoDELS 2009: 438-452 |
| 2008 |
|---|
| 7 |  | 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 |
| 6 | | 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 |
| 5 | | Thomas Abdoul,
Joël Champeau,
Philippe Dhaussy,
Pierre Yves Pillain,
Jean-Charles Roger:
AADL Execution Semantics Transformation for Formal Verification.
ICECCS 2008: 263-268 |
| 2007 |
|---|
| 4 | | 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 | | 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 | | 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 |
