|
 
|
Olivier Boite
|
ATER Equipe SYS Parti depuis le 31/08/2005 Mail : olivier.boite  iie.cnam.fr
Tel : (33)15880 Fax : (33)15880 http://www.iie.cnam.fr/~boite/ |
Olivier's Tag-Cloud : |
Publications
2005
-
[BOI05]
O. Boite.
"Une aide à la réutilisation de preuves formelles - Application aux preuves de propriétés sémantiques",
Soutenue le: 01 January 2005,
pp. 160,
Mémoire de Thèse
2004
- [BOI04] O. Boite. "Proof Reuse with Extended Inductive Types", TPHOLs 2004, January 2004, Vol. 3223, pp.50-65, Series LNCS,
Conférence Internationale avec comité de lecture
2002
- [BOI02] O. Boite. "Automatiser les preuves d'un sous-langage de la méthode B", TSI, Technique et Science Informatiques, vol. 20(8), 2002
-
[FB02]
S. Fechter, O. Boite.
"BBFoc",
Date de dépot: 2002/01/01,
Nb pages 19,
(Tech. Rep.: CEDRIC-02-685)
Revue Nationale avec comité de lecture
Rapport Scientifique
2001
- [BD01a] O. Boite, C. Dubois. "Proving Type Soundness of a Simply Typed ML-like Language with References", TPHOLs2001, January 2001,
- [BOI01] O. Boite. "Prouveur Spécialisé pour le Langage d'Ensembles d'Entiers et de Booléens : LEEB", AFADL'01, January 2001,
