publications:
- title: "Towards formalising AADL in Proof Assistants"
  author:
  - name: "Jean-Paul Bodeveix"
    link: "http://www.irit.fr/PERSONNEL/ACADIE/bodeveix/"
  - name: "David Chemouil"
    link: "http://www.onera.fr/staff/david-chemouil"
  - name: "Mamoun Filali"
    link: "http://www.irit.fr/~Mamoun.Filali/"
  - name: "Martin Strecker"
    link: "http://www.irit.fr/~Martin.Strecker/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.05.008"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.05.008"
  tags:
  - "proof assistant"
  researchr: "https://researchr.org/publication/BodeveixCFS05"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "141"
  number: "3"
  pages: "153-169"
  kind: "article"
  key: "BodeveixCFS05"
- title: "The Design of Spacecraft On-Board Software"
  author:
  - name: "David Chemouil"
    link: "http://www.onera.fr/staff/david-chemouil"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/11955757_3"
  links:
    doi: "http://dx.doi.org/10.1007/11955757_3"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/Chemouil07"
  cites: 0
  citedby: 0
  pages: "3"
  booktitle: "B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings"
  editor:
  - name: "Jacques Julliand"
    link: "https://researchr.org/alias/jacques-julliand"
  - name: "Olga Kouchnarenko"
    link: "https://researchr.org/alias/olga-kouchnarenko"
  volume: "4355"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-68760-2"
  kind: "inproceedings"
  key: "Chemouil07"
- title: "Some Algebraic Structures in Lambda-Calculus with Inductive Types"
  author:
  - name: "Sergei Soloviev"
    link: "http://www.irit.fr/~Sergei.Soloviev/"
  - name: "David Chemouil"
    link: "http://www.onera.fr/staff/david-chemouil"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3085&spage=338"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3085&spage=338"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/SolovievC03"
  cites: 0
  citedby: 0
  pages: "338-354"
  booktitle: "Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers"
  editor:
  - name: "Stefano Berardi"
    link: "https://researchr.org/alias/stefano-berardi"
  - name: "Mario Coppo"
    link: "https://researchr.org/alias/mario-coppo"
  - name: "Ferruccio Damiani"
    link: "https://researchr.org/alias/ferruccio-damiani"
  volume: "3085"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22164-6"
  kind: "inproceedings"
  key: "SolovievC03"
- title: "An insertion operator preserving infinite reduction sequences"
  author:
  - name: "David Chemouil"
    link: "http://www.onera.fr/staff/david-chemouil"
  year: "2008"
  doi: "http://dx.doi.org/10.1017/S0960129508006816"
  links:
    doi: "http://dx.doi.org/10.1017/S0960129508006816"
  researchr: "https://researchr.org/publication/Chemouil08"
  cites: 0
  citedby: 0
  journal: "Mathematical Structures in Computer Science"
  volume: "18"
  number: "4"
  pages: "693-728"
  kind: "article"
  key: "Chemouil08"
- title: "Remarks on isomorphisms of simple inductive types"
  author:
  - name: "David Chemouil"
    link: "http://www.onera.fr/staff/david-chemouil"
  - name: "Sergei Soloviev"
    link: "http://www.irit.fr/~Sergei.Soloviev/"
  year: "2003"
  doi: "http://www1.elsevier.com/gej-ng/31/29/23/138/48/show/Products/notes/index.htt#008"
  links:
    doi: "http://www1.elsevier.com/gej-ng/31/29/23/138/48/show/Products/notes/index.htt#008"
  researchr: "https://researchr.org/publication/ChemouilS03"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "85"
  number: "7"
  pages: "106-124"
  kind: "article"
  key: "ChemouilS03"
- title: "TOPCASED Combining Formal Methods with Model-Driven Engineering"
  author:
  - name: "Nadège Pontisso"
    link: "http://"
  - name: "David Chemouil"
    link: "http://www.onera.fr/staff/david-chemouil"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ASE.2006.68"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ASE.2006.68"
  tags:
  - "meta-model"
  - "model-driven engineering"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/PontissoC06"
  cites: 0
  citedby: 0
  pages: "359-360"
  booktitle: "21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2579-2"
  kind: "inproceedings"
  key: "PontissoC06"
- title: "Isomorphisms of simple inductive types through extensional rewriting"
  author:
  - name: "David Chemouil"
    link: "http://www.onera.fr/staff/david-chemouil"
  year: "2005"
  doi: "http://dx.doi.org/10.1017/S0960129505004950"
  links:
    doi: "http://dx.doi.org/10.1017/S0960129505004950"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Chemouil05"
  cites: 0
  citedby: 0
  journal: "Mathematical Structures in Computer Science"
  volume: "15"
  number: "5"
  pages: "875-915"
  kind: "article"
  key: "Chemouil05"
- title: "A mapping from AADL to Java-RTSJ"
  author:
  - name: "Jean-Paul Bodeveix"
    link: "http://www.irit.fr/PERSONNEL/ACADIE/bodeveix/"
  - name: "Raphaël Cavallero"
    link: "http://"
  - name: "David Chemouil"
    link: "http://www.onera.fr/staff/david-chemouil"
  - name: "Mamoun Filali"
    link: "http://www.irit.fr/~Mamoun.Filali/"
  - name: "Jean-François Rolland"
    link: "http://"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1288940.1288965"
  links:
    doi: "http://doi.acm.org/10.1145/1288940.1288965"
  tags:
  - "Java"
  researchr: "https://researchr.org/publication/BodeveixCCFR07"
  cites: 0
  citedby: 0
  pages: "165-174"
  booktitle: "Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2007, Institute of Computer Engineering, Vienna University of Technology, 26-28 September 2007, Vienna, Austria"
  editor:
  - name: "Gregory Bollella"
    link: "https://researchr.org/alias/gregory-bollella"
  series: "ACM International Conference Proceeding Series"
  publisher: "ACM"
  kind: "inproceedings"
  key: "BodeveixCCFR07"
- title: "The AADL behaviour annex - experiments and roadmap"
  author:
  - name: "Ricardo Bedin França"
    link: "http://"
  - name: "Jean-Paul Bodeveix"
    link: "http://www.irit.fr/PERSONNEL/ACADIE/bodeveix/"
  - name: "Mamoun Filali"
    link: "http://www.irit.fr/~Mamoun.Filali/"
  - name: "Jean-François Rolland"
    link: "http://"
  - name: "David Chemouil"
    link: "http://www.onera.fr/staff/david-chemouil"
  - name: "Dave Thomas"
    link: "http://"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.41"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.41"
  researchr: "https://researchr.org/publication/FrancaBFRCT07"
  cites: 0
  citedby: 0
  pages: "377-382"
  booktitle: "12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-2895-3"
  kind: "inproceedings"
  key: "FrancaBFRCT07"