LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » أحـداث السـاعـة » مسجلون في الدكتوراه

BAARIR Souheib

دكـتور
وحـدة : MoVe
سـتاذ مـحاضر [مرخص بإدارة البحوث]https://pages.lip6.fr/Souheib.Baarir
رئاسـة البـحث : Serge HADDAD
تأطـير مـشـترك : ILIÉ Jean-Michel

Exploitation des symétries partielles pour la vérification et l'évaluation de performances des systèmes concurrents

Le travail présenté dans cette thèse s'intéresse à la réduction de l'explosion combinatoire rencontrée lors de la vérification formelle par model-checking ou l'évaluation de performances de systèmes concurrents finis. L'approche suivie pour obtenir cette réduction consiste à combattre l'explosion combinatoire à la source en mettant à profit les symétries pouvant apparaître dans les systèmes analysés et ainsi pouvoir factoriser la représentation de ces comportements. La contribution apportée par ce travail consiste à prendre en compte les symétries partielles. Il apporte des solutions originales en proposant une séparation entre les parties symétriques et asymétriques du comportement, permettant la construction d'un espace d'état quotient dans lequel les symétries sont évaluées dynamiquement au cours du processus de vérification ou d'évaluation.
مناقـشـة مـذكـرة : 16/05/2007 - 14h - Site Passy-Kennedy - salle 549
أعـضاء لجنة المناقـشة :
M. Jean-Michel Couvreur Professeur Univ. d'Orléans [Rapporteur]
M. François Vernadat Professeur INSA de Toulouse [Rapporteur]
M. Claude Jard Professeur ENS Cachan [Examinateur]
M. Fabrice Kordon Professeur Paris VI. [Examinateur]
M. Serge Haddad Professeur Paris IX. [Directeur de thèse]
Mme. Giuliana Franceschinis Professeur Univ. de Piemonte Orientale [Examinatrice]
M. Jean-Michel Ilié Maitre de Conférences Paris V [Co-encadrant]
Mme. Claude Dutheillet Maitre de Conférences Paris VI [Co-encadrant]

5 مسجلون في الدكتوراه (رئاسـة البـحث / تأطـير مـشـترك)

  • HOUHOU Sara : Vérification paramétrée et dérivation de code à partir de spécifications formelles pour les systèmes embarqués
  • KHEIREDDINE Anissa : Parallélisation et optimisation du Bounded model-checking
  • SAOULI Sabrine : Exploitation des symétries locales pour les résolutions des problèmes SAT
  • VALLADE Vincent : Sharing groups for parallel SAT solvers
  • XU Hao : Hybridation de méthode de compilation de contraintes, Solveurs SAT, méthodes d'apprentissage pour maîtriser la complexité de la gamme Renault

4 دكـاترة 2013 - 2019

إصدارات 2004-2020

 Mentions légales
| خـريـطـة المـوقـع