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 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"
- 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"