Publications de
First steps toward a Verification and validation ontology (regular paper)
Dans : European Conference on Embedded Real Time Software and Systems (ERTS 2012), Toulouse, France, 01/02/12-03/02/12, SIA/3AF/SEE, (support électronique), février 2012.
Mounira Kezadri, Benoit Combemale, Marc Pantel, Xavier Thirioux
A proof assistant based formalization of MDE components (regular paper)
Dans : Formal Aspects of Component Software (FACS 2011), Oslo, Norway, 14/09/11-16/09/11, Vol. 7253, Springer, Lecture Notes in Computer Science, (support électronique), septembre 2011.
Premières expériences pour l’édition correcte par construction de modèles (short paper)
Dans : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2010), LISI / ENSMA, Poitiers, France, 06/06/10-11/06/10, Yamine Aït-Ameur (Eds.), LISI-ENSMA, p. 217-221, juin 2010.
Résumé Accès : http://www.irit.fr/publis/ACADIE/afadl2010.pdf
BibTeXFirst steps toward a Verification and validation ontology (student paper)
Dans : International Conference on Knowledge Engineering and Ontology Development (KEOD 2010), Valencia, Spain, 25/10/10-28/10/10, INSTICC – Institute for Systems and Technologies of Information, Control and Communication, (support électronique), octobre 2010.
Validation et vérification de systèmes critiques: Ontologies et intégration de composants
Thèse de doctorat, Institut National Polytechnique de Toulouse, juillet 2013.