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: "ENTCS"
  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"
  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"
  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: "mscs"
  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: "ENTCS"
  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: "ASE"
  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: "mscs"
  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: "jtres"
  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: "ICECCS"
  kind: "inproceedings"
  key: "FrancaBFRCT07"