Catherine Dubois
Catherine Dubois dirige actuellement la thèse suivante :
Interopérabilité et preuves formelles sémantiques
par Amélie Ledein sous la direction de Catherine Dubois - université Paris-Saclay
Informatique
En préparation depuis le 01-10-2020
Catherine Dubois a dirigé les 11 thèses suivantes :
Development of Correct-by-Construction Software using Product Lines
par Thi-Kim-Dung Pham sous la direction de Catherine Dubois et de Nicole Lévy . - Paris, CNAM
Sciences de l'information et de la communication. Informatique
Soutenue le 16-11-2017
Object-Oriented Mechanisms for Interoperability Between Proof Systems
par Raphaël Cauderlier sous la direction de Catherine Dubois - Paris, CNAM
Informatique
Soutenue le 10-10-2016
Des spécifications en langage naturel aux spécifications formelles via une ontologie comme modèle pivot
par Driss Sadoun sous la direction de Brigitte Grau et de Catherine Dubois . - Paris 11
Informatique
Soutenue le 17-06-2014
Analyse de dépendances ML pour les évaluateurs de logiciels critiques.
par Vincent Benayoun sous la direction de Catherine Dubois - Paris, CNAM
Informatique
Soutenue le 16-05-2014
Extraction de code fonctionnel certifié à partir de spécifications inductives
par Pierre-Nicolas Tollitte sous la direction de Catherine Dubois et de David Delahaye . - Paris, CNAM
Informatique
Soutenue le 06-12-2013
Automatisation des preuves pour la vérification des règles de l'Atelier B
par Mélanie Jacquel sous la direction de Catherine Dubois , David Delahaye et de Karim Berkani . - Paris, CNAM
Informatique
Soutenue le 23-04-2013
Verification formelle et optimisation de l’allocation de registres
par Benoît Robillard sous la direction de Catherine Dubois , Sandrine Blazy et de Eric Soutif . - Paris, CNAM
Informatique
Soutenue le 30-11-2010
Test automatique de propriétés dans un atelier de développement de logiciels sûrs
par Matthieu Carlier sous la direction de Catherine Dubois - Paris, CNAM
Informatique
Soutenue en 2009
Une aide à la réutilisation de preuves formelles : application aux preuves de propriétés sémantiques
par Olivier Boite sous la direction de Catherine Dubois et de Véronique Donzeau-Gouge Viguié . - Paris, CNAM
Informatique
Soutenue en 2005
Méthodes formelles pour la modélisation géométrique à base topologique : définitions et algorithmes avec la méthode B
par Jean-Marc Mota sous la direction de Catherine Dubois - Evry-Val d'Essonne
Informatique
Soutenue en 2005
Role du systeme igf (insulin-like growth factor) dans la myogenese : etude des voies de signalisation controlant l'expression d'igfbp-5 (igf binding protein-5)
par SOPHIE ROUSSE sous la direction de Catherine Dubois - Paris 6
Sciences biologiques fondamentales et appliquées
Soutenue en 2000
Catherine Dubois a été président de jury des 11 thèses suivantes :
Méthodes pour le raisonnement d'ordre supérieur dans SMT
par Daniel El Ouraoui sous la direction de Stephan Merz et de Pascal Fontaine . - Université de Lorraine
Informatique
Soutenue le 11-02-2021
Development and verification of arbitrary-precision integer arithmetic libraries
par Raphaël Rieu sous la direction de Guillaume Melquiond - université Paris-Saclay
Informatique
Soutenue le 03-11-2020
[ErgoFast] Amélioration de performances du solveur SMT Alt-Ergo grâce à l’intégration d’un solveur SAT efficace
par Albin Coquereau sous la direction de Michel Mauny et de Sylvain Conchon . - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 16-12-2019
Vérification des résultats de l'inférence de types du langage OCaml
par Pierrick Couderc sous la direction de Michel Mauny - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 23-10-2018
Formalizing Time and Causality in Polychronous Polytimed Models
par Hai Nguyen Van sous la direction de Burkhart Wolff - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 27-09-2018
Nouvelles techniques pour l'instanciation et la production des preuves dans SMT
par Haniel Barbosa sous la direction de Stephan Merz , David Déharbe et de Pascal Fontaine . - Université de Lorraine
Informatique
Soutenue le 05-09-2017
Abstraction fonctionnelle pour la programmation d’architecture multi-niveaux : formalisation et implantation
par Victor Allombert sous la direction de Frédéric Gava - Paris Est
Informatique
Soutenue le 07-07-2017
Combinaison de méthodes formelles pour la spécification de systèmes industriels
par Thomas Fayolle sous la direction de Régine Laleau et de Marc Frappier . - Paris Est
Informatique
Soutenue le 27-06-2017
Contribution à la vérification de programmes C par combinaison de tests et de preuves.
par Guillaume Petiot sous la direction de Jacques Julliand , Alain Giorgetti et de Nikolaï Kosmatov . - Besançon
Informatique
Soutenue le 04-11-2015
Ontology centric design process : Sharing a conceptualization
par Ofaina Taofifenua sous la direction de Nicole Lévy - Paris, CNAM
Informatique
Soutenue le 10-07-2012
Classification de menaces d’erreurs par analyse statique, simplification syntaxique et test structurel de programmes
par Omar Chebaro sous la direction de Jacques Julliand , Alain Giorgetti , Nikolaï Kosmatov et de Fatiha Zaïdi . - Besançon
Informatique
Soutenue le 13-12-2011
Catherine Dubois a été rapporteur des 16 thèses suivantes :
A meta-approach to describe effectful and distributed semantics
par Adam Khayam sous la direction de Alan Schmitt et de Tamara Rezk . - Rennes 1
Informatique
Soutenue le 30-11-2022
Propriété du domaine borné pour la logique temporelle linéaire du premier ordre et applications à la vérification de systèmes à états infinis
par Quentin Peyras sous la direction de David Chemouil et de Julien Brunel . - Toulouse, ISAE
Informatique et Télécommunications
Soutenue le 14-01-2022
Contrôle sûr de chaînes d'obfuscation logicielle
par Nicolas Szlifierski sous la direction de Fabien Dagnat - Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire
Informatique
Soutenue le 17-12-2020
Analyse et spécification formelle des systèmes d’enclenchement ferroviaire basés sur les relais
par Dalay Israel De Almeida Pereira sous la direction de Simon Collart-Dutilleul - Centrale Lille Institut
Informatique, Automatique
Soutenue le 15-10-2020
A formal framework for heterogeneous systems semantics
par Mathieu Montin sous la direction de Yamine Aït-Ameur et de Marc Pantel . - Toulouse, INPT
Informatique et Télécommunication
Soutenue le 14-09-2020
Computing with relations, functions, and bindings
par Ulysse Gerard sous la direction de Dale Miller - Institut polytechnique de Paris
Informatique, données, IA
Soutenue le 18-10-2019
Une couverture combinant tests et preuves pour la vérification formelle
par Viet Hoang Le sous la direction de Virginie Wiels et de Julien Signoles . - Toulouse, ISAE
Informatique et Télécommunications
Soutenue le 11-07-2019
A formal approach for correct-by-construction system substitution
par Guillaume Babin sous la direction de Yamine Aït-Ameur et de Marc Pantel . - Toulouse, INPT
Sureté de Logiciel et Calcul à Haute Performance
Soutenue le 06-07-2017
Aide à la vérification de programmes concurrents par transformation de code et de spécifications
par Allan Blanchard sous la direction de Frédéric Loulergue - Orléans
Informatique
Soutenue le 06-12-2016
Constructing Semantically Sound Object-Logics for UML/OCL Based Domain-Specific Languages
par Frédéric Tuong sous la direction de Burkhart Wolff - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 06-04-2016
Modélisation UML/B pour la validation des exigences de sécurité des règles d'exploitation ferroviaires
par Rahma Yangui sous la direction de Simon Collart-Dutilleul et de Philippe Bon . - Ecole centrale de Lille
Automatique, Génie informatique, Traitement du Signal et des Images
Soutenue le 19-02-2016
Certification de programmes avec des effets calculatoires
par Burak Ekici sous la direction de Jean-Guillaume Dumas et de Dominique Duval . - Université Grenoble Alpes (ComUE)
Mathématiques et informatique
Soutenue le 09-12-2015
Automated verification of termination certificates
par Kim Quyen Ly sous la direction de Jean-François Monin et de Frédéric Blanqui . - Grenoble
Informatique
Soutenue le 09-10-2014
Preuves par raffinement de programmes avec pointeurs
par Asma Tafat sous la direction de Claude Marché - Paris 11
Informatique
Soutenue le 06-09-2013
Fastest : improving and supporting the Test Template Framework
par Maximiliano Cristia sous la direction de Claudia Frydman - Aix-Marseille
Informatique
Soutenue le 13-04-2012
Test generation and animation based on object-oriented specifications
par Matthias Krieger sous la direction de Burkhart Wolff - Paris 11
Informatique
Soutenue le 09-12-2011
Catherine Dubois a été membre de jury des 4 thèses suivantes :
Développement de la programmation par tuilage pour les systèmes multimédias interactifs
par Simon Archipoff sous la direction de David Janin - Bordeaux
Informatique
Soutenue le 27-11-2020
Tools and Techniques for the Verification of Modular Stateful Code
par Mário José Parreira Pereira sous la direction de Jean-Christophe Filliâtre - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 10-12-2018
Certified algorithms for program slicing
par Jean-Christophe Léchenet sous la direction de Pascale Le Gall - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 19-07-2018
Verifying Modal Specifications of Workflow Nets : using Constraint Solving and Reduction Methods
par Hadrien Bride sous la direction de Olga Kouchnarenko et de Fabien Peureux . - Besançon
Informatique
Soutenue le 24-10-2016
