|
|
English version ( Click here)
Recherche:
Domaines de recherche
· Modélisation et preuves d'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-2012)
Graph Computation Models 2012, GCM 2012, 29 septembre 2012, Brème, Allemagne
OPODIS 2010 International Conference on Principles of Distributed Systems (OPODIS), 14 – 17 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 (2007-2012)
ICGT 2012 : 6th International Conference on Graph Transformation, 24 – 29 septembre, Brême, Allemagne
SAICSIT 2012: South African Institute of Computer Scientists and Information Technologists, 1 - 3 October 2012, Tshwane, Afrique du Sud.
AROSA 2012: Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures. 25 – 27 juin 2011, Toulouse
SERE 2012 : The Sixth International Conference on Software Security and Reliability, 20 – 22 juin 2012, Washington, D.C., USA
SAC2012 : 27th Annual ACM Symposium on Applied Computing, 25 - 29 mars 2012, Riva del Garda (Trento), Italy
ACSEAC 2012: African Conference on Software Engineering and Applied Computing, 24 – 26 septembre, 2012, Gaborone, Bostwana
SAR-SSI 2012 7h International Conference on Network Architectures and Information Systems Security, 22 – 25 mai 2011 Cabourg, France
OPODIS 2011 International Conference on Principles of Distributed Systems (OPODIS), 13 – 16 décembre 2011, Toulouse, France
CRiSIS 2011 - International Conference on Risks and Security of Internet and Systems, 26 – 28 septembre, 2011 Timisoara, Roumanie
SAICSIT 2011 South African Institute of Computer Scientists and Information Technologists, 3 - 5 October 2011 Cape Town
ACSEAC 2011: African Conference on Software Engineering and Applied Computing, 19 – 21 septembre, 2011, Cape Town, Afrique du Sud
AROSA 2011: Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures. 27 – 29 juin 2011, Paris
SAR-SSI 2011 6th International Conference on Network Architectures and Information Systems Security, 18 – 21 mai, 2011 La Rochelle, France
NOTERE 2011 11éme édition annuelle de la Conférence Internationale sur les NOuvelles Technologies de la REpartition, 9 – 13 mai, 2011 Paris
SSIRI 2011: Secure System Integration and Reliability Improvement, 27 – 29 juin, 2010 Jeju Island, Korea
CRISIS 2010: International Conference on Risks and Security of Internet and Systems, 10 – 13 octobre 2010, Québec, Canada
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, South Africa
NOTERE 2010: : NOuvelles TEchnologies de la REpartition 2009, 31 mai – 2 juin 2010, Tozeur, Tunisie
SSIRI 2010: Secure System Integration and Reliability Improvement, June 9 – 11, 2010 Singapore
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, Maputo, Mozambique
SCSS 2009: Symbolic Computation in Software Science September 22-24, 2009 Gammarth, Tunisia
CRISIS 2009: International Conference on Risks and Security of Internet and Systems, October 12 – 22, 2009, Toulouse, France
SAICSIT 2009: South African Institute of Computer Scientists and Information Technologists, 13-14 October 2009, Vaal River, South Africa
SECRYPT 2009 : International Conference on Security and Cyptography, July 7 – 10, 2009, Mila, Italy
SSIRI 2009 : Secure System Integration and Reliability Improvement, July 8 – 10, 2009 Shanghai, Chine.
NOTERE 2009: : NOvelles TEchnologies de la REpartition 2009, 29 juin – 3 juillet 2009, Montréal, Canada
OPODIS 2008 : 12th International Conference On Principles Of DIstributed Systems December 15th-18th 2008 Luxor, Egypt
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 Milano, Italy
NOTERE 2008: NOuvelles TEchnologies de la REpartition 2008, Lyon - France, 23 - 27 Juin 2008
SSIRI 2008: Secure System Integration and Reliability Improvement 14 -17 juillet , 2008 Yokohama, Japan
SAC – SE 2008 : ACM Symposium on Applied Computing 2008, Fortaleza, Brazil, 16-20 mars, 2008
SAICSIT 2007 : Annual Conference of the South African Institute of Computer Scientists and Information
SAC - SE 2007 : ACM Symposium on Applied Computing 2007, Seoul, Korea, 11 – 15 mars , 2007
NOTERE 2007 : NOvelles TEchnologies de la REpartition 2007, 4-7 juin, Marrakech, Maroc
VECOS 2007 : First International Workshop on Verification and Evaluation of Computer and Communication Systems, 5-6 Mai 2007, Alger
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