A Formal Security Model of a Smart Card Web Server. - Pierre Neron; Quang-Huy Nguyen (CARDIS, 2011)

Square Root and Division Elimination in PVS. - Pierre Neron (ITP, 2013)

A Formal Proof of Square Root and Division Elimination in Embedded Programs. - Pierre Neron (J. Formaliz. Reason., 2013)

A Quest for Exactness: Program Transformation for Reliable Real Numbers. (Transformation de Programmes pour des Nombres Réels Fiables). - Pierre Néron (2013)

A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs. - Eelco Visser; Guido Wachsmuth; Andrew P. Tolmach; Pierre Neron; Vlad A. Vergu; Augusto Passalaqua; Gabriël Konat (Onward!, 2014)

Elimination of Square Roots and Divisions by Partial Inlining. - Pierre Neron (PPDP, 2014)

A Theory of Name Resolution. - Pierre Neron; Andrew P. Tolmach; Eelco Visser; Guido Wachsmuth (ESOP, 2015)

DynSem: A DSL for Dynamic Semantics Specification. - Vlad A. Vergu; Pierre Neron; Eelco Visser (RTA, 2015)

A Certifying Square Root and Division Elimination. - Pierre Neron (NSV, 2015)

Axiomatizing Analog Algorithms. - Olivier Bournez; Nachum Dershowitz; Pierre Néron (CiE, 2016)

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics. - Casper Bach Poulsen; Pierre Néron; Andrew P. Tolmach; Eelco Visser (ECOOP, 2016)

SpecCert: Specifying and Verifying Hardware-Based Security Enforcement. - Thomas Letan; Pierre Chifflier; Guillaume Hiet; Pierre Néron; Benjamin Morin (FM, 2016)

A constraint language for static semantic analysis based on scope graphs. - Hendrik van Antwerpen; Pierre Neron; Andrew P. Tolmach; Eelco Visser; Guido Wachsmuth (PEPM, 2016)

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact). - Casper Bach Poulsen; Pierre Néron; Andrew P. Tolmach; Eelco Visser (Dagstuhl Artifacts Ser., 2016)

Functional Programming in Financial Markets (Experience Report). - Atze Dijkstra; José Pedro Magalhães; Pierre Néron (Proc. ACM Program. Lang., 2024)