Publications of
Bastien Amar, Hervé Leblanc, Bernard Coulette, Philippe Dhaussy
Automatic Co-evolution of Models Using Traceability
In : Communications in Computer and Information Science, Springer, Vol. 170, pp. 125-139, January 2013.
Bastien Amar, Philippe Dhaussy, Hervé Leblanc, Bernard Coulette
La description d’un modèle de traçabilité pour la mise en oeuvre d’une technique de validation formelle de modèles
In : Génie Logiciel, GL & IS, Meudon – France, Special issue LIngénierie Dirigée par les Modèles : Processus, cohérence, traçabilité et composants de confiance, Vol. 85, pp. 20-24, June 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)
In : International Workshop on Security and Dependability for Resource Constrained Embedded Systems (S&D4RCES 2010), Vienne, Autriche, 14/09/10, ACM Digital Library, (on line), 2011.
Bastien Amar, Hervé Leblanc, Philippe Dhaussy, Bernard Coulette
Transformation Reuse to Guide Co-evolution of Models (regular paper)
In : International Conference on Software and Data Technologies (ICSOFT 2010), Athènes (Grèce), 22/07/10-24/07/10, Vol. 2, José Cordeiro, Maria Virvou, Boris Shisshkov (Eds.), Institute for Systems and Technologies for Information, Control and Communication, pp. 73-81, July 2010.