Publications de
Nadège Pontisso, David Chemouil
Vérification formelle d’un modèle AADL à l’aide de l’outil UPPAAL
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 80, p. 36-40, mars 2007.
Jean-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.
Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker
Towards formalising AADL in Proof Assistants
Dans : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 141, p. 153-169, août 2005.
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.
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.
Ricardo Bedin Franca, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas
The AADL behaviour annex — experiments and roadmap
Dans : IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), Auckland, New Zealand, 11/07/07-14/07/07, IEEE Computer Society, p. 377-382, 2007.
Nadège Pontisso, David Chemouil
TOPCASED Combining Formal Methods with Model-Driven Engineering
Dans : IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), Tokyo, Japan, 18/09/06-22/09/06, IEEE Computer Society, p. 359-360, 2006.
Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Nicolas Lalevee, Martin Strecker
Towards the verification of model transformations
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), 2006.
Accès : http://www.sia.fr/evenement_detail_erts2006_embedded_real_time_actes_365.htm
BibTeXDavid 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.
Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached, David Chemouil, Pierre Gaufillet
Experimenting an AADL Behavioural Annex and a Verification Method
Dans : Data Systems In Aerospace (DASIA 2006), Berlin-Germany, 22/05/06-25/05/06, European Space Agency (ESA Publications), (support électronique), 2006.
François Vernadat, Christian Percebois, Patrick Farail, R. Vingerhoeds, Alain Rossignol, Jean-Pierre Talpin, David Chemouil
The TOPCASED Project – A Toolkit in OPen-source for Critical Applications and SystEm Development
Dans : Data Systems In Aerospace (DASIA 2006), Berlin, Germany, 22/05/06-25/05/06, European Space Agency (ESA Publications), (support électronique), mai 2006.
Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker
Towards formalizing AADL in proof assistants
Dans : Formal Foundations of Embedded software and component-based softare architectures (ETAPS), Edinburgh, 02/04/05-10/04/05, Juliana Kuster-Filipe, Iman Poernomo , Ralf Reussner, Sandeep Shukla (Eds.), LFCS (University of Edinburgh), p. 137-153, avril 2005.
David Chemouil, Sergei Soloviev
Remarks on isomorphisms of simple inductive types
Dans : Mathematics, Logic and Computation, Eindhoven, 04/07/03-05/07/03, Elsevier, Electronic Notes in Theoretical Computer Science 85, 7, p. 1-19, juillet 2003.
Résumé Accès : http://dx.doi.org/10.1016/S1571-0661(04)80760-6
BibTeXSergei Soloviev, David Chemouil
Some Algebraic Structures in Lambda-Calculus with Inductive Types
Dans : TYPES, Torino, 30/04/03-04/05/03, Stefano Berardi, Mario Coppo, Ferrucio Damiani (Eds.), Springer, LNCS, Volume 3085/2004, p. 338-354, avril 2003.
Freiric Barral, David Chemouil, Sergei Soloviev
Non-standard reductions and categorical models in typed lambda-calculus
Dans : Logitcheskie Issledovaniya (Logical Investigations). Alexander S. Karpenko (Eds.) , Nauka, p. 300-315, Vol. 12, Logitcheskie Issledovaniya (Logical Investigations), octobre 2005.
Types inductifs, isomorphismes et récriture extensionnelle
Thèse de doctorat, Université Paul Sabatier, septembre 2004.