Thomas Moniot (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 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

1 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 2 records - Thomas Moniot has 7 coauthors

2		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
1		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