@manual{ocaml-manual,
title = {The {Objective} {Caml} system, documentation and
user's manual -- release 4.01},
author = {Xavier Leroy and Damien Doligez and Jacques Garrigue
and Didier Rémy and Jérôme Vouillon},
organization = {INRIA},
year = 2013,
url = {http://caml.inria.fr/pub/docs/manual-ocaml/}
}
@inproceedings{delahaye-et-al-lpar-2013,
author = {David Delahaye and
Damien Doligez and
Fr{\'e}d{\'e}ric Gilbert and
Pierre Halmagrand and
Olivier, Hermant},
title = {Zenon Modulo: When Achilles Outruns the Tortoise using Deduction
Modulo},
booktitle = {{LPAR - Logic for Programming Artificial Intelligence and
Reasoning - 2013}},
publisher = {Springer},
pages = {274-290},
address = {Stellenbosch, South Africa},
volume = {8312},
editor = {Ken McMillan and Aart Middeldorp and Andrei Voronkov},
series = {LNCS},
year = {2013},
month = dec,
pdf = {delahaye-et-al-lpar-2013.pdf}
}
@inproceedings{delahaye-et-al-iwil-2013,
title = {Proof Certification in Zenon Modulo: When Achilles Uses Deduction
Modulo to Outrun the Tortoise with Shorter Steps},
author = {David Delahaye and
Damien Doligez and
Fr{\'e}d{\'e}ric Gilbert and
Pierre Halmagrand and
Olivier Hermant},
booktitle = {{IWIL - 10th International Workshop on the Implementation of Logics - 2013}},
publisher = {EasyChair},
address = {Stellenbosch, South Africa},
editor = {Stephan Schulz and Geoff Sutcliffe and Boris Konev},
year = {2013},
month = dec,
pdf = {delahaye-et-al-iwil-2013.pdf}
}
@inproceedings{doligez-jaume-rioboo-plas-2012,
title = {Development of secured systems by mixing programs,
specifications and proofs in an object-oriented
programming environment. A case study within the
FoCaLiZe environment},
author = {Damien Doligez and
Mathieu Jaume and
Renaud Rioboo},
booktitle = {{PLAS - Seventh Workshop on Programming Languages and
Analysis for Security}},
address = {Beijin, China},
year = {2012},
month = jun,
pdf = {doligez-jaume-rioboo-plas-2012.pdf}
}
@inproceedings{cousinea-et-al-fm-2012,
title = {{TLA+} Proofs},
author = {Denis Cousineau and
Damien Doligez and
Leslie Lamport and
Stephan Merz and
Daniel Ricketts and
Hern{\'a}n Vanzetto},
booktitle = {{18th International Symposium On Formal Methods - FM 2012}},
publisher = {Springer},
pages = {147-154},
address = {Paris, France},
volume = {7436},
editor = {Dimitra Giannakopoulou and Dominique M{\'e}ry },
series = {Lecture Notes in Computer Science },
year = {2012},
pdf = {cousineau-et-al-fm-2012.pdf}
}
@manual{lafosec-etat-des-lieux,
title = {{\'E}tat des lieux des langages fonctionnels},
author = {{LaFoSec}},
institution = {{ANSSI}},
year = 2011,
pdf = {LaFoSec_-_Etat_des_lieux_des_langages_fonctionnels.pdf}
}
@manual{lafosec-analyse,
title = {Analyse des langages OCaml, {F#} et Scala},
author = {{LaFoSec}},
institution = {{ANSSI}},
year = 2011,
pdf = {LaFoSec_-_Analyse_des_langages_OCaml_F_et_Scala.pdf}
}
@manual{lafosec-modeles-execution,
title = {Mod\`eles d'ex\'ecution de OCaml},
author = {{LaFoSec}},
institution = {{ANSSI}},
year = 2011,
pdf = {LaFoSec_-_Modeles_d_execution_de_OCaml.pdf}
}
@manual{lafosec-outils,
title = {Outils associ\'es au langage OCaml},
author = {{LaFoSec}},
institution = {{ANSSI}},
year = 2011,
pdf = {LaFoSec_-_Outils_associes_au_langage_OCaml.pdf}
}
@manual{lafosec-recommandations,
title = {Recommandations relatives \`a l'utilisation du langage
OCaml et \`a l'installation et la configuration des
outils associ\'es},
author = {{LaFoSec}},
institution = {{ANSSI}},
year = 2011,
pdf = {LaFoSec_-_Recommandations_relatives_a_l_utilisation_du_langage_OCaml_et_a_l_installation_et_la_configuration_des_outils_associes.pdf}
}
@inproceedings{chaudhuri-et-al-ictac-2010,
author = {Kaustuv Chaudhuri and
Damien Doligez and
Leslie Lamport and
Stephan Merz},
title = {The {TLA+} Proof System: Building a Heterogeneous
Verification Platform},
booktitle = {ICTAC},
year = {2010},
pages = {44},
xxcrossref = {ictac-2010},
pdf = {chaudhuri-et-al-ictac-2010.pdf}
}
@inproceedings{chaudhuri-etal-ijcar-2010,
author = {Kaustuv Chaudhuri and Damien Doligez and Leslie Lamport and
Stephan Merz},
title = {Verifying Safety Properties with the {TLA+} Proof System},
booktitle = {Fifth International Joint Conference on Automated Reasoning
(IJCAR)},
year = 2010,
editor = {J\"urgen Giesl and Reiner Haehnle},
pages = {142--148},
publisher = {Springer},
month = jul,
xxcrossref = {ijcar-2010},
pdf = {chaudhuri-et-al-ijcar-2010.pdf}
}
@inproceedings{brunel-etal-popl-2009,
author = {Julien Brunel and Damien Doligez and
Ren\'{e} Rydhof Hansen and Julia L. Lawall and
Gilles Muller},
title = {A Foundation for Flow-Based Program Matching
Using Temporal Logic and Model Checking},
booktitle = {Proceedings of the 36th {ACM} Symposium on Principles of
Programming Languages (POPL)},
publisher = {ACM},
year = 2009,
month = jan,
xxcrossref = {popl-2009},
pdf = {brunel-et-al-popl-2009.pdf}
}
@inproceedings{ayrault-et-al-cesar-2008,
author = {Philippe Ayrault and Matthieu Carlier and David Delahaye
and Catherine Dubois and Damien Doligez and Lionel Habib
and Th\'er\`ese Hardin and Mathieu Jaume and Charles Morisset
and Fran\c{c}ois Pessaux and Renaud Rioboo and Pierre Weis},
title = {Trusted Software within Focal},
booktitle = {Computer \& Electronics Security Applications
Rendez-vous (C\&ESAR)},
year = 2008,
editor = {Pascal Chour and Yves Correc and Olivier Heen and Ludovic M\'e},
pages = {142--158},
publisher = {},
month = dec,
xxcrossref = {cesar-2008},
pdf = {ayrault-et-al-cesar-2008.pdf}
}
@inproceedings{chaudhuri-et-al-keappa-2008,
author = {Kaustuv Chaudhuri and Damien Doligez and Leslie Lamport
and Stephan Merz},
title = {A {TLA${}^{+}$} Proof System},
booktitle = {Proceedings of the {LPAR} Workshops: Knowledge Exchange:
Automated Provers and Proof Assistants, and The 7th
International Workshop on the Implementation of Logics
(KEAPPA)},
year = 2008,
editor = {Sutcliffe, G. and Rudnicki, P. and Schmidt, R. and Konev, B.
and Schulz, S.},
month = nov,
key = {},
xxcrossref = {keappa-2008},
pdf = {chaudhuri-et-al-keappa-2008.pdf}
}
@inproceedings{cuoq-doligez-ml-2008,
author = {Pascal Cuoq and Damien Doligez},
title = {Hashconsing in an Incrementally Garbage-Collected System:
A Story of Weak Pointers and Hashconsing in {OCaml} 3.10.2},
booktitle = {{ACM} {SIGPLAN} workshop on {ML}},
year = 2008,
editor = {},
pages = {13--22},
publisher = {ACM},
month = sep,
xxcrossref = {ml-workshop-2008},
pdf = {cuoq-doligez-mlw-2008.pdf},
ps = {cuoq-doligez-mlw-2008.ps}
}
@article{doligez-et-al-ecology-2008,
author = {Blandine Doligez and Anne Berthouly and Damien Doligez
and Marion Tanner and Verena Saladin and Danielle Bonfils
and Heinz Richner},
title = {Spatial Scale of Local Breeding Habitat Quality and Adjustment
of Breeding Decisions},
journal = {Ecology},
year = 2008,
volume = 89,
number = 5,
pages = {1436--1444},
month = may,
pdf = {doligez-et-al-ecology-2008.pdf}
}
@inproceedings{bonichon-delahaye-doligez-lpar-2007,
author = {Richard Bonichon and David Delahaye and Damien Doligez},
title = {{Zenon} : an Extensible Automated Theorem Prover Producing
Checkable Proofs},
booktitle = {International Conference on Logic for Programming,
Artificial Intelligence, and Reasoning (LPAR)},
year = 2007,
editor = {Nachum Dershowitz and Andrei Voronkov},
pages = {151--165},
publisher = {Springer},
month = oct,
xxcrossref = {lpar-2007},
pdf = {bonichon-delahaye-doligez-lpar-2007.pdf},
ps = {bonichon-delahaye-doligez-lpar-2007.ps}
}
@inproceedings{prevosto-doligez-hardin-tphol-2002,
author = {Virgile Prevosto and Damien Doligez and Th\'er\`ese Hardin},
title = {Algebraic Structures and Dependent Records},
booktitle = {International Conference on Theorem Proving in Higher
Order Logics (TPHOLs)},
year = 2002,
editor = {V\'ictor Carre{\~n}o and C\'esar Mu{\~n}oz and Sofi\`ene Tahar},
pages = {298--313},
publisher = {Springer},
month = aug,
xxcrossref = {tphol-2002},
pdf = {prevosto-doligez-hardin-tphol-2002.pdf},
ps = {prevosto-doligez-hardin-tphol-2002.ps}
}
@article{prevosto-doligez-jar-2002,
author = {Virgile Prevosto and Damien Doligez},
title = {Algorithms and Proofs Inheritance in the {FOC} Language},
journal = {J. Automated Reasoning},
year = 2002,
volume = {29},
number = {3--4},
pages = {337--363},
month = dec,
pdf = {prevosto-doligez-jar-2002.pdf},
ps = {prevosto-doligez-jar-2002.ps}
}
@inproceedings{akhiani-et-al-fm-1999,
author = {Homayoon Akhiani and Damien Doligez and Paul Harter and Leslie
Lamport and Joshua Scheid and Mark R. Tuttle and Yuan Yu},
title = {Cache Coherence Verification with {TLA+}},
booktitle = {World Congress on Formal Methods (FM)},
year = 1999,
pages = {1871},
month = sep,
xxcrossref = {fm-1999},
pdf = {akhiani-et-al-fm-1999.pdf},
tex = {akhiani-et-al-fm-1999.tex}
}
@phdthesis{doligez-thesis-1995,
author = {Damien Doligez},
title = {Conception, r\'ealisation et certification d'un glaneur de
cellules concurrent},
school = {Universit\'e Paris 7},
year = {1995},
month = may,
pdf = {doligez-thesis-1995.pdf},
ps = {doligez-thesis-1995.ps},
tex = {doligez-thesis-1995-tex.tgz}
}
@inproceedings{doligez-gonthier-popl-1994,
author = {Damien Doligez and Georges Gonthier},
title = {Portable, Unobtrusive Garbage Collection for Multiprocessor Systems},
booktitle = {Proceedings of the 21st ACM Symposium on Principles of
Programming Languages (POPL)},
year = 1994,
pages = {70--83},
publisher = {ACM press},
month = jan,
xxcrossref = {popl-1994},
pdf = {doligez-gonthier-popl-1994.pdf},
ps = {doligez-gonthier-popl-1994.ps}
}
@inproceedings{doligez-leroy-popl-1993,
author = {Damien Doligez and Xavier Leroy},
title = {A Concurrent, Generational Garbage Collector for a Multithreaded
Implementation of {ML}},
booktitle = {Proceedings of the 20th ACM Symposium on Principles of
Programming Languages (POPL)},
year = 1993,
pages = {113--123},
publisher = {ACM press},
month = jan,
xxcrossref = {popl-1993},
pdf = {doligez-leroy-popl-1993.pdf},
ps = {doligez-leroy-popl-1993.ps}
}
This file was generated by bibtex2html 1.97.