Publications of
Benoit Combemale, Xavier Crégut, Pierre Michel, Marc Pantel
SéMo’07 : premier atelier sur la Sémantique des Modèles
In : L’Objet, Hermès Science, Special issue Ingénierie Dirigée par les Modèles, Vol. 13, N. 4, pp. 137-144, January 2008.
Patrick Farail, Pierre Gaufillet, Mamoun Filali, Pierre Michel, François Vernadat
Vérifications dans un AGL orienté modèles
In : Génie Logiciel, GL & IS, 8 Rue du Parc 92190 Meudon, Vol. 69, pp. 51-55, June 2004.
Benoit Combemale, Xavier Crégut, Jean-Patrice Giacometti, Pierre Michel, Marc Pantel
Introducing Simulation and Model Animation in the MDE Topcased Toolkit (regular paper)
In : Formalisation des Activités Concurrentes (FAC 2008), Toulouse, France, 03/04/08-04/04/08, LAAS, (on line), April 2008.
URL : http://seminaire-verif.enseeiht.fr/FAC/2008/Papiers/43.pdf
BibTeXBenoit Combemale, Xavier Crégut, Jean-Patrice Giacometti, Pierre Michel, Marc Pantel
Introducing Simulation and Model Animation in the MDE Topcased Toolkit
In : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/08-01/02/08, Société des Ingénieurs de l’Automobile, (electronic medium), January 2008.
Marc Pantel, Benoit Combemale, Xavier Crégut, Christine Maurel, Pierre Michel, Frédéric Migeon, Iulian Ober, Sylvain Rougemaille
Sémantique et méta-modélisation
In : Journées Kermeta, Rennes, 10/10/06.
URL : https://kermeta.org/community/KermetaDay06/pres_marc/download
BibTeXMarc Pantel, Benoit Combemale, Xavier Crégut, Christine Maurel, Pierre Michel, Frédéric Migeon, Iulian Ober, Sylvain Rougemaille
Simulation et ingénierie des modèles
In : Journées Kermeta, Rennes, 10/10/06.
URL : https://kermeta.org/community/KermetaDay06/pres_marc/download
BibTeXPatrick Farail, Pierre Gaufillet, Agusti Canals, Christophe Le Camus, David Sciamma, Pierre Michel, Xavier Crégut, Marc Pantel
The TOPCASED project: a Toolkit in Open source for Critical Aeronautic SystEms Design
In : European Congress on Embedded Real-Time Software (ERTS 2006), Toulouse, 25/01/06-27/01/06, Société des Ingénieurs de l’Automobile, (electronic medium), January 2006.
Bernard Berthomieu, P.-O. Ribet, François Vernadat, J.-L. Bernartt, J.-M. Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gaufillet, Pierre Dissaux, Jean-Luc Lambert
Towards the verification of real-time systems in avionics: TheCotre approach
In : Eigth International workshop for industrial critical systems, ROROS, 05/06/03-07/06/03, Thomas Arts, Wan Fokkink, pp. 201-216, June 2003.
URL : http://www.elsevier.nl/locate/entcs/volume80.html
BibTeXJ.-M. Farines, Bernard Berthomieu, Jean-Paul Bodeveix, Pierre Dissaux, Patrick Farail, Mamoun Filali, Pierre Gaufillet, Hicham Hafidi, Jean-Luc Lambert, Pierre Michel, François Vernadat
The Cotre project: rigorous development for real time systems in Avionics
In : WRTP’03 27th IFAC/IFIP/IEEE Workshop on real-time programming, Logow(Pologne), 14/05/03-17/05/03, IEEE, pp. 51-56, May 2003.
Pierre Dissaux, Mamoun Filali, Pierre Michel, François Vernadat
Architecture Description languages
, Springer, April 2005.
J.-M. Farines, Bernard Berthomieu, Jean-Paul Bodeveix, Pierre Dissaux, Patrick Farail, Mamoun Filali, Pierre Gaufillet, Hicham Hafidi, Jean-Luc Lambert, Pierre Michel, François Vernadat
The Cotre Project: Rigorous Software Development for Real Time Systems in Avionics, COLNARIC, ADAMSKI & WEGRZYN, November 2003.
Mamoun Filali, Pierre Michel, C. Seguin
AFADL: Approches formelles dans l’assistance au développement de logiciels, Toulouse, 26/01/09 – 28/01/09, IRIT Press, January 2009.
Pierre Dissaux, Mamoun Filali, Pierre Michel, François Vernadat
Workshop on Architecture Description languages, Toulouse, Springer, April 2005.