Publications de
Gérard Sébastien, Peter Feiler, Jean-François Rolland, Mamoun Filali, Marc-Olivier Reiser, Didier Delanote, Yolande Berbers, Laurent Pautet, Isabelle Perseil
UML & AADL ‘2007 Grand Challenges
Dans : ACM SIGBED Review, ACM : Association for Computing Machinery, New York, États-Unis, Numéro spécial A Special Report on UML & AADL Grand Challenges, Vol. 4 N. 4, (en ligne), octobre 2007.
Accès : http://www.cs.virginia.edu/sigbed/vol4_num4.html#columns
BibTeXJean-François Rolland, Thomas Dave, David Chemouil
Utilisation d’AADL pour la conception de logiciels de vol satellite
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 80, p. 41-44, mars 2007.
Isabelle Perseil, Laurent Pautet, Jean-François Rolland, Mamoun Filali, Didier Delanote, Stefan Van Baelen, Joosen Wouter, Yolande Berbers, Mallet Frédéric, Bertrand Dominique , Faucou Sébastien, Abdelhafid Zitouni, Mahmoud Boufaida, Lionel Seinturier, Joel Champeau, Thomas Abdoul, Peter Feiler, Chokri Mraidha, Sébastien Gérard
An Efficient Modeling and Execution Framework for Complex Systems Development (regular paper)
Dans : IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2011), Las Vegas NEVADA USA, 27/04/11-29/04/11, IEEE Computer Society, p. 317-331, avril 2011.
Marie de Roquemaurel, Thomas Polacsek, Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali
Assistance à la conception de modèles à l’aide de contraintes (regular paper)
Dans : Journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel (GDR-GPL), Groupe de travail MFDL, Lille, 07/06/11-10/06/11, CNRS – GDR GPL, p. 121-136, juin 2011.
Marie de Roquemaurel, Thomas Polacsek, Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali
Assistance à la conception de modèles à l’aide de contraintes (regular paper)
Dans : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2010), Poitiers, 09/06/10-11/06/10, Yamine Ait-Ameur (Eds.), LISI-ENSMA, p. 181-196, juin 2010.
Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Thomas Dave
AADL modes for space software
Dans : Data Systems In Aerospace (DASIA 2008), Palma de Majorca-Spain, 27/05/08-30/05/08, European Space Agency (ESA Publications), (support électronique), mai 2008.
Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Thomas Dave
Modes in asynchronous systems
Dans : IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2008), Belfast Ireland, 31/03/08-04/04/08, IEEE : Institute of Electrical and Electronics Engineers, (support électronique), avril 2008.
Jean-François Rolland, Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Dave Thomas
Towards a formal semantics for AADL execution model
Dans : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/08-01/02/08, SIA/3AF/SEE, (support électronique), janvier 2008.
Ricardo Bedin Franca, Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali
Assessment of AADL’s behavioral annex
Dans : FAC Formalisation des Activités Concurrentes, Toulouse, 15/03/07-16/03/07.
Jean-Paul Bodeveix, Raphael Cavallero, David Chemouil, Mamoun Filali, Jean-François Rolland
A mapping from AADL to Java-RTSJ
Dans : International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2007), Vienna, Austria, 26/09/07-28/09/07, ACM : Association for Computing Machinery, ACM International Conference Proceeding Series, p. 165-174, septembre 2007.
David Chemouil, Dave Thomas, Jean-François Rolland
Using AADL in an existing developement process for satellite flight software
Dans : 1st Workshop “UML and AADL”, ENST Paris, 09/10/06-09/10/06.
Développement et validation d’architectures dynamiques
Thèse de doctorat, Université Paul Sabatier, décembre 2008.