Foundational Property-Based Testing
Paraskevopoulou, Zoe, Hriţcu, Cătălin, Dénès, Maxime, Lampropoulos, Leonidas, Pierce, Benjamin C.
Published in Interactive Theorem Proving (19.08.2015)
Published in Interactive Theorem Proving (19.08.2015)
Get full text
Book Chapter
Formalized linear algebra over Elementary Divisor Rings in Coq
Cano, Guillaume, Cohen, Cyril, Dénès, Maxime, Mörtberg, Anders, Siles, Vincent
Published in Logical methods in computer science (01.01.2016)
Published in Logical methods in computer science (01.01.2016)
Get full text
Journal Article
Testing noninterference, quickly
HRIŢCU, CĂTĂLIN, LAMPROPOULOS, LEONIDAS, SPECTOR-ZABUSKY, ANTAL, AZEVEDO DE AMORIM, ARTHUR, DÉNÈS, MAXIME, HUGHES, JOHN, PIERCE, BENJAMIN C., VYTINIOTIS, DIMITRIOS
Published in Journal of functional programming (01.01.2016)
Published in Journal of functional programming (01.01.2016)
Get full text
Journal Article
Micro-Policies: Formally Verified, Tag-Based Security Monitors
de Amorim, Arthur Azevedo, Denes, Maxime, Giannarakis, Nick, Hritcu, Catalin, Pierce, Benjamin C., Spector-Zabusky, Antal, Tolmach, Andrew
Published in 2015 IEEE Symposium on Security and Privacy (01.05.2015)
Published in 2015 IEEE Symposium on Security and Privacy (01.05.2015)
Get full text
Conference Proceeding
ICU Bed Availability Monitoring and analysis in the Grand Est region of France during the COVID-19 epidemic
Icubam, Consortium, Bonnasse-Gahot, Laurent, Dénès, Maxime, Dulac-Arnold, Gabriel, Girgin, Sertan, Husson, François, Iovene, Valentin, Josse, Julie, Kimmoun, Antoine, Landes, François, Nadal, Jean-Pierre, Primet, Romain, Quintao, Frederico, Raverdy, Pierre Guillaume, Rouvreau, Vincent, Teboul, Olivier, Yurchak, Roman
Published in Statistique et Société (17.03.2022)
Published in Statistique et Société (17.03.2022)
Get full text
Journal Article
Document sans titre
ICUBAM, Consortium, Bonnasse-Gahot, Laurent, Dénès, Maxime, Dulac-Arnold, Gabriel, Girgin, Sertan, Husson, François, Iovene, Valentin, Josse, Julie, Kimmoun, Antoine, Landes, François, Nadal, Jean-Pierre, Primet, Romain, Quintao, Frederico, Raverdy, Pierre Guillaume, Rouvreau, Vincent, Teboul, Olivier, Yurchak, Roman
Published in Statistique et société (01.03.2022)
Published in Statistique et société (01.03.2022)
Get full text
Journal Article
ICUBAM (Intensive Care Unit Bed Availability Monitoring) Intensive care unit bed availability monitoring and analysis in the Grand Est region of France during the COVID-19 epidemic
ICUBAM, Consortium, Bonnasse-Gahot, Laurent, Dénès, Maxime, Dulac-Arnold, Gabriel, Girgin, Sertan, Husson, François, Iovene, Valentin, Josse, Julie, Kimmoun, Antoine, Landes, François, Nadal, Jean-Pierre, Primet, Romain, Quintao, Frederico, Raverdy, Pierre Guillaume, Rouvreau, Vincent, Teboul, Olivier, Yurchak, Roman
Published in Statistique et société (2022)
Get full text
Published in Statistique et société (2022)
Journal Article
Formalized linear algebra over Elementary Divisor Rings in Coq
Cano, Guillaume, Cohen, Cyril, Dénès, Maxime, Mörtberg, Anders, Siles, Vincent
Published in arXiv.org (20.06.2016)
Published in arXiv.org (20.06.2016)
Get full text
Paper
Journal Article
Formal Proof of Theorems on Genetic Regulatory Networks
Denes, Maxime, Lesage, Binjamin, Bertot, Yves, Richard, Adrien
Published in 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (01.09.2009)
Published in 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (01.09.2009)
Get full text
Conference Proceeding
A Refinement-Based Approach to Computational Algebra in Coq
Mörtberg, Anders, Dénès, Maxime, Siles, Vincent
Published in Lennart Beringer, Amy P. Felty (Eds.): Interactive Theorem Proving - Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings. Lecture Notes in Computer Science (2012)
Get full text
Published in Lennart Beringer, Amy P. Felty (Eds.): Interactive Theorem Proving - Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings. Lecture Notes in Computer Science (2012)
Conference Proceeding
Testing Noninterference, Quickly
Hritcu, Catalin, Lampropoulos, Leonidas, Spector-Zabusky, Antal, Azevedo de Amorim, Arthur, Dénès, Maxime, Hughes, John, Pierce, Benjamin C, Vytiniotis, Dimitrios
Published in arXiv.org (25.07.2015)
Published in arXiv.org (25.07.2015)
Get full text
Paper
Journal Article
Les chiffres au coeur de la crise du coronavirus (1)
Alleaume, Caroline, Ardilly, Pascal, Bonnasse-Gahot, Laurent, Constance, Jean, Dénès, Maxime, Didier, Emmanuel, Dos Santos, Stéphanie, Droesbeke, Jean-Jacques, Dulac-Arnold, Gabriel, Flahaux, Marie-Laurence, Gastineau, Bénédicte, Girgin, Sertan, Golaz, Valérie, Husson, François, ICUBAM, Consortium, Iovene, Valentin, Josse, Julie, Kimmoun, Antoine, Landes, François, Nadal, Jean-Pierre, Peretti-Watel, Patrick, Pouzat, Christophe, Primet, Romain, Quintao, Frederico, Raverdy, Pierre Guillaume, Rouvreau, Vincent, Samuel, Boris, Teboul, Olivier, Thiel, Alena, Yurchak, Roman
Published in Statistique et société (2022)
Get full text
Published in Statistique et société (2022)
Journal Article
Towards a Certified Computation of Homology Groups for Digital Images
Mörtberg, Anders, Siles, Vincent, Heras, Jónathan, Dénès, Maxime, Mata, Gadea, Poza, María
Published in Massimo Ferri, Patrizio Frosini, Claudia Landi, Andrea Cerri, Barbara Di Fabio (Eds.): Computational Topology in Image Context - 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012. Proceedings. Lecture Notes in Computer Science (2012)
Get full text
Published in Massimo Ferri, Patrizio Frosini, Claudia Landi, Andrea Cerri, Barbara Di Fabio (Eds.): Computational Topology in Image Context - 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012. Proceedings. Lecture Notes in Computer Science (2012)
Conference Proceeding