Anca Muscholl
Anca Muscholl dirige actuellement la thèse suivante :
Synthèse de systèmes distribués : monitoring, contrôle et apprentissage
par Corto Mascle sous la direction de Anca Muscholl et de Igor Walukiewicz . - Bordeaux
Informatique
En préparation depuis le 06-09-2021
Anca Muscholl a dirigé les 10 thèses suivantes :
On decision problems on word transducers with origin semantics
par Sougata Bose sous la direction de Anca Muscholl et de Gabriele Puppis . - Bordeaux
Informatique
Soutenue le 12-03-2021
Minimizing resources for regular word transductions
par Félix Baschenis sous la direction de Anca Muscholl - Bordeaux
Informatique
Soutenue le 05-12-2017
Une approche basée modèle pour l’optimisation du monitoring de systèmes avioniques relativement à leurs performances de diagnostic
par Fabien Kuntz sous la direction de Stéphanie Gaudan , Alain Griffault et de Anca Muscholl . - Bordeaux 1
Informatique
Soutenue le 10-07-2013
Le problème de la valeur dans les jeux stochastiques
par Youssouf Oualhadj sous la direction de Hugo Gimbert et de Anca Muscholl . - Bordeaux 1
Informatique
Soutenue le 11-12-2012
Vers la vérification de propriétés de sûreté pour des systèmes infinis communicants : décidabilité et raffinement des abstractions
par Alexander Heussner (Heußner) sous la direction de Anca Muscholl - Bordeaux 1
Informatique
Soutenue le 27-06-2011
Analyse de XML avec données non-bornées
par Claire David sous la direction de Luc Segoufin et de Anca Muscholl . - Paris 7
Informatique
Soutenue en 2009
Random Games
par Florian Horn sous la direction de Anca Muscholl et de Wolfgang Thomas . - Paris 7
Informatique
Soutenue en 2008
Automates d'arbres à jetons
par Mathias Samuelides sous la direction de Anca Muscholl - Paris 7
Informatique
Soutenue en 2007
L'odyssée des graphes de diagrammes de séquences ( MSC-Graphes)
par Blaise Genest sous la direction de Anca Muscholl - Paris 7
Informatique
Soutenue en 2004
Contribution à l'étude des jeux sur des graphes de processus à pile
par Olivier Serre sous la direction de Anca Muscholl - Paris 7
Informatique
Soutenue en 2004
Anca Muscholl a été président de jury de la thèse suivante :
Graph Coloring and Recoloring
par Jonathan Narboni sous la direction de Eric Sopena et de Frantisek Kardos . - Bordeaux
Informatique
Soutenue le 12-07-2022
Anca Muscholl a été rapporteur des 3 thèses suivantes :
Simplifying transducers using sequentiality
par Didier Villevalois sous la direction de Pierre-Alain Reynier - Aix-Marseille
Informatique
Soutenue le 26-11-2019
Verification of communicating recursive programs via split-width
par Aiswarya Cyriac sous la direction de Paul Gastin - Cachan, Ecole normale supérieure
Informatique
Soutenue le 28-01-2014
Nash equilibria in concurrent games : application to timed games
par Romain Brenguier sous la direction de Nicolas Markey - Cachan, Ecole normale supérieure
Informatique
Soutenue le 29-11-2012
Anca Muscholl a été membre de jury des 5 thèses suivantes :
Implicit automata in linear logic and categorical transducer theory
par Le Thanh Dung Nguyen sous la direction de Stefano Guerrini et de Thomas Seiller . - Paris 13
Informatique
Soutenue le 03-12-2021
Expressivité des automates pondérés circulaires et boustrophédons
par Louis-Marie Dando sous la direction de Sylvain Lombardy - Bordeaux
Informatique
Soutenue le 09-09-2019
Définissabilité et synthèse de transductions
par Nathan Lhote sous la direction de Olivier Gauwin et de Emmanuel Filiot . - Bordeaux
Informatique
Soutenue le 12-10-2018
Algebras of Relations : from algorithms to formal proofs
par Paul Brunet sous la direction de Damien Pous - Lyon
Informatique
Soutenue le 04-10-2016
On the dynamics of active documents for distributed data management
par Pierre Bourhis sous la direction de Serge Abiteboul - Paris 11
Informatique
Soutenue le 11-02-2011
