Team celtique

Members
Overall Objectives
Scientific Foundations
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Dissemination

PhD and habilitation theses defended

Florence Charreteur defended her PhD thesis, entitled “Modélisation par contraintes de programmes en bytecode Java pour la génération automatique de tests” on March 9 [12] .

David Cachera defended his Habilitation thesis “Analyses statiques : certifier et quantifier” on August 30 [11] .

Laurent Hubert defended his PhD thesis, entitled “Foundations and Implementation of a Tool Bench for Static Analysis of Java Bytecode Programs” on December 17 [13] .

Benoît Boyer defended his PhD thesis, entitled “Réécriture d'automates certifiée pour la vérification de modèle” on December 13 [10] .


previous
next

Logo Inria