Home
Isabelle Chrisment, Delphine Kaplan and Christophe Diot,
"An ALF Communication Architecture: Design and Automated Implementation",
to appear in JSAC, Special Issue on Protocol Architectures for the 21st century Applications, 1998.
Delphine Kaplan,
"Vers la Certification du Compilateur v5 d'Esterel", (french)
Postdoc Report (without annex) ,
Postdoc Report (with annex) ,
Septembre 1996, project MEIJE at INRIA Sophia-Antipolis.
Delphine Terrasse,
"Vers un environnement de développement de preuves
en Sémantique Naturelle", (french)
PhD ,
Ecole Nationale des Ponts et Chaussées (ENPC),
October 1995, project CROAP at INRIA Sophia-Antipolis.
Delphine Terrasse,
"Encoding Natural Semantics in Coq",
"Proceedings of the Fourth International Conference on
Algebraic Methodology and Software Technology (AMAST'95)"
, Springer-Verlag LNCS 936,
Montréal (Canada), July 1995.
C. Cornes and D. Terrasse,
"Automating Inversion of Inductive Predicates in Coq" ,
Proceedings of the BRA Types workshop , Springer-Verlag LNCS,
Turin (Italy), June 1995.
Delphine Terrasse,
"Translation From Typol to Coq",
"Proceedings of the Technical Workshop BRA on
Proving Properties of Programming Languages"
, J. Despeyroux editor,
INRIA,Sophia-Antipolis (France)
September 1993.