ACD  Abstraction  Abstraction hiérarchique  Acquisition automatique des données  Agent mobile  Agents mobiles  Algorithmes  Algorithmes d'approximation  Allocation de ressources  Analyse formelle  Answer Set Programming  Answer Set Programming  Apprentissage des modèles  Architectures manycore  Atteignabilité  Attracteurs  Attracteurs  Automate temporisé  Automate à mémoire  Automates mathématiques, Théorie des  Automates temporisés  Automatisation  Bactéries -- Motilité  Bioinformatique  Informatique  Informatique dans les nuages  Intelligence artificielle  Logique temporelle  Modèles mathématiques  Méthodes formelles  Petri, Réseaux de  Simulation par ordinateur  Systèmes complexes  Temps réel  Véhicules autonomes  Vérification de modèles  

Hanna Klaudel dirige actuellement la thèse suivante :

De l'ordinateur à la MACHINE : création et régulation du traitement des données

par Laurent Poligny sous la direction de Hanna Klaudel - Evry-Val d'Essonne

Informatique

Soutenue le 10-01-2011

Hanna Klaudel a dirigé les 9 thèses suivantes :

Reconnaissance de motifs dynamiques par automates temporisés à mémoire

par Clément Bertrand sous la direction de Hanna Klaudel - université Paris-Saclay

Informatique

Soutenue le 17-12-2020

Conception, modélisation et vérification formelle d’un système temps-réel d’agents coopératifs : application aux véhicules autonomes communicants

par Johan Arcile sous la direction de Hanna Klaudel - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 13-12-2019

Modelling and analysing open reconfigurable systems

par Viet Van Pham sous la direction de Hanna Klaudel et de Frédéric Peschanski . - Evry-Val d'Essonne

Informatique

Soutenue le 26-09-2014

Compilation de réseaux de Petri : modèles haut niveau et symétries de processus

par Lukasz Fronc sous la direction de Hanna Klaudel et de Franck Pommereau . - Evry-Val d'Essonne

Informatique

Soutenue le 28-11-2013

Modélisation incrémentale des réseaux biologiques

par Anastasia Yartseva Smidtas (Yartseva) sous la direction de Hanna Klaudel et de François Képès . - Evry-Val d'Essonne

Bioinformatique

Soutenue le 12-12-2007

Le calibrage de modèles à base d'agents pour la simulation de systèmes complexes

par Benoît Calvez sous la direction de Hanna Klaudel - Evry-Val d'Essonne

Informatique

Soutenue en 2007

Une approche cognitive de l'adaptativité appliquée à l'automatisation de tâches répétitives

par Cédric Siléo sous la direction de Hanna Klaudel - Evry-Val d'Essonne

Informatique

Soutenue en 2007

Modèles orientés-objet pour la vérification de systèmes concurrents : sémantique en termes de M-nets d'un langage concurrent à objets

par Cécile Bui Thanh sous la direction de Hanna Klaudel - Paris 12

Informatique

Soutenue en 2004

Modèles composables et concurrents pour le temps-réel

par Franck Pommereau sous la direction de Elisabeth Pelz et de Hanna Klaudel . - Paris 12

Informatique

Soutenue en 2002

Hanna Klaudel a été président de jury des 4 thèses suivantes :

Formal Modeling and Automatic Generation of Test Cases for the Autonomous Vehicle

par Wei Chen sous la direction de Leïla Kloul - université Paris-Saclay

Informatique

Soutenue le 24-09-2020

Contributions au co-design de noyaux irréguliers sur architectures manycore : cas du remaillage anisotrope multi-échelle en mécanique des fluides numérique

par Hoby Rakotoarivelo sous la direction de Franck Pommereau - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 06-07-2018

Study on optimization of hazardous material transportation via lane reservation

par Zhen Zhou sous la direction de Feng Chu et de Ada Che . - Evry-Val d'Essonne

Informatique

Soutenue le 29-10-2014

Modélisation et analyse de la sécurité dans un système de stockage pair-à-pair

par Samira Chaou sous la direction de Franck Pommereau - Evry-Val d'Essonne

Informatique

Soutenue le 11-01-2013

Hanna Klaudel a été rapporteur des 3 thèses suivantes :

Étude de la dynamique des réseaux biologiques : apprentissage des modèles, intégration des données temporelles et analyse formelle des propriétés dynamiques

par Emna Ben Abdallah sous la direction de Olivier Roux - Ecole centrale de Nantes

Informatique

Soutenue le 07-12-2017

Un cadre théorique pour l'intégration des niveaux d'organisation dans les modèles : Applications à l'activité spatiale et à la simulation de grandes populations de bactéries

par Martin Potier sous la direction de Olivier Michel - Paris Est

Informatique

Soutenue le 06-07-2017

Surveillance logicielle à base d'une communauté d'agents mobiles

par Mâamoun Bernichi sous la direction de Fabrice Mourlin - Paris Est

Informatique

Soutenue le 30-11-2009

Hanna Klaudel a été membre de jury des 7 thèses suivantes :

Transformations d’ω-automates pour la synthèse de systèmes réactifs

par Florian Renkin sous la direction de Alexandre Duret-Lutz et de Adrien Pommellet . - Sorbonne université

Informatique

Soutenue le 07-10-2022

Vérification parallèle de systémes concurrents en utilisant le Graphe d’Observation Symbolique

par Hiba Ouni sous la direction de Kais Klai et de Zouari Belhassen . - Paris 13

Informatique

Soutenue le 20-12-2019

Méthodes et outils pour la conception de systèmes de transport intelligents coopératifs

par Jérémy Sobieraj sous la direction de Guillaume Hutzler - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 07-11-2018

Optimization of autonomic resources for the management of service-based business processes in the Cloud

par Leila Hadded sous la direction de Samir Tata et de Faouzi Ben Charrada . - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 06-10-2018

Analyse de systèmes modulaires à l'aide de techniques d'abstractions hiérarchiques

par Yves-Stan Le Cornec sous la direction de Franck Pommereau - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 11-07-2016

Revisiter les grilles de PCs avec des technologies du Web et le Cloud computing

par Leila Abidi sous la direction de Christophe Cérin et de Mohamed Jemni . - Sorbonne Paris Cité

Informatique

Soutenue le 03-03-2015

BSP algorithms for LTL & CTL model checking of security protocols

par Michaël Guedj sous la direction de Gaétan Hains et de Frédéric Gava . - Paris Est

Informatique

Soutenue le 11-10-2012