--  Acquisition des connaissances  Adaptation de comportement  Adaptation dynamique centrée objet  Agents mobiles  Analyse formelle  Arbres d’attaque  Architecture logicielle  Architectures orientées services  Bases de connaissances  Co-évolution  Cognition  Composant logiciel  Composants logiciels  Composition des aspects  Conception orientée objets  Critère qualité  Diagnostic  Débogage  Déverminage non-anticipé  Evaluation de la qualité  Facteur qualité  Factorisation  Grammaires de graphes  Génie logiciel  Géomatique  Identification de vulnérabilités  Identification des instances de composants  Identification des interfaces de composants  Informatique dans les nuages  Ingénierie dirigée par les modèles  Ingénierie système  Innovation  Logiciels -- Développement  Méthodes formelles  Vérification de modèles  

Isabelle Borne a dirigé les 4 thèses suivantes :

Identification automatique des vulnérabilités de sécurité dans les systèmes logiciels

par Raounak Benabidallah sous la direction de Salah Sadou et de Isabelle Borne . - Lorient

Informatique

Soutenue le 30-11-2020

Développement évolutionnaire de systèmes de systèmes avec une approche par patron de reconfiguration dynamique

par Franck Petitdemange sous la direction de Isabelle Borne et de Jérémy Buisson . - Lorient

Informatique

Soutenue le 03-12-2018

Une démarche d'ingénierie dirigée par les modèles pour le développement d'applications mobiles

par Tahar Gherbi sous la direction de Isabelle Borne et de Djamel Meslati . - Lorient

Informatique

Soutenue en 2014

Méthodes et outils pour la conception de systèmes logiciels auto-adaptatifs

par Franck Chauvel sous la direction de Isabelle Borne - Lorient

Informatique

Soutenue en 2008

Isabelle Borne a été président de jury des 8 thèses suivantes :

EMI - Une approche pour unifier l’analyse et l’exécution embarquée à l’aide d’un interpréteur de modèles pilotable : application aux modèles UML des systèmes embarqués

par Valentin Besnard sous la direction de Philippe Dhaussy - Brest, École nationale supérieure de techniques avancées Bretagne

Informatique

Soutenue le 09-12-2020

Aide au diagnostic de vérification formelle de systèmes

par Vincent Leildé sous la direction de Philippe Dhaussy - Brest, École nationale supérieure de techniques avancées Bretagne

Informatique

Soutenue le 14-11-2019

Adaptation non-anticipée de comportement : application au déverminage de programmes en cours d'exécution

par Steven Costiou sous la direction de Alain Plantec - Brest

Informatique

Soutenue le 28-11-2018

Style and Meta-Style : another Way to Reuse Software Architecture Evolution

par Adel Hassan sous la direction de Mourad-Chabane Oussalah - Nantes

Génie logiciel

Soutenue le 24-09-2018

Un langage contrôlé pour les instructions nautiques du Service Hydographique et Océanographique de la Marine

par Julie Sauvage-Vincent sous la direction de John Puentes - Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire

Sciences et Technologies de l'Information et de la Communication

Soutenue le 16-01-2017

Réutilisation de composants logiciels pour l'outillage de DSML dans le contexte des MPSoC

par Paola Vallejo sous la direction de Jean-Philippe Babau - Brest

Informatique

Soutenue le 15-12-2015

Contribution à l’automatisation et à l'évaluation des architectures logicielles ouvertes

par Riad Belkhatir sous la direction de Mourad-Chabane Oussalah - Nantes

Informatique, Génie logiciel

Soutenue en 2014

Une contribution à la gestion des applications SaaS mutualisées dans le clou : approche par externalisation

par Ali Ghaddar sous la direction de Mourad-Chabane Oussalah et de Dalila Tamzalit . - Nantes

Informatique

Soutenue en 2013

Isabelle Borne a été rapporteur des 2 thèses suivantes :

A chemical programming language for orchestrating services : Application to interoperability problems

par Mayleen Lacouture sous la direction de Mario Südholt - Nantes, Ecole des Mines

Informatique et applications

Soutenue le 31-10-2014

Aspectualizing Component Models : implementation and Interferences Analysis

par Abdelhakim Hannousse sous la direction de Mario Südholt - Nantes, Ecole des Mines

Informatique

Soutenue le 14-11-2011

Isabelle Borne a été membre de jury des 5 thèses suivantes :

ModelRun, une méthode de transformations de modèles pour la vérification de propriétés de modèles de systèmes complexes par simulation

par Christophe Duhil sous la direction de Jean-Philippe Babau - Brest

Informatique

Soutenue le 07-04-2021

Security Analysis of IoT Systems using Attack Trees

par Delphine Beaulaton sous la direction de Salah Sadou et de Régis Fleurquin . - Lorient

Informatique

Soutenue le 09-12-2019

Rendre réutilisables des composants extraits d’une application orientée-objets

par Abderrahmane Seriai sous la direction de Salah Sadou et de Houari A. Sahraoui . - Lorient

Stic

Soutenue le 08-01-2015

Une approche pragmatique pour mesurer la qualité des applications à base de composants logiciels

par Salma Hamza sous la direction de Salah Sadou et de Régis Fleurquin . - Lorient

Stic

Soutenue le 19-12-2014

Évolution et transformation automatisée de modèles de systèmes d’information : une approche guidée par l’analyse formelle de concepts et l’analyse relationnelle de concepts

par Abdoulkader Osman Guedi sous la direction de Marianne Huchard - Montpellier 2

Informatique

Soutenue le 10-07-2013