Olivier Andrieu

According to our database, Olivier Andrieu authored at least 7 papers between 2004 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Handling State-Machines Specifications with GATeL.

Benjamin Blanc, Christophe Junke, Bruno Marre, Pascale Le Gall, Olivier Andrieu

Proceedings of the Sixth Workshop on Model-Based Testing, 2010

2009

Experience report: using objective caml to develop safety-critical embedded tools in a certification framework.

Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008

Certified Development Tools Implementation in Objective Caml.

Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang

Proceedings of the Practical Aspects of Declarative Languages, 2008

2007

MED-SuMoLig: A New Ligand-Based Screening Tool for Efficient Scaffold Hopping.

Olivier Sperandio, Olivier Andrieu, Maria A. Miteva, Minh-Quang Vo, Marc Souaille, François Delfaud, Bruno O. Villoutreix

J. Chem. Inf. Model., 2007

2005

Combined Evidence Annotation of Transposable Elements in Genome Sequences.

Hadi Quesneville, Casey M. Bergman, Olivier Andrieu, Delphine Autard, Danielle Nouaud, Michael Ashburner, Dominique Anxolabéhère

PLoS Comput. Biol., 2005

The SuMo server: 3D search for protein functional sites.

Martin Jambon, Olivier Andrieu, Christophe Combet, Gilbert Deléage, François Delfaud, Christophe Geourjon

Bioinform., 2005

2004

Detection of transposable elements by their compositional bias.

Olivier Andrieu, Anna-Sophie Fiston, Dominique Anxolabéhère, Hadi Quesneville

BMC Bioinform., 2004