|
|
English version (
Recherche:
Domaines de recherche
· Systèmes et algorithmique distribués.
· Sécurité des systèmes distribués et méthodes formelles.
· Transformation de graphes et algorithmes distribués (Projet ViSiDiA (Visualisation et simulation d'algorithmes distribués)
Liste de publications / publications (sur HAL)
Workshop/Conference
chair (2006-2010)
·
OPODIS 2010 International Conference on Principles of
Distributed Systems (OPODIS), décembre 2010
· Graph Computation Models 2010 : 2 octobre 2010, Enschede, Pays-Bas
·
SCSS 2010: Symbolic
Computation in Software Science, 29 – 30
juillet, Hagenberg, Autriche
·
CRISIS 2008 :
International Conference on RIsks and Security of
Internet and Systems 2008, 28 – 30 octobre, 2008 Tozeur
· Graph Computation Models 2008 : 9th, septembre 2008, Leicester, GB
· Graph Computation Models 2006 : 18th, septembre 2006, Natal, Brésil
Membre PC (2006-2010):
· ICGT 2010 : 5th International Conference on Graph Transformation, 27 septembre – 2 octobre 2010, Enschede, Pays-Bas
·
SAICSIT 2010:
South African Institute of Computer Scientists and Information Technologists, 11-13 October 2010, Bela Belar,
·
NOTERE 2010: : NOuvelles TEchnologies de
·
SSIRI
2010: Secure System Integration and
Reliability Improvement, June 9 – 11, 2010
·
FT-ASN 2010 : The
ACS/IEEE Workshop Future Trends on Ad-hoc and Sensor Networks (FT-ASN 2010), Hammamet, Tunisie, 16 – 19 Mai,
2010
·
SESENA 2010:
Workshop on Software Engineering for Sensor Network Applications, In
conjunction with ACM/IEEE Intl. Conference on Software Engineering (ICSE) May
2-8, 2010, Cape Town, South Africa
·
CAL 2010 :Conférence Francophone sur les Architectures
Logicielles, Pau, 9-11 mars 2010
·
SAC - SE 2010 : ACM Symposium on Applied
Computing 2009 – Software Engineering Track, Sierre,
Suisse, 22 – 26 mars , 2010
·
AFRICOMM 2009
: International ICST Conference on e-Infrastructure and e-Services for
Developing Countries, 25-27 November 2009,
·
SCSS 2009: Symbolic
Computation in Software Science September 22-24, 2009
·
CRISIS
2009: International Conference on Risks and Security of Internet and Systems,
October 12 – 22, 2009,
·
SAICSIT
2009: South African Institute of Computer Scientists and Information
Technologists, 13-14 October 2009,
·
SECRYPT 2009
: International Conference on Security and Cyptography,
July 7 – 10, 2009,
·
SSIRI
2009 : Secure System Integration and Reliability Improvement, July 8
– 10, 2009
·
NOTERE 2009: : NOvelles TEchnologies de
·
OPODIS 2008 :
12th International Conference On Principles Of DIstributed
Systems December 15th-18th 2008
·
ICGT 2008 : 4th International Conference
on Graph Transformation, 7 – 13 septembre 2007,
Leicester (UK)
·
QSWS-08 :
International Workshop on QoS in Self-healing Web
Services, September 1st, 2008
·
NOTERE 2008: NOuvelles TEchnologies de
·
SSIRI
2008: Secure System Integration and Reliability Improvement 14
-17 juillet , 2008
·
SAC – SE 2008 : ACM
Symposium on Applied Computing 2008,
·
SAICSIT 2007 : Annual Conference of the South
African
· SAC - SE 2007 : ACM Symposium on Applied Computing 2007, Seoul, Korea, 11 – 15 mars , 2007
·
NOTERE 2007 : NOvelles
TEchnologies de
·
VECOS 2007 :
First International Workshop on Verification and Evaluation of Computer and
Communication Systems, 5-6 Mai 2007, Alger
·
NOTERE
2006 : NOvelles TEchnologies de
·
SAC 2006 : ACM Symposium on Applied
Computing 2006, 23-27 avril,
·
AICSSA 2006 : The 4th ACS/IEEE International
Conference on Computer Systems and Applications 2006, 8-11 mars, Dubai/Sharjah, UAE
Enseignement
1. Cours Modèles et Approches Formels des Systèmes Distribuées (Master SDRP, Master MA)
2. Cours Bases de données objets (3ème A. Informatique, ENSEIRB)
3. TP Base de données objets (DEA, module pratique)
4. Cours Programmation avancée (3ème A. Electronique, ENSEIRB)
5. Cours Langage C (2eme A. electronique, ENSEIRB)
6. TD Bases de données (2ème A. informatique, ENSEIRB)
7. TP Bases de données ORACLE( 2ème A. informatique, ENSEIRB)
8. TD Théorie des langages (Maitrise, UFR Bordeaux 1)
9. Encadrement de projets 2ème A. ENSEIRB
Administration
· Responsable de la formation doctorale en informatique depuis 2005-2006
· Responsable de l'option Génie Logiciel en 3ème A. à l'ENSEIRB (depuis 2001)
· Responsable des Projets de Fin d'Etude en informatique à l'ENSEIRB (entre 1998 et 2004)
· Responsable de la nouvelle option Ingénierie du Risque Economique à l'ENSEIRB (en 2005-2006)
|
|
dernière mise à jour : 22 février 2008