Olivier Andrieu (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço: Experience report: using objective caml to develop safety-critical embedded tools in a certification framework. ICFP 2009: 215-220

3 Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang: Certified Development Tools Implementation in Objective Caml. PADL 2008: 2-17

Selection of 2 from 4 records - Olivier Andrieu has 15 coauthors

4		Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço: Experience report: using objective caml to develop safety-critical embedded tools in a certification framework. ICFP 2009: 215-220
3		Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang: Certified Development Tools Implementation in Objective Caml. PADL 2008: 2-17