@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 = {Electronic Notes in Theoretical Computer Science},
  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 = {Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings},
  editor = {Jan Vitek},
  volume = {9032},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-662-46668-1},
}

@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 = {Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings},
  editor = {Sandrine Blazy and Christine Paulin-Mohring and David Pichardie},
  volume = {7998},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-39633-5},
}

@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 = {Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016},
  editor = {Martin Erwig and Tiark Rompf},
  publisher = {ACM},
  isbn = {978-1-4503-4097-7},
}

@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 = {Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings},
  editor = {Arnold Beckmann and Laurent Bienvenu and Natasa Jonoska},
  volume = {9709},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-40188-1},
}

@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 = {J. Formalized Reasoning},
  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 = {Certified Programs and Proofs - Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
  editor = {Chris Hawblitzel and Dale Miller},
  volume = {7679},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-35307-9},
}

@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 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings},
  editor = {John S. Fitzgerald and Constance L. Heitmeyer and Stefania Gnesi and Anna Philippou},
  volume = {9995},
  series = {Lecture Notes in Computer Science},
  isbn = {978-3-319-48988-9},
}

@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 = {Onward! 2014, Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming \& Software, part of SPLASH '14, Portland, OR, USA, October 20-24, 2014},
  editor = {Andrew P. Black and Shriram Krishnamurthi and Bernd Bruegge and Joseph N. Ruskiewicz},
  publisher = {ACM},
  isbn = {978-1-4503-3210-1},
}

@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 = {30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy},
  editor = {Shriram Krishnamurthi and Benjamin S. Lerner},
  volume = {56},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-95977-014-9},
}

@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 = {Smart Card Research and Advanced Applications - 10th IFIP WG 8.8/11.2 International Conference, CARDIS 2011, Leuven, Belgium, September 14-16, 2011, Revised Selected Papers},
  editor = {Emmanuel Prouff},
  volume = {7079},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-27256-1},
}

@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 = {26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland},
  editor = {Maribel Fernández},
  volume = {36},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-939897-85-9},
}

@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 = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014},
  editor = {Olaf Chitil and Andy King and Olivier Danvy},
  publisher = {ACM},
  isbn = {978-1-4503-2947-7},
}