Algorithme de Brzozowski  Algorithmes  Algorithmes d'approximation  Algotithme de Metropolis-Hastings  Approximation  Approximations  Automate temporisé  Automate à pile temporisé  Automates  Automates acycliques  Automates d'arbres  Automates finis non déterministes  Automates partiellement ordonnés  Calcul haute performance  Check-lists  Contraintes  Contraintes  Critères de couverture  Cross-Layer  Cryptographie  DAGs  Deadline  Diagnostic  Diffusion  Dissimulation d'information  Energie  Grappes de GPUs  Génération aléatoire  Génération aléatoire uniforrme  Génération de tests aléatoire  Hétèrogène  Informatique théorique  Instances  Khi-carré, Test du  Ordonnancement  Test  

Pierre-Cyrille Heam a rédigé la thèse suivante :

Contribution à l'algorithmique des automates : compléxité et aspects topologiques

par Pierre-Cyrille Héam sous la direction de Pascal Weil - Paris 7

Algorithmique

Soutenue en 2001

Pierre-Cyrille Heam dirige actuellement la thèse suivante :

Ordonnancement stochastique de tâches sur plateformes de calcul haute performance

par Redouane Elghazi sous la direction de Pierre-Cyrille Heam et de Louis-Claude Canon . - Bourgogne Franche-Comté

Informatique

En préparation depuis le 01-10-2020

Pierre-Cyrille Heam a dirigé les 4 thèses suivantes :

Random Generation for the Performance Evaluation of Scheduling Algorithms

par Mohamad El Sayah sous la direction de Pierre-Cyrille Héam et de Louis-claude Canon . - Bourgogne Franche-Comté

Informatique

Soutenue le 20-11-2019

Contributions à la génération aléatoire pour des classes d'automates finis

par Jean-Luc Joly sous la direction de Pierre-Cyrille Héam - Besançon

Informatique

Soutenue le 23-03-2016

Contributions à la vérification et à la validation efficaces fondées sur des modèles

par Alois Dreyfus sous la direction de Pierre-Cyrille Héam et de Olga Kouchnarenko . - Besançon

Informatique

Soutenue le 22-10-2014

Tree automata, approximations, and constraints for verification : Tree (Not quite) regular model-checking

par Vincent Hugot sous la direction de Olga Kouchnarenko et de Pierre-Cyrille Héam . - Besançon

Informatique

Soutenue le 27-09-2013

Pierre-Cyrille Heam a été président de jury des 4 thèses suivantes :

Optimisation multi-objectif des communications dans les réseaux de capteurs hétérogènes

par Karla Breschi sous la direction de Laurent Philippe et de Julien Bernard . - Bourgogne Franche-Comté

Informatique

Soutenue le 06-12-2018

Contributions à la génération de tests à partir d'automates à pile temporisés

par Hana M'Hemdi sous la direction de Jacques Julliand , Riadh Robbana et de Pierre-Alain Masson . - Besançon

Informatique

Soutenue le 23-09-2016

Résolution de systèmes linéaires et non linéaires creux sur grappes de GPUs

par Lilia Ziane Khodja sous la direction de Raphaël Couturier et de Jacques Bahi . - Besançon

Informatique

Soutenue le 07-06-2013

Création et évaluation statistique d'une nouvelle de générateurs pseudo-aléatoires chaotiques

par Qianxue Wang sous la direction de Jacques Bahi - Besançon

Informatique

Soutenue le 27-03-2012

Pierre-Cyrille Heam a été membre de jury des 2 thèses suivantes :

Automates codéterministes et automates acycliques : analyse d'algorithmes et génération aléatoire

par Sven De Félice sous la direction de Cyril Nicaud - Paris Est

Informatique

Soutenue le 01-07-2014

Approches logicielles de sûreté de fonctionnement pour les systèmes RFID

par Rafik Kheddam sous la direction de Ioannis Parissis et de Oum-El-Kheir Aktouf . - Grenoble

Informatique

Soutenue le 09-04-2014