Publications de
Thierry Millan, Laurent Sabatier, Pierre Bazex, Christian Percebois
NEPTUNE II Une plate-forme pour la vérification et la transformation de modèles
Dans : Génie Logiciel, GL & IS, Meudon – France, Numéro spécial Une plate-forme pour la vérification et la transformation de modèles, Vol. 85, p. 30-34, juin 2008.
Benoit Baudry, Pierre Bazex, Jean-Charles Dalbin, Philippe Dhaussy, Hubert Dubois, Christian Percebois, Erwann Poupart, Laurent Sabatier
Trust in MDE components: the DOMINO experiment (regular paper)
Dans : International Workshop on Security and Dependability for Resource Constrained Embedded Systems (S&D4RCES 2010), Vienne, Autriche, 14/09/10, ACM Digital Library, (en ligne), 2011.
Accès : http://portal.acm.org/citation.cfm?id=1868436
BibTeXThierry Millan, Laurent Sabatier, Thanh Thanh Le Thi, Pierre Bazex, Christian Percebois
An OCL extension for checking and transforming UML Models
Dans : WSEAS – International Conference on Software Engineering, Parallel and Distributed Systems (SEPADS 2009), Cambridge, United Kingdom, 21/02/09-23/02/09 (conférencier invité), WSEAS Press, p. 144-150, 2009.
Erwann Poupart, Guillaume Jolly, Christian Percebois, Pierre Bazex, Philippe Palanque, Sandra Basnyat, Patrice Rabault, Laurent Sabatier, Aurélia Walrawens
Offline interoperability, cost reduction and reliability for operational procedure using meta-modeling technology
Dans : International Conference on Space Operations (SpaceOps 2008), Heidelberg, Germany, 12/05/08-16/05/08, American Institute of Aeronautics and Astronautics (AIAA), (support électronique), 2008.
Thanh Thanh Le Thi, Thierry Millan, Erwann Poupart, Laurent Sabatier, Jean-Charles Dalbin
Modélisation des langages de programmation et Processus de développement de logiciels
Diffusion scientifique. janvier 2009.