|
 
|
Damien Doligez
|
Membre exterieur Laboratoire: INRIA (FR) Tel : ( 33) (0)1 39 63 57 90 |
Publications
2013
- [DDG13] D. Delahaye, D. Doligez, F. Gilbert, P. Halmagrand, O. Hermant. "Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo", Logic for Programming Artificial Intelligence and Reasoning (LPAR), December 2013, Vol. 8312, pp.274-290, Series LNCS/ARCoSS, Stellenbosch, South Africa,
- [DDG13a] D. Delahaye, D. Doligez, F. Gilbert, P. Halmagrand, O. Hermant. "Proof Certification in Zenon Modulo: When Achilles Uses Deduction Modulo to Outrun the Tortoise with Shorter Steps", International Workshop on the Implementation of Logics, December 2013, pp.-,
Conférence Internationale avec comité de lecture
2012
- [DJR12a] D. Doligez, M. Jaume, R. Rioboo. "Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment", ACM SIGPLAN Seventh Workshop on Programming Languages and Analysis for Security (PLAS 2012) , June 2012, pp.A paraitre,
Conférence Internationale avec comité de lecture
2008
- [ACD08] P. Ayrault, M. Carlier, D. Delahaye, C. Dubois, D. Doligez, L. Habib, T. Hardin, M. Jaume, C. Morisset, F. Pessaux, P. Weis. "Trusted Software within FoCaL", CE&SAR 2008, Rennes, décembre, December 2008, pp.142-157,
Conférence Nationale avec comité de lecture
2007
- [BDD07] R. Bonichon, D. Delahaye, D. Doligez. "Zenon: an Extensible Automated Theorem Prover Producing Checkable Proofs", LPAR'07 Logic for Programming Artificial Intelligence and Reasoning, Yerevan (Armenia), January 2007, pp.151-165, Series LNAI,
