Pierre Néron

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 5

Top Topics

Conceptual Model

Hardware Architecture

Security Enforcement

Top Venues

Dagstuhl Artifacts Ser.

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Thomas Letan, Pierre Chifflier, Guillaume Hiet, Pierre Néron, Benjamin Morin
SpecCert: Specifying and Verifying Hardware-Based Security Enforcement. FM (2016)
Olivier Bournez, Nachum Dershowitz, Pierre Néron
Axiomatizing Analog Algorithms. CiE (2016)
Olivier Bournez, Nachum Dershowitz, Pierre Néron
Axiomatizing Analog Algorithms. CoRR (2016)
Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics. ECOOP (2016)
Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact). Dagstuhl Artifacts Ser. 2 (1) (2016)