@article{JAR2021,
author = {Sylvie Boldo and François Clément and Florian Faissole
and Vincent Martin and Micaela Mayero},
title = {A Coq Formalization of Lebesgue Integration of Nonnegative Functions},
journal = {J. Autom. Reasoning},
volume = {66},
number = {2},
pages = {175--213},
year = {2022},
http = {https://hal.archives-ouvertes.fr/hal-03194113/}
}
@article{hensel-jar2014,
author = {{\'{E}}rik Martin{-}Dorel and
Guillaume Hanrot and
Micaela Mayero and
Laurent Th{\'{e}}ry},
title = {Formally Verified Certificate Checkers for Hardest-to-Round
Computation},
journal = {J. Autom. Reasoning},
volume = {54},
number = {1},
pages = {1--29},
year = {2015},
http = {http://www-lipn.univ-paris13.fr/~mayero/publis/JARhensel2015.pdf}
}
@article{FostCAMWA14,
author = {Sylvie Boldo and
Fran{\c{c}}ois Cl{\'{e}}ment and
Jean{-}Christophe Filli{\^{a}}tre and
Micaela Mayero and
Guillaume Melquiond and
Pierre Weis},
title = {Trusting computations: {A} mechanized proof from partial
differential equations to actual program},
journal = {Computers {\&} Mathematics with Applications},
volume = {68},
number = {3},
pages = {325--352},
year = {2014},
http = {http://www.sciencedirect.com/science/article/pii/S0898122114002636}
}
@article{DBLP:journals/jar/jar-fost2012,
author = {Sylvie Boldo and François Clément and Jean-Christophe Filliâtre
and Micaela Mayero and Guillaume Melquiond and Pierre Weis},
title = {Wave Equation Numerical Resolution:
a Comprehensive Mechanized Proof of a C Program},
journal = {J. Autom. Reasoning},
volume = {50},
number = {4},
pages = {423-456},
year = {2013},
http = {http://www-lipn.univ-paris13.fr/~mayero/publis/JARFOST2012.pdf}
}
@inproceedings{CC-MM-LP-JNASA,
author = {Choppy, Christine and Mayero, Micaela and
Petrucci, Laure},
title = {{C}oloured {P}etri net refinement specification
and correctness proof with {C}oq},
journal = {ISSE},
volume = {6},
number = {3},
pages = {195-202},
year = {2010},
http = {http://www-lipn.univ-paris13.fr/~mayero/publis/jnasa09.pdf}
}
@inproceedings{MM-DD-JSC,
author = {Delahaye, David and Mayero, Micaela},
title = {{D}ealing with {A}lgebraic {E}xpressions over a
{F}ield in {C}oq using {M}aple},
booktitle = {Journal of Symbolic Computation: special issue
on the integration of automated reasoning and
computer algebra systems},
volume = {39},
number = {5},
year = {2005},
pages = {569-592},
year = {2005},
http = {http://www-lipn.univ-paris13.fr/~mayero/publis/Maple-Mode.ps.gz}
}
This file was generated by bibtex2html 1.99.