@article{BodeveixCFS05,
  title = {Towards formalising AADL in Proof Assistants},
  author = {Jean-Paul Bodeveix and David Chemouil and Mamoun Filali and Martin Strecker},
  year = {2005},
  doi = {10.1016/j.entcs.2005.05.008},
  url = {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},
}

@inproceedings{Chemouil07,
  title = {The Design of Spacecraft On-Board Software},
  author = {David Chemouil},
  year = {2007},
  doi = {10.1007/11955757_3},
  url = {http://dx.doi.org/10.1007/11955757_3},
  tags = {design},
  researchr = {https://researchr.org/publication/Chemouil07},
  cites = {0},
  citedby = {0},
  pages = {3},
  booktitle = {b},
}

@inproceedings{SolovievC03,
  title = {Some Algebraic Structures in Lambda-Calculus with Inductive Types},
  author = {Sergei Soloviev and David Chemouil},
  year = {2003},
  url = {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},
}

@article{Chemouil08,
  title = {An insertion operator preserving infinite reduction sequences},
  author = {David Chemouil},
  year = {2008},
  doi = {10.1017/S0960129508006816},
  url = {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},
}

@article{ChemouilS03,
  title = {Remarks on isomorphisms of simple inductive types},
  author = {David Chemouil and Sergei Soloviev},
  year = {2003},
  url = {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},
}

@inproceedings{PontissoC06,
  title = {TOPCASED Combining Formal Methods with Model-Driven Engineering},
  author = {Nadège Pontisso and David Chemouil},
  year = {2006},
  doi = {10.1109/ASE.2006.68},
  url = {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},
}

@article{Chemouil05,
  title = {Isomorphisms of simple inductive types through extensional rewriting},
  author = {David Chemouil},
  year = {2005},
  doi = {10.1017/S0960129505004950},
  url = {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},
}

@inproceedings{BodeveixCCFR07,
  title = {A mapping from AADL to Java-RTSJ},
  author = {Jean-Paul Bodeveix and Raphaël Cavallero and David Chemouil and Mamoun Filali and Jean-François Rolland},
  year = {2007},
  doi = {10.1145/1288940.1288965},
  url = {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},
}

@inproceedings{FrancaBFRCT07,
  title = {The AADL behaviour annex - experiments and roadmap},
  author = {Ricardo Bedin França and Jean-Paul Bodeveix and Mamoun Filali and Jean-François Rolland and David Chemouil and Dave Thomas},
  year = {2007},
  doi = {10.1109/ICECCS.2007.41},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.41},
  researchr = {https://researchr.org/publication/FrancaBFRCT07},
  cites = {0},
  citedby = {0},
  pages = {377-382},
  booktitle = {ICECCS},
}