Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Frédéric Peschanski
Frédéric Peschanski a rédigé la thèse suivante :
Composition et adaptation dynamiques de systèmes distribués : une approche à base de composants asynchrones typés
par Frédéric Peschanski sous la direction de Jean-Pierre Briot - Paris 6
Informatique
Soutenue en 2002
Frédéric Peschanski a dirigé les 5 thèses suivantes :
Quantitative and algorithmic analysis of concurrent programs
par Martin Pépin sous la direction de Antoine Genitrini et de Frédéric Peschanski . - Sorbonne université
Informatique
Soutenue le 29-09-2021
Programmation impérative par raffinements avec l'assistant de preuve Coq
par Boubacar Demba Sall sous la direction de Emmanuel Chailloux et de Frédéric Peschanski . - Sorbonne université
Informatique
Soutenue le 01-10-2020
Processus concurrents et combinatoire des structures croissantes : analyse quantitative et algorithmes de génération aléatoire
par Matthieu Dien sous la direction de Antoine Genitrini , Michèle Soria et de Frédéric Peschanski . - Paris 6
Informatique
Soutenue le 22-09-2017
Analyse de ressources pour les systèmes concurrents dynamiques
par Aurélien Deharbe sous la direction de Frédéric Peschanski et de Michèle Soria . - Paris 6
Informatique
Soutenue le 21-09-2016
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
Frédéric Peschanski a été membre de jury de la thèse suivante :
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
