Maxime Dénès

According to our database, Maxime Dénès authored at least 11 papers between 2009 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Testing noninterference, quickly.

Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce, Dimitrios Vytiniotis

J. Funct. Program., 2016

Formalized linear algebra over Elementary Divisor Rings in Coq.

Guillaume Cano, Cyril Cohen, Maxime Dénès, Anders Mörtberg, Vincent Siles

Log. Methods Comput. Sci., 2016

2015

Micro-Policies: Formally Verified, Tag-Based Security Monitors.

Arthur Azevedo de Amorim, Maxime Dénès, Nick Giannarakis, Catalin Hritcu, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

Foundational Property-Based Testing.

Zoe Paraskevopoulou, Catalin Hritcu, Maxime Dénès, Leonidas Lampropoulos, Benjamin C. Pierce

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

2013

Étude formelle d'algorithmes efficaces en algèbre linéaire. (Formal study of efficient algorithms in linear algebra).

Maxime Dénès

PhD thesis, 2013

Refinements for Free!

Cyril Cohen, Maxime Dénès, Anders Mörtberg

Proceedings of the Certified Programs and Proofs - Third International Conference, 2013

2012

A Refinement-Based Approach to Computational Algebra in Coq.

Maxime Dénès, Anders Mörtberg, Vincent Siles

Proceedings of the Interactive Theorem Proving - Third International Conference, 2012

Towards a Certified Computation of Homology Groups for Digital Images.

Jónathan Heras, Maxime Dénès, Gadea Mata, Anders Mörtberg, María Poza, Vincent Siles

Proceedings of the Computational Topology in Image Context - 4th International Workshop, 2012

2011

Incidence Simplicial Matrices Formalized in Coq/SSReflect.

Jónathan Heras, María Poza, Maxime Dénès, Laurence Rideau

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

Full Reduction at Full Throttle.

Mathieu Boespflug, Maxime Dénès, Benjamin Grégoire

Proceedings of the Certified Programs and Proofs - First International Conference, 2011

2009

Formal Proof of Theorems on Genetic Regulatory Networks.

Maxime Dénès, Benjamin Lesage, Yves Bertot, Adrien Richard

Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009