Acquisition des connaissances  Algorithmes  Analyse des besoins  Analyse des données  Apprentissage  Apprentissage automatique  Arima  Automates cellulaires  Chaînes logistiques  Circuits intégrés à très grande échelle  Commande de processus  Conception  Conception assistée par ordinateur  Conception orientée objets  DEVS  DEv-PROMELA  Enaction  Evènements discrets  Fastest  Flux de travail  Formalisme DEVS  Génie logiciel  HiLLS  Information  Ingénierie des systèmes  Ingénierie dirigée par les modèles  Modèles mathématiques  Modélisation  Modélisation des données  Modélisation et Simulation  Méthodes Formelles  Simulation par ordinateur  Simulation, Méthodes de  Systèmes échantillonnés  Vérification et Validation  Z  

Claudia Frydman a rédigé la thèse suivante :

DeBuMA : système pour la description

par Claudia Frydman sous la direction de Norbert Giambiasi - Montpellier 2

Composants, signaux et systèmes

Soutenue en 1990

Claudia Frydman a dirigé les 9 thèses suivantes :

Une approche de vérification formelle et de simulation pour les systèmes à événements : application à PROMELA

par Aznam Yacoub sous la direction de Claudia Frydman et de Maâmar El-Amine Hamri . - Aix-Marseille

Informatique

Soutenue le 08-12-2016

Utilisation du formalisme DEVS pour la validation de comportements des systèmes à partir des scénarios UML

par Mamoun Sqali Houssaini sous la direction de Claudia Frydman - Aix-Marseille

Informatique

Soutenue le 12-10-2012

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

Approche de vérification formelle des modèles DEVS à base du langage Z

par Mohamed Wassim Trojet sous la direction de Claudia Frydman et de Amine Hamri . - Aix-Marseille 3

Génie informatique et automatique

Soutenue en 2010

Modelisation des structures variables avec DEVS : application aux CGFs

par Lassaad Baati sous la direction de Claudia Frydman et de Norbert Giambiasi . - Aix-Marseille 3

Mathématiques et informatique. Modélisation et conception des processus assistés par ordinateur

Soutenue en 2008

Un environnement G-DEVS / HLA : application à la modélisation et simulation distribuée de workflow

par Grégory Zacharewicz sous la direction de Claudia Frydman - Aix-Marseille 3

Mathématiques et informatique. Modélisation et conception des processus assistés par ordinateur

Soutenue en 2006

Spécification, opérationnalisation et simulation des systèmes de connaissances réactifs : utilisation de CommonKADS et DEVS

par Maâmar El-Amine Hamri sous la direction de Claudia Frydman et de Lucile Torrès . - Aix-Marseille 3

Modélisation et conception des processus assistés par ordinateur

Soutenue en 2005

Proposition d'un cadre conceptuel pour l'analyse, la classification et le choix de systèmes de diagnostic à base de connaissances

par Cecilia Zanni-Merk sous la direction de Claudia Frydman et de Marc Le Goc . - Aix-Marseille 3

Informatique

Soutenue en 2004

Modèles cellulaires à événements discrets avec retards explicites

par Gabriel A. Wainer sous la direction de Norbert Giambiasi et de Claudia Frydman . - Aix-Marseille 3

Productique et informatique

Soutenue en 1998

Claudia Frydman a été président de jury de la thèse suivante :

Modélisation et évaluation des vulnérabilités et des risques dans les chaînes logistiques

par Leila Sakli sous la direction de Jean-Claude Hennet et de Jean-Marc Mercantini . - Aix-Marseille

Informatique. Modélisation et simulation

Soutenue le 09-12-2016

Claudia Frydman a été rapporteur des 2 thèses suivantes :

Contribution à une architecture de modélisation et de simulation à événements discrets : application à la propagation d'information dans les réseaux sociaux

par Youssef Bouanan sous la direction de Bruno Vallespir et de Grégory Zacharewicz . - Bordeaux

Productique

Soutenue le 18-10-2016

An integrated language for the specification, simulation, formal analysis and enactment of discrete event systems

par Oumar Maïga sous la direction de Mamadou Kaba Traoré et de Ouaténi Diallo . - Clermont-Ferrand 2

Informatique

Soutenue le 22-12-2015

Claudia Frydman a été membre de jury des 2 thèses suivantes :

Parallélisation massive de dynamiques spatiales : contribution à la gestion durable du mildiou de la pomme de terre

par Christopher Herbez sous la direction de Eric Ramat - Littoral

Informatique

Soutenue le 21-11-2016

Approche sémantique de gestion de ressources d’Information pour le contrôle de processus industriels : application au processus de fabrication chez STMicroelectronics

par Sara Bouzid sous la direction de Corine Cauvet - Aix-Marseille

Informatique

Soutenue le 06-12-2013