Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Résultat majeur
Production scientifique
Résultat majeur : EXPLORATION UNIFORME DE TRèS GRANDS MODèLES
EXPLORATION UNIFORME DE TRèS GRANDS MODèLES
06 novembre 2007

Un nouvel algorithme permet de tirer uniformément des traces dans de très grands modeles de systèmes parallèles.
Etant donné un système qui est modélisé comme la composition parallèle de plusieurs systèmes de transition, l'algorithme permet de tirer uniformément des traces dans ce système sans le construire: Il tire une trace dans chaque composant selon une probabilité adéquate et compose ces traces, selon un algorithme adapté de fusion randomisé



Activités de recherche
  ° Vérification
  ° Model-Checking
  ° Méthodes Formelles de Génie Logiciel

Equipe
  ° Bioinformatique
  ° Test Formel et Exploration de Systèmes

Contact
  ° GAUDEL Marie-Claude
Résultats majeurs
BEST PAPER AWARD: SELF-STABILIZING DISTRIBUTED STABLE MARRIAGE
05 novembre 2017
SSS 2017, M. Laveau, G. Manoussakis, J. Beauquier, T. Bernard, J. Burman, J. Cohen, and L. Pilard

INFORMATION-GEOMETRIC OPTIMIZATION ALGORITHMS: A UNIFYING PICTURE VIA INVARIANCE PRINCIPLES
02 mai 2017
Yann Ollivier, Ludovic Arnold, Anne Auger, Nikolaus Hansen - JMLR 18(18):1−65, 2017.

FORMAL MUTATION TESTING FOR CIRCUS
21 avril 2016
Alex Donizeti Betez Alberto, Ana Cavalcanti, Marie-Claude Gaudel, Adenilso Simao Journal of Infor

CELL-CELL COMMUNICATION ENHANCES THE CAPACITY OF CELL ENSEMBLES TO SENSE SHALLOW GRADIENTS DURING MORPHOGENESIS
09 février 2016
D. Ellison, A. Mugler, M.D. Brennan, S.H. Lee, R.J. Huebner, E.R. Shamir, L.A. Woo, J. Kim, P. Amar,

COMPUTING WITH SYNTHETIC PROTOCELLS
13 mai 2015
Alexis Courbet, Franck Molina and Patrick Amar