Maxime Dénès

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 2

Top Venues

ITP

IEEE Symposium on Security and Privacy

J. Funct. Program.

CoRR

University of Nice Sophia Antipolis, France (PHD)

Education History

University of Nice Sophia Antipolis, France

PHD

Publications

Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce, Dimitrios Vytiniotis
Testing noninterference, quickly. J. Funct. Program. 26 (2016)
Guillaume Cano, Cyril Cohen, Maxime Dénès, Anders Mörtberg, Vincent Siles
Formalized linear algebra over Elementary Divisor Rings in Coq. Log. Methods Comput. Sci. 12 (2) (2016)
Arthur Azevedo de Amorim, Maxime Dénès, Nick Giannarakis, Catalin Hritcu, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach
Micro-Policies: Formally Verified, Tag-Based Security Monitors. IEEE Symposium on Security and Privacy (2015)
Zoe Paraskevopoulou, Catalin Hritcu, Maxime Dénès, Leonidas Lampropoulos, Benjamin C. Pierce
Foundational Property-Based Testing. ITP (2015)
Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce, Dimitrios Vytiniotis
Testing Noninterference, Quickly. CoRR (2014)
Cyril Cohen, Maxime Dénès, Anders Mörtberg
Refinements for Free! CPP (2013)
Jónathan Heras, Maxime Dénès, Gadea Mata, Anders Mörtberg, María Poza, Vincent Siles
Towards a Certified Computation of Homology Groups for Digital Images. CTIC (2012)
Maxime Dénès, Anders Mörtberg, Vincent Siles
A Refinement-Based Approach to Computational Algebra in Coq. ITP (2012)
Jónathan Heras, María Poza, Maxime Dénès, Laurence Rideau
Incidence Simplicial Matrices Formalized in Coq/SSReflect. Calculemus/MKM (2011)
Mathieu Boespflug, Maxime Dénès, Benjamin Grégoire
Full Reduction at Full Throttle. CPP (2011)
Maxime Dénès, Benjamin Lesage, Yves Bertot, Adrien Richard
Formal Proof of Theorems on Genetic Regulatory Networks. SYNASC (2009)

Maxime Dénès.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Maxime Dénès