MOSBAH Mohamed

Mohamed MOSBAH

Professor at Bordeaux INP (ENSEIRB-MATMECA)

Vice President for Digital Transformation, Bordeaux INP

Deputy Director of LaBRI Research Lab.

351, cours de la Libération
33405 Talence Cedex, FRANCE

E-mail : mosbah AT labri DOT fr
Phone: +33 5 40 00 69 17 / +33 5 56 84 23 33
Fax: +33 5 40 00 66 69

Version Française ( ici)

Short Biography (coming soon)

Curriculum Vitae

Reseach Interests

· Distributed computing, distributed systems, distributed algorithms

· Algorithms for mobile and Ad hoc networks

· Formal methods and security for distributed systems

· Current Project ViSiDiA (Visualisation, simulation and proof of distributed algorithms )

Publication list (HAL)

Liste of publications DBLP

Conference chair / PC Chair :

ICTACT 2019, International Colloquium on Theoretical Aspects of Computing, 31 October -2 November 2019

CRISIS 2018 International Conference on RIsks and Security of Internet and Systems 2018, 16 – 18 October, 2019, Arcachon, France

SCSS 2017 The 8th International Symposium on Symbolic Computation in Software Science, 6 - 9 April , 2017, Gammarth, Tunisie

Graph Computation Models 2014, GCM 2014, 21 July 2014, York, Angleterre

Graph Computation Models 2012, GCM 2012, 29 September 2012, Bremen, Allemagne

OPODIS 2010 International Conference on Principles of Distributed Systems (OPODIS), 14 – 17 December 2010

Graph Computation Models 2010 : 2 octobre 2010, Enschede, Netherlands

SCSS 2010: Symbolic Computation in Software Science, 29 – 30 juillet, Hagenberg, Austria

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, England

Graph Computation Models 2006 : 18th, septembre 2006, Natal, Brazil

PC Member :

ICTAC2019 International Colloquium on Theoretical Aspects of Computing,
ACM SAC 2019, 34th ACM Symposium on Applied Computing (ACM SAC 2018), Software Engineering(SE) Track, April 8 – 12, 2019, Limassol, Cyprus
MEDI 2018 8th International Conference on Model and Data Engineering (MEDI 2018), 24 - 26 October 2018, Marrakesh, Morocco
ACM SAC 2018, 33rd ACM Symposium on Applied Computing (ACM SAC 2018), Software Engineering(SE) Track, April 9 – 13, 2018, Pau, France
SIMPDA 2018 International Symposium on Data-Driven Process Discovery and Analysis, 12-14 December, 2018 - Seville, Spain
SITIS 2018 14th International Conference on SIGNAL IMAGE TECHNOLOGY & INTERNET BASED SYSTEMS, 26-29 November 2018 - Las Palmas de Gran Canaria, Spain
ASOCA 2018 Workshop on Adaptive Service-oriented and Cloud Applications, November 12-15, 2018, Hangzhou, Zhejiang, China
GCM 2018 Ninth International Workshop on Graph Computation Models, 27 June 2018, Toulouse, France
CRISIS 2018 International Conference on RIsks and Security of Internet and Systems 2018, 16 – 18 octobre, 2019, Arcachon, France
PEMWN 2018 The 7th IFIP International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks, September 26-28, 2018 Toulouse, France
ANT 2018 The 9th International Conference on Ambient Systems, Networks and Technologies, May 8-11, 2018, Porto, Portugal
ICGT 2018 11th International Conference on Graph Transformation, 24-29 June 2018, Toulouse, France
SEDIT2018 Secure and Efficient Deployment of IoT, August 15th, 2018 Gran Canaria, Spain
WETICE2018 The International Conference on Enabling Technologies: Infrastructure for Collaborative Entreprises,Paris, June 27-29, 2018
ABZ 2018 ABZ 2018 (6th International Conference on ASM, Alloy, B, TLA, VDM and Z), June 5th-8th, 2018, Southampton, UK
BiDAS 2018 The 2nd International Conference on Big Data Analytics, Security and Privacy, May 08, 2018, Essaouira, Morocco
ICGT 2017, 10th International Conference on Graph Transformation July 18-19, 2017, Marburg, Germany
ANT-2017, The 6th International Conference on Ambient Systems, Networks and Technologies, May 16-19, 2017, Madeira, Portugal
AROSA 2017, Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures, Poznan, Poland, June 21-23, 2017
ACM SAC 2017, 32nd ACM Symposium on Applied Computing (ACM SAC 2017), Software Engineering(SE) Track, April 3 – 7, 2017, Marrakech, Morocco
VECoS 2017, 11th International Conference on Verification and Evaluation of Computer and Communication Systems 24-25 August 2017, Montreal, Québec, Canada
SCSS 2017 The 8th International Symposium on Symbolic Computation in Software Science, 6 - 9 avril , 2017, Gammarth, Tunisie
AROSA 2016, Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures, June 13-16, 2017, Paris, France
ANT-1016, The 7th International Conference on Ambient Systems, Networks and Technologies (ANT-2016) Madrid, Spain May 23-26, 2016

SAC-SE 2016, 31st Annual ACM/SIGAPP Symposium on Applied Computing, Software Engineering(SE) Track, April 4-8, 2016, Pisa, Italy
ICGT 2016, 10th International Conference on Graph Transformation, July 5-6, 2016 • Vienna, Austria
VECoS 2016, 11th International Conference on Verification and Evaluation of Computer and Communication Systems, October 6 - 7, 2016 Tunis, Tunisia
ABZ'2016, 5^th International ABZ Conference, May 23-27, 2016 Linz, Austria
IFIP/IEEE PEMWN 2016,The 5th IFIP/IEEE International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks, November 22-25, 2016, Paris, France
ANT-2015, The 6th International Conference on Ambient Systems, Networks and Technologies, 2-5 June 2015, London, United Kingdom
SAC-SE 2015, 30th Annual ACM/SIGAPP Symposium on Applied Computing, April 13 - 17, 2015, Salamanca, Spain
SERA 2015, 14^th International Conference on Software Engineering Research, Management and Applications, May 13 - 15, 2015, Hammamet, Tunisia
CIIA2015, 5th IFIP International Conference on Computer Science and Its Applications 20-21 May, 2015, Saida, Algeria
ICTAC 2014, 11thInternational Colloquium on Theoretical Aspects of Computing, 17-19 September 2014, Bucharest, Romania
ABZ’2014, 4th ABZ International Conference, Toulouse, France, from June 4 to June 6 2014
SIMPDA 2014, Fourth International Symposium on Data-driven Process Discovery and Analysis, 19-21 November, 2014 - Milan, Italy
CARI 2014, 12th African Conference on Research in Computer Science and Applied Mathematics, 16 - 23 October, 2014, Saint-Louis, Sénégal
VECoS 2014, 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, 29 - 30 September 2014, Bejaïa -Algeria.

SACLA 2014: Southern African Computer Lecturers Association, 24 - 26 June 2014, Port Elizabeth, South Africa.
AROSA 2014: Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures, 23-25 June 2014, Parma, Italy
RAMCOM 2014: International Workshop on Recent Advances on Machine-to-Machine Communications June 2-5, 2014, Hasselt, Belgium
SAC-SE 2014: 29th Annual ACM Symposium on Applied Computing, March 24-28, 2014, Gyeongju, Korea
AROSA 2013: Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures. 17 – 20 June 2013, Hammamet
SAC-SE 2013 : 28th Annual ACM Symposium on Applied Computing, 17 – 21 March, 2013, Coimbra, Portugal
SAICSIT 2013 : South African Institute for Computer Scientists and Information Technologists, 7 – 9 October 2013, East London, South Africa
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 2012, 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
AR-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

Teaching (slides are in french)

1. Distributed Algorithms (Master SDRP, Master MA)

2. Relational database systems (ENSEIRB)

3. Object-oriented database systems (ENSEIRB)

4. Programming languages (ENSEIRB)

5. Software engineering (ENSEIRB)

Projects and Grants

Responsable of bilateral PHC Utique ``Sensor Networks at Large Scale for Smart Cities'' number : 37090WD (2017 - 2019).
Member of a Franco-Indien project (CEFIPRA) 2016 - 2018: "Reflection Aware ICC Analysis Framework for Android Apps", with MNIT Jaipur.
Local responsabile of a Euro-Indien project REACH 2015 - 2017, (European Commission, EU-India Research and Innovation Partnership – REACH – Rural broadband internEt Access using Cooperative mesh networking in witHe spectrum)
Responsable of a Franco-Italien project, program Galileo, " Secure Distributed Protocols in Wireless Environments" 2014 Italian-French University,
Head of DAMPAS project

September 28, 2018