Guillaume Melquiond

Publications

1.1K

Citations

H-Index

2003

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Centre National de la Recherche Scientifique

Laboratoire de Recherche en Informatique

Université Paris-Sud

Centre Inria de Saclay

Guillaume Melquiond is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, formal methods, and computer science.

ORCID

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationProgram AnalysisSoftware AnalysisComputer EngineeringAutomated ReasoningApproximation Theory

Publications per year

2003–2023

Publications

Flocq: A Unified Library for Proving Floating-Point Algorithms in Coq

Sylvie Boldo, Guillaume Melquiond · 2011 · 134 citations · Full text

Engineering, Verification, Computer-aided Verification +19

Certification of bounds on expressions involving rounded operators

Marc Daumas, Guillaume Melquiond · ACM Transactions on Mathematical Software · 2010 · 105 citations

Engineering, Verification, Computer-aided Verification +18

Coquelicot: A User-Friendly Library of Real Analysis for Coq

Sylvie Boldo, Catherine Lelay, Guillaume Melquiond · Mathematics in Computer Science · 2014 · 89 citations · Full text

Engineering, Program Analysis, Automated Reasoning +7

Certifying the Floating-Point Implementation of an Elementary Function Using Gappa

Florent de Dinechin, Christoph Lauter, Guillaume Melquiond · IEEE Transactions on Computers · 2010 · 86 citations · Full text

Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program

Sylvie Boldo, François Clément, Jean-Christophe Filliâtre et al. · Journal of Automated Reasoning · 2012 · 67 citations · Full text

Numerical Analysis, Numerical Computation, Engineering +9

Rows per page

1–5 of 23