Publications de
Benoit Combemale, Xavier Crégut, Pierre Michel, Marc Pantel
SéMo’07 : premier atelier sur la Sémantique des Modèles
Dans : L’Objet, Hermès Science, Numéro spécial Ingénierie Dirigée par les Modèles, Vol. 13, N. 4, p. 137-144, janvier 2008.
Patrick Farail, Pierre Gaufillet, Mamoun Filali, Pierre Michel, François Vernadat
Vérifications dans un AGL orienté modèles
Dans : Génie Logiciel, GL & IS, 8 Rue du Parc 92190 Meudon, Vol. 69, p. 51-55, juin 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)
Dans : Formalisation des Activités Concurrentes (FAC 2008), Toulouse, France, 03/04/08-04/04/08, LAAS, (en ligne), avril 2008.
Accès : 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
Dans : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/08-01/02/08, Société des Ingénieurs de l’Automobile, (support électronique), janvier 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
Dans : Journées Kermeta, Rennes, 10/10/06.
Accès : 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
Dans : Journées Kermeta, Rennes, 10/10/06.
Accès : 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
Dans : European Congress on Embedded Real-Time Software (ERTS 2006), Toulouse, 25/01/06-27/01/06, Société des Ingénieurs de l’Automobile, (support électronique), janvier 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
Dans : Eigth International workshop for industrial critical systems, ROROS, 05/06/03-07/06/03, Thomas Arts, Wan Fokkink, p. 201-216, juin 2003.
Accès : 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
Dans : WRTP’03 27th IFAC/IFIP/IEEE Workshop on real-time programming, Logow(Pologne), 14/05/03-17/05/03, IEEE, p. 51-56, mai 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, janvier 2009.
Pierre Dissaux, Mamoun Filali, Pierre Michel, François Vernadat
Workshop on Architecture Description languages, Toulouse, Springer, avril 2005.
Pierre Dissaux, Mamoun Filali, Pierre Michel, François Vernadat
Architecture Description languages
, Springer, avril 2005.
Pierre Dissaux, Mamoun Filali, Pierre Michel, François Vernadat
Architecture Description languages
, Springer, avril 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, novembre 2003.