Maxime Dénès

12 papers A* 1B 4Misc 1Journal 3Unranked 2

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