Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > WOLFF Burkhart
Présentation
M. WOLFF Burkhart
WOLFF Professeur 1ere classe
Université Paris-Sud
Vérification d'Algorithmes, Langages et Systèmes

Tel : +33(0)169156640
Fax : +33(0)174854242
Bureau : 71/PCRI-S

Page personnelle : http://www.lri.fr/~wolff
Courrier électronique : Burkhart.Wolff@lri.fr

Activités de recherche
   - Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
   - Test formel basé sur les modèles

Publications




Responsabilités administratives
   - Membre de la commission Logiciel
   - Membre de la CCSU
   - Responsable adjoint d'équipe

Responsabilités de contrats
   - HOL-TestGen XT
   - Paral-ITP
   - ICTSSv3
   - EURO-MILS

Résultats majeurs
   - Functional Design and Implementation of Graphical User Interfaces for Theorem Provers.
   - Verifying a signature architecture: a comparative case study.
   - HOL-Z 2.0: A Proof Environment for Z-Specifications.
   - A Verification Approach for Applied System Security
   - Semantics, Calculi, and Analysis for Object-oriented Specifications.
   - Proving Fairness and Implementation Correctness of a Microkernel Scheduler
   - HOL-Boogie - An Interactive Prover-Backend for the Verified C Compiler
   - On Theorem Prover-based Testing
   - Formal firewall conformance testing: an application of test and proof techniques

Logiciels et brevets
   - HOL-TestGen : Générateur de tests à partir de spécifications HOL
   - HOL-OCL : Un systeme de preuve pour UML/OCL
   - Le Système HOL-Z : Un système de preuve pour la Méthode Z

Collaborations
   - MBTSEC
   - System X FSF

Thèses et habilitations
Doctorat Etranger   - Professor

Participations à des contrats
   - HOL-TestGen XT
   - Paral-ITP
   - EURO-MILS