curriculum vitae

CURRICULUM VITAE
Mohamed Mosbah
Institut Polytechnique de Bordeaux (ENSEIRB-MATMECA)
LaBRI - CNU 27
1, AV. Dr. A. Schweitzer, BP99
33405 - Talence.
[email protected]
Je suis professeur à l’Institut Polytechnique de Bordeaux (IPB), affecté à l’ENSEIRBMATMECA (Ecole Nationale Supérieure d’Electronique, Informatique, Radiocommunication, Mathématiques et Mécanique de Bordeaux) et chercheur au LaBRI (Laboratoire Bordelais de Recherche en Informatique). L’ENSEIRB-MATMECA est une école
d’ingénieurs de 1200 élèves-ingénieurs répartis en 6 départements (Informatique, Electronique, Télécom, Matmeca et les formations par alternance Réseaux et Systèmes d’Information, et Systèmes électroniques embarqués). Je suis Directeur des Relations Industrielles de l’ENSEIRB-MATMECA et Directeur adjoint du LaBRI depuis octobre
2009. Je présente essentiellement mes activités depuis ma nomination de professeur
(depuis 2005).
Table des matières
CURRICULUM VITAE (Synthèse)
1
Activités scientifiques
2
Activités pédagogiques
9
Responsabilités Collectives
12
Annexe A : Liste de publications
15
Annexe B : Direction de thèses
20
2
CURRICULUM VITAE
Synthèse
Nom :
MOSBAH
Prénom :
Mohamed
Adresse professionnelle : ENSEIRB-MATMECA, 1 Av. Dr. A. Schweitzer,
BP. 99 - 33405 Talence
Adresse électronique :
[email protected]
Situation actuelle :
Professeur en Informatique,
Etablissement :
Institut Polytechnique de Bordeaux - Université de Bordeaux
Laboratoire :
Laboratoire Bordelais de Recherche en Informatique (LaBRI)
Titres universitaires :
2002 Habilitation à diriger des recherches (HDR) en informatique - Université Bordeaux 1.
1993 Thèse de Doctorat.
1989 Diplôme d’Ingénieur.
Activités professionnelles :
1994-2004 Maı̂tre de Conférences en Informatique, à l’ENSEIRB.
depuis 2005 Professeur des universités en Informatique, Institut Polytechnique de Bordeaux (ENSEIRB-MATMECA).
Responsabilités administratives (depuis 2005) :
Depuis 2009 : Directeur des Relations Industrielles à l’ENSEIRB-MATMECA.
Depuis 2009 :Directeur adjoint du LaBRI (Laboratoire Bordealais de Recherche en Informatique)
2005 - 2009 : Responsable de la formation doctorale en informatique au LaBRI.
Synthèse de activités de recherche :
Je suis membre de l’équipe “Méthodes Formelles” du LaBRI et responsable du projet visidia (http://visidia.labri.fr). Le projet visidia a pour objectif le développement
d’un ensemble d’outils et d’un environnement unifié pour le codage, l’étude et l’enseignement de différents aspects de l’algorithmique distribuée. Il regroupe des membres
de différentes équipes autour de l’étude d’un modèle d’algorithmes distribués fondé
sur les réécritures de graphes, qui offre un bon niveau d’abstraction pour une large
famille d’algorithmes distribués. Nous avons mis au point une méthodologie et un
cadre général allant de la modélisation des graphes et des algorithmes distribués jusqu’à une implémentation effective en développant une plate-forme logicielle. Nous
avons obtenu des nouveaux résultats dans le domaine de l’algorithmique distribuée,
et nous avons mis au point un catalogue d’algorithmes distribués.
Récemment, nous nous sommes intéressés à l’utilisation des techniques de preuves formelles pour la correction d’algorithmes distribués codés par des réécritures de graphes.
Nous avons démarré ce travail par l’exploration des techniques de preuves basées sur
1
le raffinement en utilisant l’environnement Rodin, dans le cadre de l’ANR RIMEL. Un
catalogue d’algorithmes prouvés a été mis en place, ainsi qu’un outil permettant de
générer automatiquement du code visidia à partir des développements obtenus de
modèles spécifiés . Nous sommes en train de formaliser la sémantique des calculs locaux à l’aide de l’assistant de preuve Coq. Ces travaux, qui font l’objet de deux thèses
en cours, ont donné lieu à de nombreuses publications et collaborations.
Synthèse de activités pédagogiques :
Mes enseignements sont effectués essentiellement département informatique de l’ENSEIRBMATMECA et concernent principalement les matières suivantes : Algorithmique distribuée, programmation, bases de données, Oracle, bases de données avancées.
Responsabilité pédagogique. Je suis responsable de l’option “Génie Logiciel” en 3ème A.
du département informatique depuis 2004
Organisation de conférences, Comités de programme, Expertise :
– Membre du comité de pilotage d’ICGT “International Conference on Graph Transformations” depuis 2006, qui regroupe un réseau de recherche de 7 pays.
– Organisation de conférences : OPODIS 2010, CRISIS 2008, GCM 2010, GCM 2008
– Membre de comités de programme (uniquement pour 2010 et 2011) : OPODIS
2011, SAC 2011, NOTERE 2011, CRISIS 2011, SAICSIT 2011, AROSA 2011, SSIRI
2011, SAR-SII 2011, ACSEAC 2011, ICGT 2010, Algotel 2010.
– Expert auprès du centre national de recherche scientifique hollandais (NWO)
pour l’évaluation de projets de recherche (VICI GRANT) lors de l’appel d’offres
2008
– Expert auprès du ministère de l’enseignement supérieur et de le recherche (DRRT)
pour le dispositif “Jeune Entreprise Innovante” - mars 2008.
– Expert pour l’AERES pour l’valuation des écoles doctorales (2011, Vague B)
Projets - Contrats
– Au niveau régional et national : ANR RIMEL (2007 - 2010 avec le LORIA et
Clearsy),
– Projet industriel RECORDS (2008 - 2010) labélisé par le pôle de compétitivité et
financé par le FUI (qui regroupe le LaBRI et un consortium de 7 entreprises).
– Projet industriel SIMID (2011 - 2013)financé par le FUI.
Direction de thèse (après 2005) :
16 thèses (9 thèses soutenues, 7 en cours) (voir page 17).
Thèses co-encadrées ou encadrées soutenues après 2005 :
Nom
R. Ossamy
B. Derbel
F. Ferchaud
B. Hamid
Sh. Abbas
H. Hamdi
I. Jémili
Ph. Andouard
M. Loulou
co-encadrant Date soutenance
Y. Métivier
29 novembre 2005
6 décembre 2006
C. Gavoille
8 décembre 2006
Y. Métivier
14 juin 2007
A. Zemmari 15 décembre 2008
10 janvier 2009
R. Castanet
13 juillet 2009
O. Ly
18 décembre 2009
13 novembre 2010
2
Situation actuelle
Maı̂tre de Conférences à Masuku (Gabon)
Maı̂tre de Conférences à Lille
Ingénieur à Eurocontrol
Maı̂tre de Conférences à Toulouse
ATER ENSEIRB
ATER ENSEIRB
Maı̂tre assistante à Bizerte (Tunisie)
Ingénieur à Oberthur Technologies
Maı̂tre assistante à Sfax (Tunisie)
Activités scientifiques
1. Présentation générale
Laboratoire de recherche - Equipe de recherche
– LaBRI (Laboratoire Bordelais de Recherche en Informatique), UMR 5800. Equipe
“ Méthodes Formelles (MF)”.
– Responsable du projet visidia (http://visidia.labri.fr).
Thèmes de recherche
– Réécriture de graphes. Construction d’algorithmes efficaces sur des familles de
graphes.
– Systèmes et algorithmes distribués. Modélisation, étude, preuve et implémentation
d’algorithmes distribués.
- Contexte scientifique
Les questions relatives aux systèmes distribués constituent un axe majeur de la recherche en informatique et interviennent dans de nombreuses applications ; citons par
exemple la conception et le développement d’architectures distribuées, la définition et
le développement d’environnements de programmation distribués, la description et la
validation de programmes distribués ou bien encore l’étude des communications dans
les systèmes distribués. La maı̂trise de ces environnements complexes passe par celle
de leur fondement, que constitue l’algorithmique distribuée. En s’appuyant sur des
expertises de diverses équipes du laboratoire, le projet visidia continue son ambition
de mettre au point un cadre unifié et riche allant des problèmes théoriques des algorithmes distribués jusqu’à une implémentation effective. Ce projet propose de fournir
des outils permettant de coder, d’étudier, de prouver et d’enseigner différents aspects
de l’algorithmique distribuée.
- Modélisation d’algorithmes distribués
Les algorithmes distribués sont très complexes à concevoir, à étudier et même à représenter, notamment lorsque les noeuds, ne disposant d’information que sur les noeuds
voisins du réseau, doivent participer à l’élaboration d’un fonctionnement global (problèmes
d’élection d’un noeud du réseau, de calcul d’un arbre recouvrant, de connaissance de
propriétes globales, gestion des pannes, de détection de la terminaison, etc). Depuis de
nombreuses années, nous étudions un modèle fondé sur les réécritures d’étiquettes de
graphes permettant d’offrir un bon niveau d’abstraction pour une large famille d’algorithmes distribués. Un calcul sur un réseau, qui consiste donc à faire évoluer ses états,
peut être décrit par des règles de réécriture de graphes. Chaque règle, définie par un
graphe connexe et deux étiquetages de ce graphe, traduit une étape élémentaire du
calcul effectuée sur une portion locale du graphe.
Dans un système distribué avec échange de messages, l’implémentation automatique d’un algorithme décrit à l’aide de ces règles de réécriture amène, en particulier, à étudier les algorithmes probabilistes permettant de synchroniser deux sommets
voisins ou bien un sommet avec l’ensemble de ses voisins et plus généralement un
ensemble de sommets correspondant à une règle de réécriture. Ces procédures proba3
bilistes sont implémentées dans la plate-forme logicielle visidia, et servent de brique
de base pour l’ensemble des algorithmes développés.
- Calculs locaux et agents mobiles
Le paradigme d’agents mobiles pour l’implémentation des calculs locaux permet d’obtenir des solutions résistantes à certaines pannes et fonctionnant sur des réseaux dynamiques. Nous avons mis au point des procédures à l’aide d’agents mobiles pour
l’implémentation des règles ci-dessus. Dans ce modèle, on suppose que les noeuds
sont passifs et que les agents mobiles représentent les entités de calculs qui appliquent
les règles. Cette séparation permet d’introduire un niveau d’abstraction entre le réseau,
représenté par les noeuds et les arêtes, et le calcul distribué, représenté par les agents.
Dans les modèles classiques, par exemple à base de passage de messages, les noeuds
définissent aussi bien la topologie du réseau que les entités de calcul. L’encapsulation
des calculs locaux par des agents mobiles permet de trouver de nouvelles solutions
qui peuvent s’avérer plus efficaces. Nous avons en particulier étudié le problème de la
poignée de mains (Handshake), qui consiste à calculer à chaque noeud un ensemble
d’arêtes qui ne se recouvrent pas. Une étude comparative a été effectuée par rapport
à l’algorithme de rendez-vous implémenté par les messages. Nous avons également
étudié quelques algorithmes distribués spécifiques aux agents mobiles comme le calcul distribué d’arbres recouvrants, le rassemblement d’agents, ou encore la collecte
d’informations. Les principales contributions concernent l’amélioration des temps de
calcul en modélisant le déplacement des agents par des marches aléatoires (travaux de
thèse de B. Derbel et Sh. Abbas).
- Preuves formelles d’algorithmes distribués
Récemment, nous nous sommes intéressés à l’utilisation des techniques de preuves
formelles pour la correction d’algorithmes distribués codés par des calculs locaux.
Prouver qu’un algorithme distribué est correct peut être un travail long, contenant
de nombreux calculs, et pouvant être entaché d’erreurs ou d’omissions s’il est fait sur
le papier (à la main). Il est très difficile, au vu d’algorithmes complexes comme celui de Mazurkiewicz, de se convaincre de leur correction. Face à cette complexité, il
est nécessaire de construire les outils permettant d’être confiant dans la correction de
ces algorithmes. Ceci peut passer par des outils de visualisation de leur exécution, en
utilisant la plate-forme visidia que nous avons développée, mais ne peut qu’être renforcé par l’adaptation à ce type d’algorithmes de techniques prouvées de production
de programmes certifiés au moyen de méthodes formelles. L’objectif de cet environnement de preuves est non seulement de faciliter la preuve de correction d’un algorithme
donné mais également de mettre au point des propriétés génériques de classes d’algorithmes. Nous avons démarré ce travail en collaboration avec le LORIA dans le cadre
de l’ANR RIMEL, en explorant les techniques de preuves basées sur le raffinement et
utilisant l’environnement RODIN. Un catalogue d’algorithmes prouvés a été mis en
place, ainsi qu’un outil permettant de générer automatiquement du code visidia à partir des développements obtenus de modèles B. Nous sommes en train de formaliser la
sémantique des calculs locaux à l’aide de l’assistant de preuve Coq en nous appuyant
sur des compétences locales au laboratoire. L’ambition de ce travail est de disposer
d’un environnement de preuves (semi-)automatiques spécifique aux calculs locaux et
accessibles aux non spécialistes de la démonstration interactive. Nous avons déjà obtenu des résultats concernant quelques classe d’algorithmes, ainsi que des nouveaux
4
résultats d’impossibilité. Ce travail a fait l’objet de nombreuses collaborations (ANR
RIMEL 2007 - 2010).
2. Encadrement et animation de la recherche
• Animation scientifique locale
– Responsable de la formation doctorale du LaBRI entre 2005 et 2009, et à ce titre
membre de la direction de l’école doctorale mathématiques et informatique de
Bordeaux 1.
– Responsable au LaBRI du projet visidia (http://visidia.labri.fr)
– Création et organisation (2005 - 2007) du groupe de travail “Algorithmique
Distribuée”. Ce groupe de travail ouvert à tous les membres du laboratoire a
lieu tous les lundis à 14h et regroupe régulièrement une vingtaine de participants.
• Organisation de colloques, conférences
– Organisation du workshop Graph Computation Models (GCM 2006) le 18 septembre 2006 à Natal, Brésil, et GCM 2008 le 8 septembre 2008 à Leicester, Angleterre. J’étais éditeur des ouvrages de ces deux workshops. Un autre workshop
GCM 2010 est prévu à Twente (Pays Bas en septembre 2010)
– Organisation de la conférence IEEE CRISIS 2008 (octobre 2008) qui a réuni
une centaine de participants. J’étais également l’éditeur des proceedings (IEEE
Xplore).
– Coprésident du comité de programme du workshop SCSS 2010 (Symbolic Computation in Software Science 2010), qui aura lieu à Linz en Autriche du 29 au
30 juillet 2010
– Organisation de la conférence OPODIS (International Conference on Principles
of Distributed Systems (OPODIS), 14 – 17 décembre 2010, Tozeur, Tunisie
• Direction de thèses (après 2005) : 16 thèses (9 thèses soutenues, 7 en cours).
- Thèses co-encadrées ou encadrées soutenues après 2005 :
Nom
R. Ossamy
B. Berbel
F. Ferchaud
B. Hamid
Sh. Abbas
H. Hamdi
I. Jémili
Ph. Andouard
M. Loulou
co-encadrant Date soutenance
Y. Métivier
29 novembre 2005
6 décembre 2006
C. Gavoille
8 décembre 2006
Y. Métivier
14 juin 2007
A. Zemmari 15 décembre 2008
10 janvier 2009
R. Castanet
13 juillet 2009
O. Ly
18 décembre 2009
13 novembre 2010
- Thèses co-encadrés ou encadrés en cours :
5
Situation actuelle
Maı̂tre de Conférences à Masuku (Gabon)
Maı̂tre de Conférences à Lille
Ingénieur à Eurocontrol
Maı̂tre de Conférences à Toulouse
Postdoc à Montréal
ATER ENSEIRB
Maı̂tre assistante à Bizerte (Tunisie)
Ingénieur de recherche
Ma Maı̂tre assistante à Sfax (Tunisie)
Nom
A. Haddar
C. Thuillet
V. Filou
M. Tounsi
A. Ben Zakour
E. Garnaud
W. Ban Jaballah
co-encadrant
Y. Métivier
O. Ly
P. Castéran
S. Maabout
S. Maabout
Date de début
septembre 2007
mars 2008
septembre 2008
février 2009
janvier 2009
octobre 2010
septembre 2011
Type
Cotutelle avec l’ENIS (Tunisie)
CIFRE EADS
CIFRE 2MORO
Projet SIMID
Cotutelle anec l’ENSI
• Réseaux de recherche
– Coordinateur local au LaBRI du projet ANR RIMEL (ANR-06-SETIN-015 ) 20072009 (avec LORIA et CLEARSY). Raffinement Incrémental de Modèles Evènementiels. (voir page web http://rimel.loria.fr)
– Membre du comité de pilotage du réseau de recherche “Graph Transformation and Graph Grammars” qui regroupe plusieurs équipes de recherche européennes sur les transformations de graphes. Ce réseau monte régulièrement
des projets européens et organise une conférence bi-annuelle importante. Dans
le cadre de cette conférence, je participe en tant que membre du comité de pilotage et de programme et j’organise également un workshop sur les modèles de
calcul sur des graphes (Graph Computation Models) : deux éditions ont déjà
eu lieu : GCM 2006, GCM 2008. http://www.gratra.org/
– Coordinateur principal de l’ANR APRIL qui vient d’être soumise dans le cadre
de l’appel à projet blanc SIMI 3 et qui réunit le LaBRI, Orsay et Paris 6 (20
membres). Assistance à la PReuve de systèmes de calcul à base d’Interactions
Locales. Ce réseau, constitué de spécialistes en algorithmique distribuée et
en preuves formelles, s’intéresse à la mise en place d’un environnement de
preuves pour les algorithmes distribués.
3. Valorisation de la recherche
– Responsable scientifique du projet RECORDS ( http://records.2moro.fr) :
juin 2008 - juin 2010. Ce projet, labélisé par le pôle de compétitivité Aerospace
Valley et financé par le FUI, réunit le LaBRI et un consortium de plusieurs industriels dont des grands noms de l’industrie aéronautique et de la défense (2moro,
Thalès, Turbomeca, SOCATA, Nexter) et vise à développer une plate-forme de
service sécurisée pour assurer, à un coût accessible, le suivi des conditions d’utilisation de véhicules terrestres complexes ou d’aéronefs légers. Plusieurs thématiques
de recherche sont corrélés à ce projet : sécurité, fouille de données, algorithmique.
– Membre du conseil de la cellule “LaBRI - Transfert” depuis 2007. cette cellule est
une interface entre les entreprises et le laboratoire, et a pour mission de développer
l’offre de transfert technologique du laboratoire. Le conseil, composé de 6 membres,
se réunit une fois par mois pour suivre les activités de la cellule.
– Responsable au LaBRI du projet SIMID (Systèmes d’Information de Maintenance
Intégrés et Distribués), qui réunit le LaBRI, l’IMS, et les entreprise : Airbus (coordinateur), Dassault Aviation, Eurocopter, 2Moro, Equipaero, Vinci Consulting.
Ce projet, actuellement en cours d’expertise chez les financeurs, a été labélisé par
les deux pôles Aerospace Valley et PEGASE et a eu le soutien du comité C4. Le
début du projet est prévu vers le mois de juin 2010.
6
4. Rayonnement
• Echanges internationaux
– Responsable d’un projet de recherche entre le LaBRI (ENSEIRB - université
Bordeaux 1) et le LIAMA (Chine), dans le cadre du programme 209-02 FranceChine, en 2008 “Développement d’un langage déclaratif pour les algorithmes
distribués”.
– Membre du projet STIC INRIA-DGRSRT 07/I02 (Echange de chercheurs LaBRI
- ReDCAD (Sfax)) sur deux ans 2007-2008 “Modèle générique pour l’implémentation
d’algorithmes distribués à base d’agents mobiles”. http://www.labri.fr/
˜mosbah/MADAM/
– Responsable local du projet STIC DGRSRT/INRIA 06/I09 (Echange de chercheurs Supcom (Tunis) - INRIA - LaBRI) 2006-2007 . “Système de démonstration
automatique par récurrence : validation de protocoles et de systèmes distribués”.
http://www.lsv.ens-cachan.fr/˜jacquema/sydra/
• Expertise
– Expert pour le centre national de recherche scientifique hollandais (NWO) pour
l’évaluation de projets de recherche (VICI GRANT) lors de l’appel d’offres 2008.
L’objectif de cet appel d’offres est de financer des projets portés par des candidats “excellents” ; les budgets des projets peuvent aller jusqu’à 1,25 ME.
– Expert pour ministère de l’enseignement supérieur et de la recherche (DRRT)
pour le dispositif “Jeune Entreprise Innovante” - mars 2008.
• Responsabilités éditoriales
– Editeur des proceedings : CRISIS 2008 (IEEE Xplore), GCM 2008, GCM2006
– Membre du comité éditorial du journal “International Journal of Grid Computing and Multi Agent Systems (GCMAS)” Serials Publications (ISSN : 09758135)
• Jury de thèse et HDR
– Rapporteur et membre des jurys des thèses de :
– Mahmoud Mostafa (Doctorant sous la direction de CH. Fraboul et A. Abou
Elkalem - INP Toulouse)
– Bachar Salim HAGGAR (Doctorant sous la direction de O. Flauzac - Université de Reims, soutenue le 30 juin 2011)
– Ryma Abassi (Doctorante sous la direction de S. Guemara - Supcom Tunis,
soutenance le 6 mars 2010)
– Mathieu Poudret (Doctorant sous la direction de P. Le Gall - Ecole Centrale
de Paris et université d’Evry - soutenance le 8 octobre 2009)
– Achraf Gazdar (Doctorant sous la direction de A. Belghith - ENSI Tunis soutenance le 3 novembre 2007)
– Karim Guennoun (Doctorant sous la direction de M. Diaz, LAAS - Toulouse,
soutenance le 11 décembre 2006)
– Membre des jurys des thèses de : R. Ossamy en 2005, B. Derbel en 2006, F. Ferchaud en 2006, B. Hamid en 2007, A. Casteigts 2007, M. Diouf 2007, E. Beyne
2008, Sh. Abbas 2008, H. Hamdi 2009, I. Jémili 2009, A. M’baye 2009, Ph. Andouard 2009, M. Loulou 2010, M. Ben Mbraka 2011
– Membre de la soutenance d’Habilitation à Diriger des Recherches de : Anas Abou
7
Elkalam le 3 décembre 2009 à l’ENSEEIHT - Toulouse ; Pascal Desbarats le 24
novembre 2011.
8
Activités pédagogiques :
Professeur à l’École Nationale Supérieure d’Électronique, Informatique, Radiocommunication, Mathématiques et Mécanique de Bordeaux (ENSEIRB-MATMECA), qui est
une école d’ingénieurs de l’Institut Polytechnique de Bordeaux. Les élèves de l’ENSEIRB sont essentiellement issus des classes préparatoires aux grandes écoles. Mes enseignements ont pour thèmes : programmation, systèmes distribués, bases de données,
Oracle, bases de données objets. J’ai participé à la structuration des enseignements de
bases de données au niveau de l’école, et notamment à l’acquisition, installation et administration du SGBD Oracle (je suis l’interlocuteur de l’école pour le programme OAI
d’Oracle).
Enseignements actuels 2009-2010 :(62h Cours, 84h TD, 90h TP)
– Bases de données, deuxième année (semestre S3, bac + 4), département informatique.
Ce cours aborde les concepts fondamentaux des bases de données relationnelles :
modèle conceptuel, schéma relationnel, SQL, normalisation, etc. J’ai préparé des
transparents pour chaque séance. J’ai gardé quelques groupes de TD et de TP
afin d’assurer une cohérence pour cet enseignement. Pour chaque séance de TD,
je prépare une série d’exercices qui a pour objectif d’assimiler le cours et d’initier
les étudiants à des cas concrets. A l’issu de cet enseignement, les étudiants ont
un projet à réaliser sous le SGBD Oracle ou MySQL. Bien que le nombre d’élèves
soit important (autour de 90), nous avons gardé des projets par binôme afin de
faire participer de manière plus effective tous les élèves. Chaque projet a donné
lieu à un rapport, une démonstration et une soutenance.
J’ai participé à la mise à jour des versions d’Oracle : la version actuelle (version
11) a été installée en juillet 2009. Je suis administrateur d’Oracle et de MySQL et
j’assure la création de bases et de comptes pour les élèves chaque année.
– Modèles et Approches Formelles des systèmes distribués, 30h Cours, 30hTP, 3ème A.
info ENSEIRB-MATMECA et le master recherche “Systèmes et Réseaux” de l’université Bordeaux 1. Ce cours, que j’ai mis en place il y a deux ans, a pour objectif
d’apprendre aux étudiants les concepts fondamentaux des systèmes et des applications distribués. Les séances de travaux pratiques permettent aux étudiants de
mettre en oeuvre les algorithmes vus en cours à l’aide de la plate-forme visidia.
J’utilise des transparents pour ce cours ainsi qu’une page web.
– Bases de données avancées, option génie logiciel en troisième année (bac + 5), département
Informatique. L’objectif de ce cours est de permettre aux étudiants de compléter
leur formation en bases de données relationnelles et de suivre les évolutions actuelles et futures des SGBD. Je partage ce cours avec un intervenant extérieur.
– Bases de données parallèles, option parallélisme, réseaux et calculs distribués (PRCD)
bac+5, département Informatique
– Encadrement pédagogique de projets de fin d’année, deuxième année, semestres 3 et 4,
département informatique.
Les projets de fin de deuxième année se déroulent, par groupe sur quatre mois,
9
et concernent la réalisation d’applications informatiques importantes. Le suivi
pédagogique consiste à organiser des réunions avec chaque projet, et l’accompagner dans les étapes suivantes : rédaction du cahier des charges, spécifications,
revue du code, rédaction du rapport, et préparation de la soutenance. L’objectif étant d’apprendre aux étudiants une méthodologie pour effectuer un projet informatique. Après la mise en place de ce suivi, nous avons remarqué une
amélioration des étudiants dans les projets qu’ils réalisent par la suite, en particulier lors du stage industriel qui suit le projet de fin d’année. J’ai participé à la
mise en place de cet enseignement, avec en particulier la rédaction d’un document qui précise les modalités de suivi pour les tuteurs.
Responsabilité pédagogique.
Je suis responsable de l’option “Génie Logiciel”, semestre 9, en 3ème A. du département
informatique depuis 2004 (autour de 25 élèves) : Cette option, très demandée par
les élèves, assure souvent l’accueil d’élèves étrangers. Par exemple, cette année, trois
élèves marocains (dans le cadre du réseau INP) et une étudiante mexicaine ont suivi
cette option. Outre les tâches administratives classiques (emploi du temps, gestion des
élèves et des intervenants, suivi), mon rôle est de veiller au renouveau pédagogique.
Face à une technologie, des métiers et un marché du travail en évolution constante,
la formation vise à allier les connaissances fondamentales, qui ont une durée de vie
supérieure et fournissent une base solide, aux enseignements sur les nouvelles technologies et les méthodes de conception émergentes. Ceci passe par des enseignements
pratiques de méthodes et technologies logicielles actuelles et des enseignements formels permettant une adaptation rapide aux nouveaux environnements ou technologies.
De plus, la pédagogie dans cette option est centrée autour d’un grand projet pratique qui
permet d’illustrer l’ensemble des enseignements (ou un grand nombre). Nous changeons de projet tous les ans. Par exemple, cette année (2009-2010), nous avons mis en
place des projets en collaboration avec la société SOPRA sur la réalisation de quelques
modules, autour des environnements de développement java, en s’appuyant sur des
logiciels libres. La préparation de ces projets a commencé avant la rentrée des élèves
afin de définir un cadre pédagogique et de l’intégrer aux enseignements de l’option.
L’expérience semble concluante puisque les élèves ont travaillé sur des projets concrets,
et encadrés en partie par des intervenants professionnels, tout en illustrant et en appliquant les techniques vues dans plusieurs enseignements académiques.
Création de nouvelles formations :
J’ai participé à la mise en place en 2005-2006 d’une formation commune ENSEIRB
- université Bordeaux 4 - université Bordeaux 1. J’étais le porteur de ce projet pour
l’ENSEIRB, et je me suis occupé de cette option entre 2005 et 2007. Il s’agit de l’option Ingénierie du risque économique (IRE) qui repose sur la spécialité professionnelle
du Master Ingénierie Economique proposée par l’université Montesquieu Bordeaux
4. Cette collaboration a permis à nos élèves-ingénieurs, intéressés par la finance ou
l’économie, de compléter leur culture et de disposer ainsi d’une double compétence.
Cette spécialité renvoie à une évolution structurelle de nos sociétés et de nos économies,
où le risque, dans ses différentes formes, devient prépondérant. Dans un tel contexte,
ce parcours vise à former des spécialistes dans l’analyse, la valorisation et la prévention
systémiques du risque. Cette formation privilégie en conséquence l’acquisition de com10
pétences permettant l’interaction avec les gestionnaires de risques spécifiques couvrant des domaines distincts de l’activité économique comme les actuaires, les assureurs, les financiers et les ingénieurs de production. En particulier, ces spécialistes
seront capables d’aborder l’ensemble des vulnérabilités de l’entité économique qu’ils
intégreront et pourront faire preuve d’une grande flexibilité d’analyse. En ce qui concerne
le contenu, les unités d’enseignements sont les suivants : Modélisation du risque, Techniques du risque, Economie des risques, Datamining et applications, et Culture de
l’ingénieur. Ces deux dernières unités d’enseignements ont lieu à l’ENSEIRB, tandis
que les autres ont lieu à Bordeaux 4 (qui dispose d’une faculté d’économie et de gestion).
Autres matières enseignées (avant 2005) :
– Environnement de programmation (première année ENSEIRB, Bac +3)
– Algorithmique et structures de données (première année ENSEIRB, Bac +3)
– Théorie des langages (Maı̂trise informatique, université Bordeaux 1)
– Graphes (troisième année ENSEIRB, Bac + 5)
11
Responsabilités Collectives :
Mes responsabilités collectives s’inscrivent dans le cadre d’une politique de site volontariste des établissements bordelais concrétisée par de nombreuses cotutelles de laboratoires, dont le LaBRI, et par des synergies autour de quelques pôles d’excellences, dont
le pôle Technologies de l’Information, en articulant formation et recherche. J’ai exercé
la responsabilité “de site” de formation doctorale en informatique au LaBRI de 2005
à 2009, et je suis Directeur des Relations Industrielles à l’ENSEIRB-MATMECA depuis octobre 2009. Malgré l’importance de chacune de ces deux charges, j’ai également
gardé une implication forte dans le département puisque je suis responsable de l’option “Génie Logiciel” en 3ème A. de l’ENSEIRB-MATMECA depuis 2004 :
depuis septembre 2009 : Directeur des Relations Industrielles de l’ENSEIRB-MATMECA :
L’ENSEIRB-MATMECA est une école d’ingénieurs, de l’Institut Polytechnique
de Bordeaux (IPB), qui a un peu plus de 1200 élèves-ingénieurs. Développer
les relations avec les entreprises est l’une des priorités de l’école afin de rapprocher la formation de l’entreprise, aussi bien au niveau régional que national.
En position intermédiaire entre les différents acteurs de l’Ecole (étudiants, enseignants, chercheurs) et les entreprises, la Direction des Relations Industrielles a
pour mission de promouvoir l’offre partenariale de l’ENSEIRB-MATMECA et de
contribuer à la mise en oeuvre de collaborations ENSEIRB-MATMECA - entreprises. Outre les retombées liées à la taxe d’apprentissage et aux offres de stages
et d’emplois pour nos étudiants, des professionnels issus de l’entreprise sont
également acteurs au sein même des formations. L’une de mes premières missions consistent à établir une base de données à jour et unifiée pour toutes les
entreprises partenaires qui sera utilisée par de nombreux services : taxes d’apprentissages, offres de stages, offres d’emplois, etc. Dans le cadre de cette fonction, je participe à de nombreuses réunions d’industriels (pôle de compétitivité,
ADEISO, Club affaires, etc). Je travaille actuellement sur des opérations de partenariat avec quelques entreprises cibles (des grands groupes, mais aussi des
PME) : conventions pour des projets communs, manifestations et forums à l’école,
créations d’entreprises, développement de projets de recherche entreprises-laboratoires, etc. En tant que directeur de relations industrielles, je participe à toutes
les réunions de direction de l’école (tous les lundis matins). L’un des projets
à développer dans le cadre de cette responsabilité, centré sur les secteurs de
l’ENSEIRB-MATMECA, concerne la mise en place d’un Pôle Technologie de l’Information qui est le fruit de synergie entre établissements et laboratoires de recherche (LaBRI, IMS et IMB) et qui est affiché comme pôle d’excellence du site
bordelais.
depuis avril 2010 : Directeur adjoint du LaBRI : Le LaBRI est un laboratoire d’informatique qui comporte 350 membres. L’équipe de direction est formée par un directeur et 4 directeurs adjoints. Ce comité se réunit une fois par semaine et gère
l’ensemble des activités du laboratoire (conseil scientifique, conseil du labo, etc).
Je m’occupe de la valorisation et du transfert du laboratoire ; et j’anime le conseil
LaBRI-Transfert. De plus, je représente le laboratoire aux diverses réunions (université, conseil régional, etc)
2005 - 2009 : Responsable de la formation doctorale en Informatique au LaBRI (135 docto12
rants en 2008-2009) : Les tâches liées à cette responsabilité sont assez variées et
irrégulières et concernent à la fois des aspects scientifiques (par exemple être
en mesure de connaı̂tre les axes de recherche de chaque équipe, voire de chacun de ses membres), mais aussi des aspects administratifs classiques : suivi des
étudiants depuis la validation de leur candidature jusqu’à leur soutenance, voire
après pour suivre le devenir des doctorants. La formation doctorale intervient
quasiment dans tous les projets du laboratoire (ANR, projets Région, projets
BQR, etc). De plus, dans le cadre des nouvelles réformes, les allocations doivent
être fléchées et le calendrier des demandes d’allocations est profondément modifié, ce qui nécessite un travail en amant considérable de collecte et de validation
de sujets de thèse. Les tâches les plus récurrentes sont les suivantes (par exemple
en 2009-2010) :
– Réunion de rentrée des doctorants en informatique (en début d’année universitaire)
– Appel à sujets de thèse (début septembre)
– Réunions du Conseil Scientifique du laboratoire (octobre-novembre) : validation des sujets ; et sélection des sujets pour les diverses demandes de financement (bourses BDI, allocations ministérielles, allocations région).
– Constitution d’une seule demande, par type de financement, regroupant tous
les sujets de thèses (détaillés).
– Elaboration d’une demande BQR-Thèses du LaBRI qui sera présentée à l’université (allocations ministérielles). Cette demande contient une vingtaine de
sujets de thèse.
– Diffusion des sujets de thèse (site web et courriels)
– Participation aux réunions de l’école doctorale pour répartir les allocations
entre disciplines.
– Affectation des allocations aux candidats vers la fin du mois de juin, qui se fait
par le conseil scientifique du laboratoire, et qui nécessite la préparation d’un
dossier complet par candidat, ainsi que l’audition de l’ensemble des candidats
(pour les bourses BDI du CNRS par exemple).
– Propositions et organisations de modules de cours en informatique pour les
doctorants dans le cadre de l’école doctorale maths-info de Bordeaux 1.
– Mise en place à partir de 2006 du rapport d’étape du doctorant. Ce rapport,
demandé à chaque doctorant par l’école doctorale maths-info, est destiné à
suivre l’avancement de chaque thèse et à détecter d’éventuels problèmes assez
tôt afin d’intervenir rapidement.
– Mise en place à partir de la rentrée 2006 du monitorat en entreprise (appelé
maintenant Doctorat-Conseil) pour les doctorants allocataires. Deux doctorants
en informatique à l’université Bordeaux 1 bénificient de ce dispositif cette année.
Le principe du Doctorant-Conseil, calqué sur celui d’un moniteur d’enseignement, est d’effectuer une mission pour une entreprise sur un problème précis
(de type recherche).
– Validation préalable de toute candidature à une thèse avant toute démarche administrative et quelque soit le financement (CIFRE, ANR, ...). En effet, de plus
en plus de candidatures sur les sujets de thèse du laboratoire proviennent de
l’extérieur avec des profils très variés. Une commission a été mise en place par
la formation doctorale pour étudier et valider toute candidature à un sujet de
thèse. L’objectif est de veiller à maintenir l’excellence de la formation doctorale.
13
• Responsabilités administratives
– Depuis mai 2009 : Membre élu du conseil scientifique de l’Institut Polytechnique de Bordeaux
– Depuis septembre 2009 : Membre du conseil de direction de l’ENSEIRB-MATMECA
– 2005 - 2009 : Membre de la direction et du conseil de l’école doctorale mathématiques
et informatique
– Depuis 2006 : Membre du conseil scientifique du LaBRI
– Depuis février 2009 : Membre de la commission consultative informatique qui
coordonne les comités de sélection des établissements pour le recrutement d’enseignantschercheurs en informatique
• Responsabilités dans les projets et la vie collective de l’établissement
– Porteur du projet BQR - Thèses du LaBRI en 2008 et 2009 auprès de l’université
Bordeaux 1 pour les demandes d’allocations ministérielles locales (autour de
15 sujets sélectionnés)
– 2005 - 2009 : je m’occupe de toutes les demandes de bourses Région et CNRSRégion du LaBRI
– Porteur du Grand Projet recherche Région “Pôle de Recherche en Informatique” du LaBRI (2005-2007). Ce projet, transversal à plusieurs thématiques,
porte sur les travaux de recherche de plusieurs équipes au LaBRI et permet le
financement matériel du laboratoire et notamment les moyens informatiques
communs. Il a été proposé et accepté dans le cadre de l’appel d’offre recherche
de la Région Aquitaine (montant 1,11 Million d’euros)
– Porteur du projet BQR - université Bordeaux 1 “Modélisation, conception et
spécification d’algorithmes et de systèmes distribués” en 2005-2006 commun à
plusieurs équipes au LaBRI
• Comités de sélection
– Membre de deux comités de sélection de l’ENSEIRB-MATMECA en mai 2009
(PR 1166 - PR 0867, MC 9001)
– Membre du comité de sélection de l’université Bordeaux 1 pour un poste de
professeur en mai 2009 (PR 0104)
– Membre du comité de sélection de l’ Université Henri Poincaré - Nancy pour
le recrutement d’un professeur en avril 2009 (PR 1051)
• Responsabilités avant 2005
– Responsable des projets de fin d’études (PFE) entre 1998 et 2004.
– Membre du conseil de perfectionnement de l’ENSEIRB entre 2001 et 2005
– Membre du conseil scientifique de l’ENSEIRB entre 1994 et 1998.
– Membre de la commission de spécialiste 27 du LaBRI (université Bordeaux I,
ENSEIRB) depuis septembre 2007 (collège A) et entre 2001 et 2005 (collège B),
Membre du bureau de la CS en 2003-2004.
14
Annexe A : Liste des publications
Articles acceptés dans des revues d’audience internationale :
[1] B. Derbel, M. Mosbah and Z. Zemmari Fully Distributed Partition with Applications Theory of Computing Systems 47, 3 (2010) pages 368–404, Springer, 2010
[2] M. Loulou, M. Jmaiel and M. Mosbah Dynamic security framework for mobile
agent systems : specification, verification and enforcement. International Journal
of Information and Computer Security. Volume 3 (3/4), pages 321–336, Inderscience,
2009
[3] M. A. Haddar, A. Hadj-Kacem, Y. Métivier, M. Mosbah, and M. Jmaiel. A distributed computational model for mobile agents International Journal of Grid Computing
and Multi Agent Systems (GCMAS), 1(1) :1–26, 2009. Serial Publications. ISSN : 09758135.
[4] H. Hamdi, A. Bouhoula and M. Mosbah A Declarative Approach for Easy Specification and Automated Enforcement of Security Policy. International Journal of
Computer Science and Network Security, Volume 8, Number 2 pp. 60–71, 2008.
[5] N. Bonichon, M. Mosbah and S. Felsner Convex Drawings of 3-Connected Planar
Graphs Journal of Algorithmica, volume 47, number 4 :399–420, 2007.
[6] A. Belghith, I. Jemili, and M. Mosbah A Distributed Clustering Algorithm without
an Explicit Neighbourhood Knowledge International Journal of Computing and Information Sciences - (IJCIS), volume 5, number 1 :24–34, 2007
[7] B. Hamid and M. Mosbah, A Local Enumeration Protocol in Spite of Corrupted
Data Journal of Computers,Volume 1, Issue 7 : 9-20, 2006.
[8] N. Bonichon, M. Mosbah and B. Le Saëc Orthogonal Drawings Based on the Stratification of Planar Graphs. Discrete Mathematics 276(1-3) :43–57, 2004.
[9] N. Bonichon and M. Mosbah. Watermelon Uniform Random Generation With Applications. Theoretical Computer Science, 307(2) :241–256, 2003.
[10] S. Gruner, Y. Métivier, M. Mosbah and P.A. Wacrenier Distributed algorithm for
computing a spanning tree in anonymous t-prime graphs. Studia Informatica Universalis, 2 :141–158, 2002.
[11] M. Mosbah and N. Saheb. Formal rational fractions and random walks on cycles.
Discrete Mathematics, 217 :301–313, 2000.
[12] M. Mosbah and N. Saheb. Non uniform random spanning trees on weighted
graphs. Theoretical Computer Science, 218 :263–271, 1999.
[13] M. Mosbah. Probabilistic graph grammars. Fundamenta Informaticae, 26(3,4) :341–
360, 1996.
[14] M. Mosbah. Probabilistic hyperedge replacement grammars. Theoretical Computer
Science, 159 :81–102, 1996.
[15] B. Courcelle and M. Mosbah. Monadic Second-Order Evaluations On TreeDecomposable Graphs. Theoret. Comput. Sci., 109 :49–82, 1993.
15
Articles acceptés dans des conférences d’audience internationale avec
comité de sélection et actes (Depuis 2005) :
[16] D. Méry, M. Mosbah, and M. Tounsi Refinement-based Verification of Local Synchronization Algorithms. In 17TH INTERNATIONAL SYMPOSIUM ON FORMAL
METHODS, 20 - 24 June, 2011, Limerick, Irland, Lecture Notes in Computer Science,
To appear, 2011.
[17] D. Méry, M. Mosbah, and M. Tounsi Proving Distributed Algorithms by Combining Refinement and Local Computations. In AVOCS 2010 10th International Workshop on Automated Verification of Critical Systems, 2010, to appear in Electronic Communications of the EASST, Volume 35.
[18] N. Ouled Abdallah, H. Hadj Kacem, and M. Mosbah and A. Zemmari, Broadcast
in wireless mobile sensor networks with population protocols and extension with
the rendezvous model, In 10th Annual International Conference on New Technologies
of Distributed Systems - Notere 2010, pp.219 - 226, IEEE Computer science, 2010.
[19] I. Chahid, S. Maabout, L. Martin and M. Mosbah Simplification de données de
vol pour un stockage optimal et une visualisation accélérée. In Extraction et gestion
des connaissances (EGC’2010), pages 393-398, Cépaduès-Éditions 2010, ISBN 978-285428-922-0 (2010)
[20] P. Castéran, V. Filou and M. Mosbah Certifying Distributed Algorithms by Embedding Local Computation Systems in the Coq Proof Assistant, In Proceedings of
Symbolic Computation in Software Science (SCSS 2009), 2009
[21] M. Tounsi and M. Mosbah Automatic Implementation of Distributed Algorithms
Specified in Event-B, In Proceedings of Symbolic Computation in Software Science
(SCSS 2009), 2009
[22] M. Tounsi, A. Hadj Kacem, M. Mosbah and D.Mery A Refinement Approach for
Proving Distributed Algorithms :Examples of Spanning Tree Problems, In Workshop on Integration of Model-based Formal Methods and Tools, Dusseldorf, Germany, 16
- 19 February, 2009
[23] H. Hamdi and M. Mosbah A DSL Framework for Policy-Based Security of Distributed Systems In Third IEEE International Conference on Secure Software Integration
and Reliability Improvement, SSIRI 2009, Shanghai, China, July 8-10, 2010, pages 150158, IEEE Computer Society, 2009.
[24] M. A. Haddar, A. Hadj-Kacem, Y. Metivier, M. Mosbah, and M. Jmaiel. Fault tolerant distributed algorithms for mobile agents. In Proceedings of the 9th International Conference on New Technologies for Distribution (NOTERE’09), pages 108–117,
Montreal - Canada, July 2009.
[25] I. Jémili, A. Belghith and M. Mosbah Exploiting a Clustering Mechanism for Power Saving in Ad hoc Networks : Performance Evaluation In seventh ACS/IEEE
International Conference on Computer Systems and Applications (AICCSA-09), May 10 13, 2009, Rabat Maorocco, IEEE Computer Society, 2009
[26] Bilel Derbel, Mohamed Mosbah, and Stefan Gruner. Mobile agents implementing
local computations in graphs. In ICGT, volume 5214 of Lecture Notes in Computer
Science, pages 99–114. Springer, 2008.
16
[27] Mohamed Mosbah and Annegret Habel. Workshop on graph computation models. In ICGT, volume 5214 of Lecture Notes in Computer Science, pages 460–462.
Springer, 2008.
[28] I. Jémili, A. Belghith and M. Mosbah A Synchronous Tiered Based Clustering Algorithm for large-scale In Ad hoc Networks Wireless and Mobile Networking, IFIP
Joint Conference on Mobile and Wireless Communications Networks (MWCN’2008) ,
Toulouse, France, September 30 - October 2, 2008, Volume 284, pages 41–44, IFIP,
Springer, 2008
[29] I. Jémili, A. Belghith and M. Mosbah Cluster based Prioritized Power Conservation mechanis In IFIP Wireless Days Conference, Dubai, United Arab Emirates,
IFIP-IEEE, November 24 - 27, 2008
[30] M. Loulou, A. Hadj Kacem, M. Mosbah, and M. Jmaiel. A formal security framework for mobile agent systems : Specification and verification. In Third International
Conference on Risks ans Security of Internet and Systems (CRiSIS), pages 69–76. IEEE,
2008.
[31] A. Haddar, A. Hadj Kacem, M. Mosbah, Y. Métivier and M. Jmaiel. Electing a
Leader in the Local Computation Model Using Mobile Agents In sixth ACS/IEEE
International Conference on Computer Systems and Applications (AICCSA-08), IEEE
Computer Society, pp. 473–489. 2008.
[32] A. Haddar, A. Hadj Kacem, M. Mosbah, Y. Métivier and M. Jmaiel. Proving Distributed Algorithms for Mobile Agents : Examples of Spanning Tree Computation in
Anonymous Networks In 9th International Conference on Distributed Computing and
Networking, ICDCN 2008, January 5-8, 2008 in Kolkata, India., Lect. Notes in Comp.
Sciences, Vloume 4904, pages 286–291 Springer, 2008.
[33] Abbas S., Mosbah M., Zemmari A. A Probabilistic Model for Distributed Merging
of Mobile Agents In Proceddings of the Second International Workshop on Verification
and Evaluation of Computer and Communication Systems (VECoS 2008),Leeds, UK, 2 - 3
July 2008 Electronic Workshops in Computing (eWiC) Series of the British Computer Society, 2008.
[34] A. Haddar, A. Hadj Kacem, M. Mosbah, Y. Métivier and M. Jmaiel. A Distributed
Computational Model for Mobile Agents Proceedings PRIMA, Lecture Notes in
Artificial Intelligence,Volume 5044, pages 417–421 Springer, 2009.
[35] Shehla Abbas, Mohamed Mosbah, Akka Zemmari. A Generic Distributed Algorithm for Computing by Random Mobile Agents Proceedings PRIMA, Lecture
Notes in Artificial Intelligence, Volume 5044, pages 392–397, Springer, 2009.
[36] M. Loulou and M. Tounsi and A. Hadj Kacem, M. Jmaiel and M. Mosbah. A
Formal Approach to prevent Attacks on Mobile Agent Systems The International
Conference on Emerging Security Information, Systems, and Technologies, secureware, pp. 42-47, IEEE Computer science, 2007.
[37] H. Hamdi, A. Bouhoula, M. Mosbah. A Software Architecture for Automatic Security Policy Enforcement in Distributed Systems, The International Conference
on Emerging Security Information, Systems, and Technologies, secureware, pp.
187-192, IEEE Computer science, 2007.
[38] B. Hamid, M. Mosbah, and A. Zemmari. Self-stabilizing Distributed Algorithm
For Resolving Conflicts In 2nd International Workshop On Reliability in Decentralized
17
Distributed Systems RDDS 2007, Vilamoura, Algarve, Portugal, Nov 25, 2007, Lect.
Notes in Comp. Science, Volume 4806, pages 1042–1051. Springer, 2007.
[39] B. Hamid, B. Le Saec, and M. Mosbah. Distributed local 2-connectivity test of
graphs and applications. In Fifth International Symposium on Parallel and Distributed
Processing and Applications ISPA 2007, Lect. Notes in Comp. Sciences, volume 4742,
pages 195–207. Springer, 2007.
[40] Sh. Abbas, M. Mosbah, and A. Zemmari. Merging time of random mobile agents.
In International Conference on Dynamics in Logistics 2007 (LDIC 2007) August 28th
- 30th, 2007 Bremen, Germany, Springer, Haasis, Hans-Dietrich ; Kreowski, HansJorg ; Scholz-Reiter, Bernd (Eds.). ISBN : 978-3-540-76861-62007, pages : 179–190,
May 2008
[41] Sh. Abbas, M. Mosbah, and A. Zemmari Collecte d’informations par des agents
mobiles In NOuvelles TEchnologies de la REpartition, NOTERE’2007, 4 - 8 juin 2007,
Marrakech, Maroc Ed. Hermès - Lavoisier, 2007.
[42] B. Hamid, M. Mosbah and B. Le Saëc. Distributed Local 2-Connectivity Test of
Graphs, In International Conference on Parallel and Distributed Computing Systems,
PDCS 2007, 25 - 27 mai 2007, Vienne, Autriche International Journal of Applied
Science, Engineering and Technology (IJASET), 2007.
[43] B. Hamid, M. Mosbah and B. Le Saëc. A Simple Distributed Algorithm for the
Maintenance of a Spanning Tree In First International Workshop on Verification and
Evaluation of Computer and Communication Systems, Vecos’2007, 5 - 6 mai 2007, Alger
Electronic Workshops in Computing (eWiC) Series of the British Computer Society,
2007.
[44] M. Mosbah H. Hamdi, A. Bouhoula. Automating enforcement mechanisms generation for security policies in distributed systems. In IEEE Global informations
infrastructures Symposium 2007 (GIIS 2007). IEEE Computer Society Press, 2007.
[45] M. Mosbah, H. Hamdi, A. Bouhoula. A domain specific language for securing
distributed systems. In IEEE Second International Conference on Systems and Networks
Communications. IEEE Computer Society Press, pages 70-76, 2007.
[46] M. Mosbah, H. Hamdi, A. Bouhoula. A software architecture for automatic security policy enforcement in distributed systems. In IEEE International Conference
on Emerging Security Information, Systems and Technologies. IEEE Computer Society
Press,pages 187-192, 2007.
[47] B. Hamid and M. Mosbah. A Local Self-stabilizing Enumeration Algorithm. In
Distributed Applications and Interoperable Systems, 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. LNCS volume 4025, pages : 289–
302, Springer Verlag 2006.
[48] A. Sellami, M. Mosbah, and A. Zemmari. Using Graph Relabeling Systems for
Resolving Conflicts In NOuvelles TEchnologies de la REpartition, NOETER’2006, 6 - 9
juin 2006, Toulouse, France Ed. Hermès - Lavoisier, 2006, pages : 283–294.
[49] B. Derbel, M. Mosbah, and A. Zemmari. Fast Distributed Graph Partition and
Application In 20th IEEE International Parallel & Distributed Processing Symposium
(IPDPS 2006), 25 - 29 avril 2006, Rhodes, Grèce IEEE Computer Society et ACM, 2006.
[50] Sh. Abbas, M. Mosbah, and A. Zemmari. Distributed Computation of a Spanning
Tree in a Dynamic Graph by Mobile Agents. In IEEE International Conference on
18
Engineering of Intelligent Systems (ICEIS 2006), 22 - 23 avril 2006, Islamabad, Pakistan
IEEE Conference proceedings, 2006, pages : 425–430.
[51] M. Mosbah and R. Ossamy. Distributed Recognition of Graph Properties with
Local Computations. In International Symposium and School on Advance Distributed
Systems (ISSADS 2006), 23 - 27 janvier 2006, Guadalajara, Mexique, 2006.
[52] M. Loulou, A. Hadj Kacem, M. Jmaiel, M. Mosbah. A Conceptual Model for Secure Mobile Agent Systems In Proceedings of the IEEE International Conference on
Computational Intelligence and Security (CIS’2006) ISBN : 1-4244-0605-6, pages : 524527, IEEE Computational Intelligence, 2006.
[53] B. Derbel, M. Mosbah. Distributed Graph Traversals by Relabeling Systems with
Applications In Electr. Notes Theor. Comput. Sci., Volume 154, Issue 2, pages : 79–94,
Elsevier, 2006.
[54] B. Hamid and M. Mosbah. A formal model for fault-tolerance in distributed systems. In THE 24th International Conference on COMPUTER SAFETY, RELIABILITY
AND SECURITY (SAFECOMP 2005), Fredrikstad, Norvège, 28 - 30 Septembre 2005.
LNCS volume 3688, pages : 108–121, Springer Verlag 2005.
[55] B. Hamid and M. Mosbah. Visualization of self-stabilizing algorithms. In 9th International Conference on Information Visualization (IV05), London, England, 6-8 Juillet
2005, Pages : 550–555. IEEE Computer Society.
[56] B. Hamid and M. Mosbah. An Automatic Approach to Self-stabilization In the
6th ACIS International Conference on Software Engineering,Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD2005) May 23 - 25, 2005, Towson
University, Maryland, U.S.A. IEEE Computer Society Press, pages : 123-128, 2005.
[57] B. Hamid and M. Mosbah. An Implementation of a Failure Detector for Local
Computations in Graphs In International Conference on Parallel and Distributed Computing Networks, PDCN 2005, February 15-17, 2005, Innsbruck, Austria. ACTA Press,
Pages : 473–478.
[58] H. Hamdi, A. Bouhoula and M. Mosbah Approche langage pour la spécification
des politiques de sécurité In 7eme Colloque francophone de Gestion de Réseaux et de
Services, GRES 2006, 9 - 12 mai 2006, Bordeaux, France
Edition d’ouvrages collectifs (Après 2005) :
[59] M. Mosbah, M. Jmaiel (Eds) Third IEEE International Conference on Risks and
Security of Internet ans Systems 2008 (CRISIS 2008) IEEE Xplore ISBN : 978-14244-3309-4, 2008
[60] M. Mosbah, A. Habel (Eds) Second Internatioanal Workshop on Graph Computation Models (GCM 2008) September 8,2008, Leicester, UK.
[61] M. Mosbah, Y. Métivier (Eds) First Internatioanal Workshop on Graph Computation Models (GCM 2006) September 18,2006, Natal, Brazil.
Logiciels :
• Visidia : visualisation et simulation d’algorithmes distribués
http://visidia.labri.fr, LaBRI - université de Bordeaux, 2010.
19
Annexe B : Direction de Thèses
Thèses soutenues (après 2005) :
– 2002-2005 : Rodrigue Ossamy a effectué sa thèse au LaBRI avec la co-direction
avec Yves Métivier. Son travail consiste à élaborer un langage de description des
calculs locaux. Il a mis au point un langage de programmation de calculs locaux
ainsi qu’une caractérisation de sa puissance. Il a soutenu sa thèse le 29 novembre
2005. Il est actuellement Maı̂tre de Conférences à l’université de Masuku (Gabon)
– 2002-2006 : Bilel Derbel a effectué sa thèse au LaBRI de 2002 à 2006 sous ma direction. Le sujet de sa thèse concerne les algorithmes distribués de décomposition
de graphes et les aspects répartis de Visidia. La soutenance a eu lieu le 6 décembre
2006. Il est actuellement Maı̂tre de Conférences à Lille.
– 2003-2007 : Hamid Brahim a effectué son doctorat au LaBRI sous ma direction
et celle d’Yves Métivier. Son sujet de thèse consiste à étudier les pannes dans le
modèle des calculs locaux, et d’introduire dans ce dernier la gestion des communications. La soutenance a eu lieu le 14 juin 2007. Il est actuellement Maı̂tre de
Conférences à Toulouse.
– 2003-2006 : Frédéric Ferchaud (co-encadré avec C. Gavoille) a effectué une thèse
dans l’entreprise EUROCONTROL. Son sujet de thèse consiste à élaborer un
modèle pour la Gestion de flux du trafic aérien. La soutenance a eu lieu le 8
décembre 2006. Il occupe actuellement un poste d’ingénieur de recherche.
– 2005-2008 : Shehla Abbas a effectué sa une thèse sur les calculs par des agents
mobiles aléatoires. Je l’ai co-encadré avec A. Zemmari. Elle a soutenu sa thèse le
15 décembre 2008, et effectue actuellement un postdoc à Montréal.
– 2004-2008 : Hédi Hamdi a effectué sa thèse en cotutelle avec SUPCOM (Tunis)
sur la sécurité des systèmes distribués. La soutenance a eu lieu le 10 janvier 2009.
Il occupe actuellement un poste d’ATER à l’ENSEIRB-MATMECA.
– 2005-2009 : Imen Jemili a effectué une thèse en co-tutelle avec l’ENSI sur la clusterisation et la conservation d’énergie dans les réseaux ad hoc hyprides à grande
échelle. Je l’ai co-encadré avec Richard Castanet. Sa soutenance a eu lieu le 13
juillet 2009. Elle occupe un poste de Maı̂tre assistante à l’université de Bizerte en
Tunisie.
– 2006 - 2009 : Philippe Andouard a effectué une thèse CIFRE avec l’entreprise
SERMA sur la recherche automatisée de vulnérabilités dans l’implémentation
d’applications embarquées sur carte à puce. Cette thèse a été co-encadrée avec
Olivier Ly. Il a soutenu le 18 décembre 2009. Il est actuellement ingénieur de recherche à la société Oberthur Technologies.
Thèses en cours :
– Depuis octobre 2006 : Monia Loulou effectue une thèse en cotutelle avec l’université de Sfax sur un modèle formel pour les systèmes à base d’agents mobiles.
– Depuis septembre 2007 : Amine Haddar effectue une thèse en cotutelle avec
l’université de Sfax sur la définition et mise en oeuvre d’un modèle d’algorithmes
distribués pour les agents mobiles. Je le codirige avec Y. Métivier.
– Depuis mars 2008, Céline Thuillet effectue une thèse CIFRE avec EADS. Je la
co-dirige avec Olivier Ly.
– Depuis septembre 2008 : Vincent Filou effectue une thèse au LaBRI sur un environnement de preuves pour les algorithmes distribués. Je le co-encadre avec
Pierre Castéran.
20
– Depuis février 2009 : Mohamed Tounsi effectue une thèse sous ma direction sur
“le développement d’algorithmes distribués par raffinement”.
– Depuis janvier 2009 : Asma Ben Zakour effectue une thèse CIFRE avec la société
2MORO sur la fouille de grandes quantités de données. je la co-encadre avec S.
Maabout.
21