@article{Neron15,
  title = {A Certifying Square Root and Division Elimination},
  author = {Pierre Néron},
  year = {2015},
  doi = {10.1016/j.entcs.2015.10.012},
  url = {http://dx.doi.org/10.1016/j.entcs.2015.10.012},
  researchr = {https://researchr.org/publication/Neron15},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {317},
  pages = {117-131},
}

@inproceedings{NeronTVW15,
  title = {A Theory of Name Resolution},
  author = {Pierre Néron and Andrew P. Tolmach and Eelco Visser and Guido Wachsmuth},
  year = {2015},
  doi = {10.1007/978-3-662-46669-8_9},
  url = {http://dx.doi.org/10.1007/978-3-662-46669-8_9},
  researchr = {https://researchr.org/publication/NeronTVW15},
  cites = {0},
  citedby = {0},
  pages = {205-231},
  booktitle = {ESOP},
}

@inproceedings{Neron13,
  title = {Square Root and Division Elimination in PVS},
  author = {Pierre Néron},
  year = {2013},
  doi = {10.1007/978-3-642-39634-2_33},
  url = {http://dx.doi.org/10.1007/978-3-642-39634-2_33},
  researchr = {https://researchr.org/publication/Neron13},
  cites = {0},
  citedby = {0},
  pages = {457-462},
  booktitle = {itp},
}

@phdthesis{hal-987,
  title = {A Quest for Exactness: Program Transformation for Reliable Real Numbers. (Transformation de Programmes pour des Nombres Réels Fiables)},
  author = {Pierre Néron},
  year = {2013},
  url = {https://tel.archives-ouvertes.fr/pastel-00960808},
  researchr = {https://researchr.org/publication/hal-987},
  cites = {0},
  citedby = {0},
  school = {École Polytechnique, Palaiseau, France},
}

@inproceedings{AntwerpenNTVW16,
  title = {A constraint language for static semantic analysis based on scope graphs},
  author = {Hendrik van Antwerpen and Pierre Néron and Andrew P. Tolmach and Eelco Visser and Guido Wachsmuth},
  year = {2016},
  doi = {10.1145/2847538.2847543},
  url = {http://doi.acm.org/10.1145/2847538.2847543},
  researchr = {https://researchr.org/publication/AntwerpenNTVW16},
  cites = {0},
  citedby = {0},
  pages = {49-60},
  booktitle = {PEPM},
}

@techreport{TUD-SERG-2015-012,
  title = {A Constraint Language for Static Semantic Analysis based on Scope Graphs with Proofs},
  author = {Hendrik van Antwerpen and Pierre Néron and Andrew P. Tolmach and Eelco Visser and Guido Wachsmuth},
  year = {2015},
  month = {November},
  url = {http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2015-012.pdf},
  note = {Available at \url{http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2015-012.pdf}},
  researchr = {https://researchr.org/publication/TUD-SERG-2015-012},
  cites = {0},
  citedby = {0},
  institution = {Software Engineering Research Group, Delft University of Technology},
  number = {TUD-SERG-2015-012},
}

@inproceedings{BournezDN16,
  title = {Axiomatizing Analog Algorithms},
  author = {Olivier Bournez and Nachum Dershowitz and Pierre Néron},
  year = {2016},
  doi = {10.1007/978-3-319-40189-8_22},
  url = {http://dx.doi.org/10.1007/978-3-319-40189-8_22},
  researchr = {https://researchr.org/publication/BournezDN16},
  cites = {0},
  citedby = {0},
  pages = {215-224},
  booktitle = {CiE},
}

@article{PoulsenNTV16Artifact,
  title = {Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)},
  author = {Casper Bach Poulsen and Pierre Néron and Andrew P. Tolmach and Eelco Visser},
  year = {2016},
  doi = {10.4230/DARTS.2.1.10},
  url = {http://dx.doi.org/10.4230/DARTS.2.1.10},
  researchr = {https://researchr.org/publication/PoulsenNTV16Artifact},
  cites = {0},
  citedby = {0},
  journal = {darts},
  volume = {2},
  number = {1},
}

@techreport{TUD-SERG-2015-009,
  title = {A Constraint Language for Static Semantic Analysis based on Scope Graphs with Proofs},
  author = {Hendrik van Antwerpen and Pierre Néron and Andrew P. Tolmach and Eelco Visser and Guido Wachsmuth},
  year = {2015},
  month = {September},
  url = {http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2015-009.pdf},
  note = {Available at \url{http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2015-009.pdf}},
  researchr = {https://researchr.org/publication/TUD-SERG-2015-009},
  cites = {0},
  citedby = {0},
  institution = {Software Engineering Research Group, Delft University of Technology},
  number = {TUD-SERG-2015-009},
}

@article{Neron13-0,
  title = {A Formal Proof of Square Root and Division Elimination in Embedded Programs},
  author = {Pierre Néron},
  year = {2013},
  doi = {10.6092/issn.1972-5787/3887},
  url = {http://dx.doi.org/10.6092/issn.1972-5787/3887},
  researchr = {https://researchr.org/publication/Neron13-0},
  cites = {0},
  citedby = {0},
  journal = {jfrea},
  volume = {6},
  number = {1},
  pages = {89-111},
}

@inproceedings{Neron12,
  title = {A Formal Proof of Square Root and Division Elimination in Embedded Programs},
  author = {Pierre Néron},
  year = {2012},
  doi = {10.1007/978-3-642-35308-6_20},
  url = {http://dx.doi.org/10.1007/978-3-642-35308-6_20},
  researchr = {https://researchr.org/publication/Neron12},
  cites = {0},
  citedby = {0},
  pages = {256-272},
  booktitle = {CPP},
}

@inproceedings{LetanCHNM16,
  title = {SpecCert: Specifying and Verifying Hardware-Based Security Enforcement},
  author = {Thomas Letan and Pierre Chifflier and Guillaume Hiet and Pierre Néron and Benjamin Morin},
  year = {2016},
  doi = {10.1007/978-3-319-48989-6_30},
  url = {http://dx.doi.org/10.1007/978-3-319-48989-6_30},
  researchr = {https://researchr.org/publication/LetanCHNM16},
  cites = {0},
  citedby = {0},
  pages = {496-512},
  booktitle = {FM},
}

@techreport{TUD-SERG-2015-006,
  title = {Language-Independent Type-Dependent Name Resolution},
  author = {Hendrik van Antwerpen and Pierre Néron and Andrew P. Tolmach and Eelco Visser and Guido Wachsmuth},
  year = {2015},
  month = {July},
  researchr = {https://researchr.org/publication/TUD-SERG-2015-006},
  cites = {0},
  citedby = {0},
  institution = {Delft University of Technology, Software Engineering Research Group},
  number = {TUD-SERG-2015-006},
  address = {Delft, The Netherlands},
}

@inproceedings{VisserOnward14,
  title = {A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs},
  author = {Eelco Visser and Guido Wachsmuth and Andrew P. Tolmach and Pierre Néron and Vlad A. Vergu and Augusto Passalaqua and Gabriël Konat},
  year = {2014},
  doi = {10.1145/2661136.2661149},
  url = {http://doi.acm.org/10.1145/2661136.2661149},
  researchr = {https://researchr.org/publication/VisserOnward14},
  cites = {0},
  citedby = {0},
  pages = {95-111},
  booktitle = {OOPSLA},
}

@inproceedings{PoulsenNTV16,
  title = {Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics},
  author = {Casper Bach Poulsen and Pierre Néron and Andrew P. Tolmach and Eelco Visser},
  year = {2016},
  doi = {10.4230/LIPIcs.ECOOP.2016.20},
  researchr = {https://researchr.org/publication/PoulsenNTV16},
  cites = {0},
  citedby = {0},
  booktitle = {ECOOP},
}

@inproceedings{NeronN11,
  title = {A Formal Security Model of a Smart Card Web Server},
  author = {Pierre Néron and Quang Huy Nguyen},
  year = {2011},
  doi = {10.1007/978-3-642-27257-8_3},
  url = {http://dx.doi.org/10.1007/978-3-642-27257-8_3},
  researchr = {https://researchr.org/publication/NeronN11},
  cites = {0},
  citedby = {0},
  pages = {34-49},
  booktitle = {cardis},
}

@inproceedings{VerguNV15,
  title = {DynSem: A {DSL} for Dynamic Semantics Specification},
  author = {Vlad A. Vergu and Pierre Néron and Eelco Visser},
  year = {2015},
  doi = {10.4230/LIPIcs.RTA.2015.365},
  url = {http://dx.doi.org/10.4230/LIPIcs.RTA.2015.365},
  researchr = {https://researchr.org/publication/VerguNV15},
  cites = {0},
  citedby = {0},
  pages = {365-378},
  booktitle = {RTA},
}

@inproceedings{Neron14,
  title = {Elimination of Square Roots and Divisions by Partial Inlining},
  author = {Pierre Néron},
  year = {2014},
  doi = {10.1145/2643135.2643140},
  url = {http://doi.acm.org/10.1145/2643135.2643140},
  researchr = {https://researchr.org/publication/Neron14},
  cites = {0},
  citedby = {0},
  pages = {81-92},
  booktitle = {ppdp},
}