Pierre Neron

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 4

Top Topics

Kalman Filtering

Constraint Language

Top Venues

J. Formaliz. Reason.

Publications

Hendrik van Antwerpen, Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth
A constraint language for static semantic analysis based on scope graphs. PEPM (2016)
Pierre Neron
A Certifying Square Root and Division Elimination. Electron. Notes Theor. Comput. Sci. 317 (2015)
Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth
A Theory of Name Resolution. ESOP (2015)
Vlad A. Vergu, Pierre Neron, Eelco Visser
DynSem: A DSL for Dynamic Semantics Specification. RTA (2015)
Eelco Visser, Guido Wachsmuth, Andrew P. Tolmach, Pierre Neron, Vlad A. Vergu, Augusto Passalaqua, Gabriël Konat
A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs. Onward! (2014)
Pierre Neron
Elimination of Square Roots and Divisions by Partial Inlining. PPDP (2014)
Pierre Neron
A Formal Proof of Square Root and Division Elimination in Embedded Programs. J. Formaliz. Reason. 6 (1) (2013)
Pierre Neron
Square Root and Division Elimination in PVS. ITP (2013)
Pierre Neron
A Formal Proof of Square Root and Division Elimination in Embedded Programs. CPP (2012)
Pierre Neron, Quang-Huy Nguyen
A Formal Security Model of a Smart Card Web Server. CARDIS (2011)