Ads-B  Algorithme évolutionaire  Algorithmes évolutionnaires  Analyse dynamique  Applications Web  Applications web  Apprentissage auto-supervisé  Apprentissage automatique  Apprentissage machine  Attaques par injection de données altérés  Automatisation  Carte à puce  Collaboration  Conformité  Contraintes  Cross-Site Request Forgery  Cross-Site Scripting  Détection d'anoamlie  Détection d'anomalies  Détection des anomalies  Essais  Exploration comportementale  Fdia  Fuzzing  Génie Logiciel  Génie logiciel  Génération de tests à partir de modèles,  IdO  Internet des objets  Programmation logique  Programmation par contraintes  Systèmes informatiques -- Mesures de sûreté  Sécurité  Test logiciel  Tests  Vérification  

Bruno Legeard a rédigé la thèse suivante :

Prototypage de logiciels avec le langage PROLOG : méthode et outils

par Bruno Legeard sous la direction de Guy Boulaye et de Michel Rueher . - Lyon, INSA

Informatique

Soutenue en 1987

Bruno Legeard dirige actuellement les 2 thèses suivantes :

Tests automatisés dessystèmes informatique par apprentissage sur les données

par Frédéric Tamagnan sous la direction de Bruno Legeard et de Fabrice Bouquet . - Bourgogne Franche-Comté

Informatique

En préparation depuis le 07-10-2019

Détection intelligente et prévention des anomalies dans les systèmes de contrôle et de surveillance des moyens de transport

par Pierre Bernabe sous la direction de Bruno Legeard - Bourgogne Franche-Comté

Informatique

En préparation depuis le 30-09-2019

Bruno Legeard a dirigé les 15 thèses suivantes :

Detection of contextual anomalies in air traffic data using neural network models

par Antoine Chevrot sous la direction de Bruno Legeard et de Alexandre Vernotte . - Bourgogne Franche-Comté

Informatique

Soutenue le 13-05-2022

Approche Agile du Model-Based Testing pour les tests fonctionnels des SI d’entreprise

par Elodie Bernard sous la direction de Bruno Legeard et de Fabrice Ambert . - Bourgogne Franche-Comté

Informatique

Soutenue le 23-03-2021

Conception et génération de tests par altération de données pour les systèmes de contrôle et de surveillance des transports : application aux domaines aérien et maritime

par Aymeric Cretin sous la direction de Bruno Legeard , Fabien Peureux et de Alexandre Vernotte . - Bourgogne Franche-Comté

Informatique

Soutenue le 15-03-2021

A pattern-driven and model-based vulnerability testing for Web applications

par Alexandre Vernotte sous la direction de Bruno Legeard et de Fabien Peureux . - Besançon

Informatique

Soutenue le 29-10-2015

Evaluation symbolique à contraintes pour la validation : application à Java/JML

par Frédéric Dadeau sous la direction de Bouquet, Fabrice et de Bruno Legeard . - Besançon

Informatique

Soutenue en 2006

Procédures de recherche en génération de testes à partir de modèles de spécifications

par Séverine Colin sous la direction de Bruno Legeard - Besançon

Informatique

Soutenue en 2005

Evaluation de notations formelles de spécifications par systèmes de contraintes

par Nicolas Vacelet sous la direction de Bruno Legeard - Besançon

Automatique et informatique

Soutenue en 2004

Une approche par simulation d'environnement pour la validation de code d'agents mobiles

par Mikaël Marche sous la direction de Bruno Legeard - Besançon

Automatique et informatique

Soutenue en 2002

Génération de tests aux limites à partir de spécifications B en programmation logique avec contraintes ensemblistes

par Fabien Peureux sous la direction de Bruno Legeard - Besançon

Automatique et informatique

Soutenue en 2002

Evaluation de spécifications formelles B en programmation logique avec contraintes ensemblistes : application à l'animation et au model-checking

par Laurent Py sous la direction de Bruno Legeard - Besançon

Automatique et informatique

Soutenue en 2000

Contraintes ensemblistes et fonctions graduées en programmation logique avec contraintes

par Lotfi Berkaoui sous la direction de Bruno Legeard - Besançon

Sciences appliquées

Soutenue en 1999

Procedures d'optimisation exactes et approchees sur les structures de sequence contrainte

par Eric Boucher sous la direction de Bruno Legeard - Besançon

Sciences appliquées

Soutenue en 1997

Contraintes ensemblistes et resolution multi-solveurs en programmation logique avec contraintes

par Fabrice Ambert sous la direction de Bruno Legeard - Besançon

Sciences appliquées

Soutenue en 1997

Resolution de contraintes sur les sequences en programmation logique avec contraintes

par Hamza Zidoum sous la direction de Bruno Legeard - Besançon

Sciences appliquées

Soutenue en 1996

Intervalles ensemblistes en programmation logique par contraintes : definition formelle et concrete d'un langage

par Carmen Gervet sous la direction de Bruno Legeard - Besançon

Sciences appliquées

Soutenue en 1995

Bruno Legeard a été président de jury des 2 thèses suivantes :

Adresser les attaques par injection de fausses données dans les systèmes IoT à l'aide d'un langage dédié dans un contexte industriel

par Mathieu Briland sous la direction de Fabrice Bouquet - Bourgogne Franche-Comté

Informatique

Soutenue le 28-05-2021

Stratégies de génération de tests à partir de modèles UML/OCL interprétés en logique du premier ordre et système de contraintes.

par Jérôme Cantenot sous la direction de Fabrice Bouquet - Besançon

Informatique

Soutenue le 13-11-2013

Bruno Legeard a été rapporteur des 2 thèses suivantes :

Conduire des sessions de Test Exploratoire, une approche basée sur les données.

par Julien Leveau sous la direction de Laurent Réveillère et de Xavier Blanc . - Bordeaux

Informatique

Soutenue le 19-11-2021

Detection of web vulnerabilities via model inference assisted evolutionary fuzzing

par Fabien Duchene sous la direction de Roland Groz et de Jean-Luc Richier . - Grenoble

Informatique

Soutenue le 02-06-2014

Bruno Legeard a été membre de jury des 2 thèses suivantes :

Model-Based Testing for IoT Systems : Methods and tools

par Abbas Ahmad sous la direction de Fabrice Bouquet et de Franck Le Gall . - Bourgogne Franche-Comté

Informatique

Soutenue le 01-06-2018

Analyse de code et processus d'évaluation des composants sécurisés contre l'injection de faute

par Louis Dureuil sous la direction de Marie-Laure Potet - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 12-10-2016