biblio-J.bib

@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.