Damien Doligez

Publication Activity (10 Years)

Years Active: 1993-2016
Publications (10 Years): 3

Top Topics

First Order Logic

Functional Language

Top Venues

LPAR (short papers)

Publications

Selma Azaiez, Damien Doligez, Matthieu Lemerre, Tomer Libal, Stephan Merz
Proving Determinacy of the PharOS Real-Time Operating System. ABZ (2016)
Guillaume Bury, David Delahaye, Damien Doligez, Pierre Halmagrand, Olivier Hermant
Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo. LPAR (short papers) (2015)
Damien Doligez, Christèle Faure, Thérèse Hardin, Manuel Maarek
Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator. ICSE (2) (2015)
Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics. ARQNL@IJCAR (2014)
Damien Doligez, Christèle Faure, Thérèse Hardin, Manuel Maarek
Experience in using a typed functional language for the development of a security application. F-IDE (2014)
Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics. CoRR (2014)
David Delahaye, Damien Doligez, Frédéric Gilbert, Pierre Halmagrand, Olivier Hermant
Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo. LPAR (2013)
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto
TLA+ Proofs CoRR (2012)
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto
TLA + Proofs. FM (2012)
Damien Doligez, Mathieu Jaume, Renaud Rioboo
Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment: a case study within the FoCaLiZe environment. PLAS (2012)
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
Verifying Safety Properties With the TLA+ Proof System CoRR (2010)
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
Verifying Safety Properties with the TLA+ Proof System. IJCAR (2010)
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
Proof System: Building a Heterogeneous Verification Platform. ICTAC (2010)
Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller
A foundation for flow-based program matching: using temporal logic and model checking. POPL (2009)
Pascal Cuoq, Damien Doligez
Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2. ML (2008)
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
A TLA+ Proof System. LPAR Workshops (2008)
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
A TLA+ Proof System CoRR (2008)
Richard Bonichon, David Delahaye, Damien Doligez
Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs. LPAR (2007)
Virgile Prevosto, Damien Doligez, Thérèse Hardin
Algebraic Structures and Dependent Records. TPHOLs (2002)
Virgile Prevosto, Damien Doligez
Algorithms and Proofs Inheritancey in the FOC Language. J. Autom. Reason. 29 (3-4) (2002)
Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu
Cache Coherence Verification with TLA+. World Congress on Formal Methods (1999)
Damien Doligez, Georges Gonthier
Portable, Unobtrusive Garbage Collection for Multiprocessor Systems. POPL (1994)
Damien Doligez, Xavier Leroy
A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML. POPL (1993)