Search results for "Sylvie Boldo"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Sylvie Boldo, Thi Minh Tuyen Nguyen	Proofs of numerical programs when the compiler optimizes.	ISSE	2011	DBLP DOI BibTeX RDF
1	Sylvie Boldo, Jean-Michel Muller	Exact and Approximated Error of the FMA.	IEEE Trans. Computers	2011	DBLP DOI BibTeX RDF
1	Sylvie Boldo, Claude Marché	Formal Verification of Numerical Programs: From C Annotated Programs to Mechanical Proofs.	Mathematics in Computer Science	2011	DBLP DOI BibTeX RDF
1	Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis	Wave Equation Numerical Resolution: Mathematics and Program	CoRR	2011	DBLP BibTeX RDF
1	Sylvie Boldo, Guillaume Melquiond	Flocq: A Unified Library for Proving Floating-Point Algorithms in Coq.	IEEE Symposium on Computer Arithmetic	2011	DBLP DOI BibTeX RDF
1	Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis	Formal Proof of a Wave Equation Resolution Scheme: the Method Error	CoRR	2010	DBLP BibTeX RDF
1	Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis	Formal Proof of a Wave Equation Resolution Scheme: the Method Error	CoRR	2010	DBLP BibTeX RDF
1	Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis	Formal Proof of a Wave Equation Resolution Scheme: The Method Error.	ITP	2010	DBLP DOI BibTeX RDF
1	Sylvie Boldo, Marc Daumas, Ren-Cang Li	Formally Verified Argument Reduction with a Fused Multiply-Add.	IEEE Trans. Computers	2009	DBLP DOI BibTeX RDF
1	Sylvie Boldo	Kahan's Algorithm for a Correct Discriminant Computation at Last Formally Proven.	IEEE Trans. Computers	2009	DBLP DOI BibTeX RDF
1	Sylvie Boldo	Floats and Ropes: A Case Study for Formal Numerical Program Verification.	ICALP	2009	DBLP DOI BibTeX RDF
1	Sylvie Boldo, Jean-Christophe Filliâtre, Guillaume Melquiond	Combining Coq and Gappa for Certifying Floating-Point Programs.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
1	Sylvie Boldo, Guillaume Melquiond	Emulation of a FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to Odd.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Verification, Computer arithmetic
1	Sylvie Boldo, Marc Daumas, Ren-Cang Li	Formally Verified Argument Reduction with a Fused-Multiply-Add	CoRR	2007	DBLP BibTeX RDF
1	Sylvie Boldo, Jean-Christophe Filliâtre	Formal Verification of Floating-Point Programs.	IEEE Symposium on Computer Arithmetic	2007	DBLP DOI BibTeX RDF
1	Sylvie Boldo	Pitfalls of a Full Floating-Point Proof: Example on the Formal Proof of the Veltkamp/Dekker Algorithms.	IJCAR	2006	DBLP DOI BibTeX RDF
1	Sylvie Boldo, César Muñoz	Provably faithful evaluation of polynomials.	SAC	2006	DBLP DOI BibTeX RDF	formal verification, floating-point, polynomial evaluation
1	Sylvie Boldo, Jean-Michel Muller	Some Functions Computable with a Fused-Mac.	IEEE Symposium on Computer Arithmetic	2005	DBLP DOI BibTeX RDF
1	Sylvie Boldo, Marc Daumas	A Simple Test Qualifying the Accuracy of Horner'S Rule for Polynomials.	Numerical Algorithms	2004	DBLP DOI BibTeX RDF
1	Sylvie Boldo, Marc Daumas	Properties of two's complement floating point notations.	STTT	2004	DBLP DOI BibTeX RDF	Digital signal processing, Avionics, Formal proof
1	Sylvie Boldo, Marc Daumas	Representable Correcting Terms for Possibly Underflowing Floating Point Operations.	IEEE Symposium on Computer Arithmetic	2003	DBLP DOI BibTeX RDF
1	Ren-Cang Li, Sylvie Boldo, Marc Daumas	Theorems on Efficient Argument Reductions.	IEEE Symposium on Computer Arithmetic	2003	DBLP DOI BibTeX RDF
1	Sylvie Boldo, Marc Daumas	Properties of the subtraction valid for any floating point system.	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Sylvie Boldo, Marc Daumas, Claire Moreau-Finot, Laurent Théry	Computer validated proofs of a toolset for adaptable arithmetic	CoRR	2001	DBLP BibTeX RDF

Publications of "Sylvie Boldo" ( http://dblp.L3S.de/Authors/Sylvie_Boldo )