Publications of
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
In : ACM SIGBED Review, ACM : Association for Computing Machinery, New York, États-Unis, Special issue A Special Report on UML & AADL Grand Challenges, Vol. 4 N. 4, (on line), October 2007.
URL : 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
In : Génie Logiciel, GL & IS, Meudon – France, Vol. 80, pp. 41-44, March 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)
In : IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2011), Las Vegas NEVADA USA, 27/04/11-29/04/11, IEEE Computer Society, pp. 317-331, April 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)
In : 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, pp. 121-136, June 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)
In : 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, pp. 181-196, June 2010.
Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Thomas Dave
AADL modes for space software
In : Data Systems In Aerospace (DASIA 2008), Palma de Majorca-Spain, 27/05/08-30/05/08, European Space Agency (ESA Publications), (electronic medium), May 2008.
Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Thomas Dave
Modes in asynchronous systems
In : 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, (electronic medium), April 2008.
Jean-François Rolland, Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Dave Thomas
Towards a formal semantics for AADL execution model
In : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/08-01/02/08, SIA/3AF/SEE, (electronic medium), January 2008.
Ricardo Bedin Franca, Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali
Assessment of AADL’s behavioral annex
In : 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
In : 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, pp. 165-174, September 2007.
David Chemouil, Dave Thomas, Jean-François Rolland
Using AADL in an existing developement process for satellite flight software
In : 1st Workshop “UML and AADL”, ENST Paris, 09/10/06-09/10/06.
Développement et validation d’architectures dynamiques
Master’s Thesis, Université Paul Sabatier, December 2008.