Monadic Second-Order Evaluations on Tree-Decomposable Graphs. - Bruno Courcelle; Mohamed Mosbah 001 (Theor. Comput. Sci., 1993)

Probabilistic Graph Grammars. - Mohamed Mosbah 001 (Fundam. Informaticae, 1996)

Probabilistic Hyperedge Replacement Grammars. - Mohamed Mosbah 001 (Theor. Comput. Sci., 1996)

A Syntactic Approach to Random Walks on Graphs. - Mohamed Mosbah 001; Nasser Saheb (WG, 1997)

Non-Uniform Random Spanning Trees on Weighted Graphs. - Mohamed Mosbah 001; Nasser Saheb (Theor. Comput. Sci., 1999)

Formal rational fractions and random walks on cycles. - Mohamed Mosbah 001; Nasser Saheb (Discret. Math., 2000)

Orthogonal Drawings Based On The Stratification Of Planar Graphs. - Nicolas Bonichon; Bertrand Le Saëc; Mohamed Mosbah 001 (Electron. Notes Discret. Math., 2000)

A Distributed Algorithm for Computing a Spanning Tree in Anonymous Tprime Graph. - Yves Métivier; Mohamed Mosbah 001; Pierre-André Wacrenier; Stefan Gruner (OPODIS, 2001)

Visualization of Distributed Algorithms Based on Graph Relabelling Systems. - Michel Bauderon; Stefan Gruner; Yves Métivier; Mohamed Mosbah 001; Afif Sellami (GT-VMT@ICALP, 2001)

Graph Relabelling Systems: a Tool for Encoding, Proving, Studying and Visualizing - Distributed Algorithms. - Michel Bauderon; Yves Métivier; Mohamed Mosbah 001; Afif Sellami (GETGRATS Closing Workshop, 2001)

Termination Detection of Distributed Algorithms by Graph Relabelling Systems. - Emmanuel Godard; Yves Métivier; Mohamed Mosbah 001; Afif Sellami (ICGT, 2002)

Wagner's Theorem on Realizers. - Nicolas Bonichon; Bertrand Le Saëc; Mohamed Mosbah 001 (ICALP, 2002)

Optimal Area Algorithm for Planar Polyline Drawings. - Nicolas Bonichon; Bertrand Le Saëc; Mohamed Mosbah 001 (WG, 2002)

A Unified Framework for Designing, Implementing and Visualizing Distributed Algorithms. - Michel Bauderon; Mohamed Mosbah 001 (GT-VMT@ICGT, 2002)

Distributing the Execution of a Distributed Algorithm over a Network. - Bilel Derbel; Mohamed Mosbah 001 (IV, 2003)

Watermelon uniform random generation with applications. - Nicolas Bonichon; Mohamed Mosbah 001 (Theor. Comput. Sci., 2003)

A Programming Language for Local Computations in Graphs: Computational Completeness. - Mohamed Mosbah 001; Rodrigue Ossamy (ENC, 2004)

Checking Global Properties for Local Computations in Graphs with Applications to Invariant Testing. - Mohamed Mosbah 001; Rodrigue Ossamy (ENC, 2004)

Synchronizers for Local Computations. - Yves Métivier; Mohamed Mosbah 001; Rodrigue Ossamy; Afif Sellami (ICGT, 2004)

Visualization of Self-Stabilizing Distributed Algorithms. - Brahim Hamid; Mohamed Mosbah 001 (IV, 2005)

An Implementation of a Failure Detector for Local Computations in Graphs. - Brahim Hamid; Mohamed Mosbah 001 (Parallel and Distributed Computing and Networks, 2005)

A Formal Model for Fault-Tolerance in Distributed Systems. - Brahim Hamid; Mohamed Mosbah 001 (SAFECOMP, 2005)

An Automatic Approach to Self-Stabilization. - Brahim Hamid; Mohamed Mosbah 001 (SNPD, 2005)

Distributed Graph Traversals by Relabelling Systems with Applications. - Bilel Derbel; Mohamed Mosbah 001 (GT-VC@CONCUR, 2005)

A Local Self-stabilizing Enumeration Algorithm. - Brahim Hamid; Mohamed Mosbah 001 (DAIS, 2006)

Workshop on Graph Computation Models. - Yves Métivier; Mohamed Mosbah 001 (ICGT, 2006)

Fast distributed graph partition and application. - Bilel Derbel; Mohamed Mosbah 001; Akka Zemmari (IPDPS, 2006)

A Local Enumeration Protocol in Spite of Corrupted Data. - Brahim Hamid; Mohamed Mosbah 001 (J. Comput., 2006)

A Domain Specific Language for Securing Distributed Systems. - Hédi Hamdi; Mohamed Mosbah 001; Adel Bouhoula (ICSNC, 2007)

Distributed Local 2-Connectivity Test of Graphs and Applications. - Brahim Hamid; Bertrand Le Saëc; Mohamed Mosbah 001 (ISPA, 2007)

Merging Time of Random Mobile Agents. - Shehla Abbas; Mohamed Mosbah 001; Akka Zemmari (LDIC, 2007)

A Self-stabilizing Distributed Algorithm for Resolving Conflicts. - Brahim Hamid; Mohamed Mosbah 001; Akka Zemmari (OTM Workshops (2), 2007)

A Generic Distributed Algorithm for Computing by Random Mobile Agents. - Shehla Abbas; Mohamed Mosbah 001; Akka Zemmari (PRIMA, 2007)

A Distributed Computational Model for Mobile Agents. - Med Amine Haddar; Ahmed Hadj Kacem; Yves Métivier; Mohamed Mosbah 001; Mohamed Jmaiel (PRIMA, 2007)

A Software Architecture for Automatic Security Policy Enforcement in Distributed Systems. - Hédi Hamdi; Adel Bouhoula; Mohamed Mosbah 001 (SECURWARE, 2007)

Convex Drawings of 3-Connected Plane Graphs. - Nicolas Bonichon; Stefan Felsner; Mohamed Mosbah 001 (Algorithmica, 2007)

Electing a leader in the local computation model using mobile agents. - Med Amine Haddar; Ahmed Hadj Kacem; Yves Métivier; Mohamed Mosbah 001; Mohamed Jmaiel (AICCSA, 2008)

A formal security framework for mobile agent systems: Specification and verification. - Monia Loulou; Ahmed Hadj Kacem; Mohamed Jmaiel; Mohamed Mosbah 001 (CRiSIS, 2008)

Mobile Agents Implementing Local Computations in Graphs. - Bilel Derbel; Mohamed Mosbah 001; Stefan Gruner (ICGT, 2008)

Workshop on Graph Computation Models. - Mohamed Mosbah 001; Annegret Habel (ICGT, 2008)

Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks. - Med Amine Haddar; Ahmed Hadj Kacem; Yves Métivier; Mohamed Mosbah 001; Mohamed Jmaiel (ICDCN, 2008)

Evaluating the Efficiency of Clustering on Routing and Network Performance. - Imen Jemili; Abdelfattah Belghith; Mohamed Mosbah 001 (ICWN, 2008)

A Synchronous Tiered Based Clustering Algorithm for large-scale Ad hoc Networks. - Imen Jemili; Abdelfattah Belghith; Mohamed Mosbah 001 (MWCN/PWC, 2008)

Cluster based prioritized power conservation mechanism. - Imen Jemili; Abdelfettah Belghith; Mohamed Mosbah 001 (Wireless Days, 2008)

Exploiting a clustering mechanism for power saving in ad hoc networks: Performance evaluation. - Imen Jemili; Abdelfettah Belghith; Mohamed Mosbah 001 (AICCSA, 2009)

A DSL Framework for Policy-Based Security of Distributed Systems. - Hédi Hamdi; Mohamed Mosbah 001 (SSIRI, 2009)

Dynamic security framework for mobile agent systems: specification, verification and enforcement. - Monia Loulou; Mohamed Jmaiel; Mohamed Mosbah 001 (Int. J. Inf. Comput. Secur., 2009)

A layered cluster based routing for an ad hoc environment. - Imen Jemili; Abdelfettah Belghith; Mohamed Mosbah 001 (AICCSA, 2010)

Simplification de données de vol pour un stockage optimal et une visualisation accélérée. - Ibrahim Chahid; Sofian Maabout; Loic Martin; Mohamed Mosbah 001 (EGC, 2010)

Time Constraints Extension on Frequent Sequential Patterns. - Asma Ben Zakour; Marc Sistiaga; Sofian Maabout; Mohamed Mosbah 001 (KDIR, 2010)

Broadcast in wireless mobile sensor networks with population protocols and extension with the rendezvous model. - Nesrine Ouled Abdallah; Hatem Hadj Kacem; Mohamed Mosbah 001; Akka Zemmari (NOTERE, 2010)

Proving Distributed Algorithms by Combining Refinement and Local Computations. - Mohamed Tounsi 001; Mohamed Mosbah 001; Dominique Méry (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Sublinear Fully Distributed Partition with Applications. - Bilel Derbel; Mohamed Mosbah 001; Akka Zemmari (Theory Comput. Syst., 2010)

Dépendances fonctionnelles et matérialisation partielle des cubes de données. - Eve Garnaud; Sofian Maabout; Mohamed Mosbah 001 (EDA, 2011)

Refinement-Based Verification of Local Synchronization Algorithms. - Dominique Méry; Mohamed Mosbah 001; Mohamed Tounsi 001 (FM, 2011)

Graph Computation Models. - Rachid Echahed; Annegret Habel; Mohamed Mosbah 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Extraction de séquences fréquentes avec intervalles d'incertitude. - Asma Ben Zakour; Sofian Maabout; Mohamed Mosbah 001; Marc Sistiaga (EGC, 2012)

Relaxing Time Granularity for Mining Frequent Sequences. - Asma Ben Zakour; Sofian Maabout; Mohamed Mosbah 001; Marc Sistiaga (EGC (best of volume), 2012)

Using Functional Dependencies for Reducing the Size of a Data Cube. - Eve Garnaud; Sofian Maabout; Mohamed Mosbah 001 (FoIKS, 2012)

Fully-distributed Debugging and Visualization of Distributed Systems in Anonymous Networks. - Cédric Aguerre; Thomas Morsellino; Mohamed Mosbah 001 (GRAPP/IVAPP, 2012)

Uncertainty Interval Temporal Sequences Extraction. - Asma Ben Zakour; Sofian Maabout; Mohamed Mosbah 001; Marc Sistiaga (ICISTM, 2012)

Debugging the Execution of Distributed Algorithms over Anonymous Networks. - Thomas Morsellino; Cédric Aguerre; Mohamed Mosbah 001 (IV, 2012)

A Multipath Layered Cluster Based Routing for Ad Hoc Networks. - Imen Jemili; Nader Chaabouni; Abdelfettah Belghith; Mohamed Mosbah 001 (NTMS, 2012)

Les dépendances fonctionnelles pour la sélection de vues dans les cubes de données. - Eve Garnaud; Sofian Maabout; Mohamed Mosbah 001 (J. Decis. Syst., 2012)

Lightweight Source Authentication Mechanisms for Group Communications in Wireless Sensor Networks. - Wafa Ben Jaballah; Mohamed Mosbah 001; Habib Youssef; Akka Zemmari (AINA, 2013)

MASS: An efficient and secure broadcast authentication scheme for resource constrained devices. - Wafa Ben Jaballah; Mauro Conti; Roberto Di Pietro; Mohamed Mosbah 001; Nino Vincenzo Verde (CRiSIS, 2013)

Secure Verification of Location Claims on a Vehicular Safety Application. - Wafa Ben Jaballah; Mauro Conti; Mohamed Mosbah 001; Claudio E. Palazzi (ICCCN, 2013)

Performance evaluation of key disclosure delay-based schemes in wireless sensor networks. - Wafa Ben Jaballah; Mohamed Mosbah 001; Habib Youssef (PerCom Workshops, 2013)

Towards Proved Distributed Algorithms through Refinement, Composition and Local Computations. - Vincent Filou; Mohamed Mosbah 001; Mohamed Tounsi 001 (WETICE, 2013)

Randomized broadcasting in wireless mobile sensor networks. - Nesrine Ouled Abdallah; Hatem Hadj Kacem; Mohamed Mosbah 001; Akka Zemmari (Concurr. Comput. Pract. Exp., 2013)

Graph Computation Models 2012. - Rachid Echahed; Annegret Habel; Mohamed Mosbah 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Greedy Flooding in Redoubtable Sensor Networks. - Nesrine Ouled Abdallah; Mohamed Jmaiel; Mohamed Mosbah 001; Akka Zemmari (AINA, 2014)

Hybrid Live P2P Streaming Protocol. - Chourouk Hammami; Imen Jemili; Achraf Gazdar; Abdelfettah Belghith; Mohamed Mosbah 001 (ANT/SEIT, 2014)

ViSiDiA: A Java Framework for Designing, Simulating, and Visualizing Distributed Algorithms. - Wahabou Abdou; Nesrine Ouled Abdallah; Mohamed Mosbah 001 (DS-RT, 2014)

Enhancing Proofs of Local Computations through Formal Event-B Modularization. - Maha Boussabbeh; Mohamed Tounsi 001; Ahmed Hadj Kacem; Mohamed Mosbah 001 (WETICE, 2014)

A secure alert messaging system for safe driving. - Wafa Ben Jaballah; Mauro Conti; Mohamed Mosbah 001; Claudio E. Palazzi (Comput. Commun., 2014)

Preface. - Rachid Echahed; Annegret Habel; Mohamed Mosbah 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Fast and Secure Multihop Broadcast Solutions for Intervehicular Communication. - Wafa Ben Jaballah; Mauro Conti; Mohamed Mosbah 001; Claudio E. Palazzi (IEEE Trans. Intell. Transp. Syst., 2014)

A formal pattern for dynamic networks through evolving graphs. - Faten Fakhfakh; Mohamed Tounsi 001; Ahmed Hadj Kacem; Mohamed Mosbah 001 (AICCSA, 2015)

Proving distributed algorithms for mobile agents: Examples of spanning tree computation in dynamic networks. - Mouna Ktari; Mohamed Amine Haddar; Ahmed Hadj Kacem; Mohamed Mosbah 001 (AICCSA, 2015)

A secure authentication mechanism for resource constrained devices. - Bacem Mbarek; Aref Meddeb; Wafa Ben Jaballah; Mohamed Mosbah 001 (AICCSA, 2015)

Impact of security threats in vehicular alert messaging systems. - Wafa Ben Jaballah; Mauro Conti; Mohamed Mosbah 001; Claudio E. Palazzi (ICC Workshops, 2015)

A Totally Distributed Fair Scheduler for Population Protocols by Randomized Handshakes. - Nesrine Ouled Abdallah; Mohamed Jmaiel; Mohamed Mosbah 001; Akka Zemmari (ICTAC, 2015)

ECAB: An Efficient Context-Aware multi-hop Broadcasting protocol for wireless sensor networks. - Dhouha Ghrab; Imen Jemili; Abdelfettah Belghith; Mohamed Mosbah 001 (IWCMC, 2015)

Enhanced LEAP authentication delay for higher immunity against DoS attack. - Bacem Mbarek; Aref Meddeb; Wafa Ben Jaballah; Mohamed Mosbah 001 (CFIP/NOTERE, 2015)

Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs. - Faten Fakhfakh; Mohamed Tounsi 001; Ahmed Hadj Kacem; Mohamed Mosbah 001 (SNPD (revised selected papers), 2015)

Functional dependencies are helpful for partial materialization of data cubes. - Eve Garnaud; Sofian Maabout; Mohamed Mosbah 001 (Ann. Math. Artif. Intell., 2015)

Lightweight secure group communications for resource constrained devices. - Wafa Ben Jaballah; Mohamed Mosbah 001; Habib Youssef; Akka Zemmari (Int. J. Space Based Situated Comput., 2015)

HLPSP: A Hybrid Live P2P Streaming Protocol. - Chourouk Hammami; Imen Jemili; Achraf Gazdar; Abdelfettah Belghith; Mohamed Mosbah 001 (KSII Trans. Internet Inf. Syst., 2015)

A broadcast authentication scheme in IoT environments. - Bacem Mbarek; Aref Meddeb; Wafa Ben Jaballah; Mohamed Mosbah 001 (AICCSA, 2016)

A Fault-Tolerant Handshake Algorithm for Local Computations. - Allyx Fontaine; Mohamed Mosbah 001; Mohamed Tounsi 001; Akka Zemmari (AINA Workshops, 2016)

Distributed Computation and Maintenance of a Spanning Tree in Dynamic Networks by Mobile Agents. - Mouna Ktari; Mohamed Amine Haddar; Mohamed Mosbah 001; Ahmed Hadj Kacem (AINA Workshops, 2016)

Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions. - Maha Boussabbeh; Mohamed Tounsi 001; Mohamed Mosbah 001; Ahmed Hadj Kacem (ABZ, 2016)

Detection of SQLite Database Vulnerabilities in Android Apps. - Vineeta Jain; Manoj Singh Gaur; Vijay Laxmi; Mohamed Mosbah 001 (ICISS, 2016)

NDRECT: Node-disjoint routes establishment for critical traffic in WSNs. - Dhouha Ghrab; Imen Jemili; Abdelfettah Belghith; Mohamed Mosbah 001 (IWCMC, 2016)

Towards a General Framework for Ensuring and Reusing Proofs of Termination Detection in Distributed Computing. - Maha Boussabbeh; Mohamed Tounsi 001; Ahmed Hadj Kacem; Mohamed Mosbah 001 (PDP, 2016)

Study of context-awareness efficiency applied to duty cycled wireless sensor networks. - Dhouha Ghrab; Imen Jemili; Abdelfettah Belghith; Mohamed Mosbah 001 (WCNC, 2016)

Fast synchronisation protocol with collision handling for wireless ad hoc networks. - Imen Jemili; Hamida Jarraya; Abdelfettah Belghith; Mohamed Mosbah 001 (WCNC, 2016)

A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs. - Faten Fakhfakh; Mohamed Tounsi 001; Ahmed Hadj Kacem; Mohamed Mosbah 001 (WETICE, 2016)

The impact of malicious nodes positioning on vehicular alert messaging system. - Wafa Ben Jaballah; Mauro Conti; Mohamed Mosbah 001; Claudio E. Palazzi (Ad Hoc Networks, 2016)

From Event-B specifications to programs for distributed algorithms. - Mohamed Tounsi 001; Mohamed Mosbah 001; Dominique Méry (Int. J. Auton. Adapt. Commun. Syst., 2016)

A correct-by-construction approach for proving distributed algorithms in spanning trees. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001; Dominique Méry; Ahmed Hadj Kacem (ICIS, 2017)

Correlation-Free MultiPath Routing for Multimedia Traffic in Wireless Sensor Networks. - Dhouha Ghrab; Imen Jemili; Abdelfettah Belghith; Mohamed Mosbah 001 (ADHOC-NOW, 2017)

Electing a Leader in Dynamic Networks using Mobile Agents and Local Computations. - Mouna Ktari; Mohamed Mosbah 001; Ahmed Hadj Kacem (ANT/SEIT, 2017)

An Efficient Broadcast Authentication Scheme in Wireless Sensor Networks. - Bacem Mbarek; Aref Meddeb; Wafa Ben Jaballah; Mohamed Mosbah 001 (ANT/SEIT, 2017)

Delay-aware VNF placement and chaining based on a flexible resource allocation approach. - Abdelhamid Alleg; Toufik Ahmed; Mohamed Mosbah 001; Roberto Riggio; Raouf Boutaba (CNSM, 2017)

Unraveling Reflection Induced Sensitive Leaks in Android Apps. - Jyoti Gajrani; Vijay Laxmi; Meenakshi Tripathi; Manoj Singh Gaur; Daya Ram Sharma; Akka Zemmari; Mohamed Mosbah 001; Mauro Conti (CRiSIS, 2017)

Algorithms for Finding Maximal and Maximum Cliques: A Survey. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001; Ahmed Hadj Kacem (ISDA, 2017)

Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques. - Maha Boussabbeh; Mohamed Tounsi 001; Ahmed Hadj Kacem; Mohamed Mosbah 001 (SCSS, 2017)

SniffDroid: Detection of Inter-App Privacy Leaks in Android. - Vineeta Jain; Shweta Bhandari; Vijay Laxmi; Manoj Singh Gaur; Mohamed Mosbah 001 (TrustCom/BigDataSE/ICESS, 2017)

Adaptable Monitoring for Intrusion Detection in Wireless Sensor Networks. - Takoua Abdellatif; Kais Rouis; Mohamed Mosbah 001 (WETICE, 2017)

Android inter-app communication threats and detection techniques. - Shweta Bhandari; Wafa Ben Jaballah; Vineeta Jain; Vijay Laxmi; Akka Zemmari; Manoj Singh Gaur; Mohamed Mosbah 001; Mauro Conti (Comput. Secur., 2017)

Proving Distributed Coloring of Forests in Dynamic Networks. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001; Dominique Méry; Ahmed Hadj Kacem (Computación y Sistemas, 2017)

A secure electric energy management in smart home. - Bacem Mbarek; Aref Meddeb; Wafa Ben Jaballah; Mohamed Mosbah 001 (Int. J. Commun. Syst., 2017)

Leader election and computation of a spanning tree in dynamic distributed networks using local computations and mobile agents. - Mouna Ktari; Mohamed Mosbah 001; Ahmed Hadj Kacem (Int. J. Space Based Situated Comput., 2017)

Context-Aware Broadcast in Duty-Cycled Wireless Sensor Networks. - Imen Jemili; Dhouha Ghrab; Abdelfettah Belghith; Mohamed Mosbah 001 (Int. J. Semantic Web Inf. Syst., 2017)

Maintenance of a Spanning Tree For Dynamic Graphs by Mobile Agents and Local Computations. - Mouna Ktari; Mohamed Amine Haddar; Mohamed Mosbah 001; Ahmed Hadj Kacem (RAIRO Theor. Informatics Appl., 2017)

Distributed Computations in Wireless Sensor Networks by Local Interactions. - Emna Taktak; Mohamed Tounsi 001; Mohamed Mosbah 001; Ahmed Hadj Kacem (ADHOC-NOW, 2018)

APPLADroid: Automaton Based Inter-app Privacy Leak Analysis for Android. - Vineeta Jain; Vijay Laxmi; Manoj Singh Gaur; Mohamed Mosbah 001 (ISEA-ISAP, 2018)

Data Gathering for Internet of Vehicles Safety. - Chahrazed Ksouri; Imen Jemili; Mohamed Mosbah 001; Abdelfettah Belghith (IWCMC, 2018)

WBAN Path Loss Based Approach For Human Activity Recognition With Machine Learning Techniques. - Rim Negra; Imen Jemili; Akka Zemmari; Mohamed Mosbah 001; Abdelfettah Belghith (IWCMC, 2018)

Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001; Ahmed Hadj Kacem (KES, 2018)

A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001; Ahmed Hadj Kacem (SEKE, 2018)

Proving Distributed Algorithms for Wireless Sensor Networks by Combining Refinement and Local Computations. - Emna Taktak; Mohamed Tounsi 001; Mohamed Mosbah 001; Ahmed Hadj Kacem (WETICE, 2018)

Whac-A-Mole: Smart node positioning in clone attack in wireless sensor networks. - Wafa Ben Jaballah; Mauro Conti; Gilberto Filé; Mohamed Mosbah 001; Akka Zemmari (Comput. Commun., 2018)

Context-aware medium access control protocols in wireless sensor networks. - Dhouha Ghrab; Imen Jemili; Abdelfettah Belghith; Mohamed Mosbah 001 (Internet Technol. Lett., 2018)

An Intrusion Detection System for the OneM2M Service Layer Based on Edge Machine Learning. - Nadia Chaabouni; Mohamed Mosbah 001; Akka Zemmari; Cyrille Sauvignac (ADHOC-NOW, 2019)

MTM-MAC: Medical Traffic Management MAC Protocol for Handling Healthcare Applications in WBANs. - Rim Negra; Imen Jemili; Abdelfettah Belghith; Mohamed Mosbah 001 (ADHOC-NOW, 2019)

A Comparative Study of Vehicle Detection Methods in a Video Sequence. - Ameni Chetouane; Sabra Mabrouk; Imen Jemili; Mohamed Mosbah 001 (DiCES-N@ICTAC, 2019)

VANETs Routing Protocols Survey: Classifications, Optimization Methods and New Trends. - Chahrazed Ksouri; Imen Jemili; Mohamed Mosbah 001; Abdelfettah Belghith (DiCES-N@ICTAC, 2019)

Energy Efficient Handshake Algorithm for Wireless Sensor Networks. - Emna Taktak; Mohamed Tounsi 001; Mohamed Mosbah 001; Ahmed Hadj Kacem (DiCES-N@ICTAC, 2019)

An Evaluative Review of the Formal Verification for VANET Protocols. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001 (IWCMC, 2019)

A Comprehensive Survey on Broadcasting Emergency Messages. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001 (IWCMC, 2019)

Leveraging the link quality awareness for body node coordinator (BNC) placement in WBANs. - Rim Negra; Imen Jemili; Akka Zemmari; Mohamed Mosbah 001; Abdelfettah Belghith; Nesrine Ouled Abdallah (SAC, 2019)

ETGuard: Detecting D2D attacks using wireless Evil Twins. - Vineeta Jain; Vijay Laxmi; Manoj Singh Gaur; Mohamed Mosbah 001 (Comput. Secur., 2019)

Network Intrusion Detection for IoT Security Based on Learning Techniques. - Nadia Chaabouni; Mohamed Mosbah 001; Akka Zemmari; Cyrille Sauvignac; Parvez Faruki (IEEE Commun. Surv. Tutorials, 2019)

Formal Modeling and Verification of a Distributed Algorithm for Constructing Maximal Cliques in Static Networks. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001 (Computación y Sistemas, 2019)

A New SDN Architecture Based on Trust Management and Access Control for IoT. - Nadia Kammoun; Ryma Abassi; Sihem Guemara El Fatmi; Mohamed Mosbah 001 (AINA Workshops, 2020)

Traffic Congestion Detection: Solutions, Open Issues and Challenges. - Ameni Chetouane; Sabra Mabrouk; Mohamed Mosbah 001 (DiCES-N, 2020)

Towards an Efficient Clustering-Based Algorithm for Emergency Messages Broadcasting. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001 (ICCCI, 2020)

Formal specification and verification of a broadcasting protocol: a refinement-based approach. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001 (KES, 2020)

Leveraging GPS Data for Vehicle Maneuver Detection. - Aymen Abdallah; Imen Jemili; Sabra Mabrouk; Mohamed Mosbah 001 (Nets4Cars/Nets4Trains/Nets4Aircraft, 2020)

A Unified Smart Mobility System Integrating Terrestrial, Aerial and Marine Intelligent Vehicles. - Chahrazed Ksouri; Imen Jemili; Mohamed Mosbah 001; Abdelfettah Belghith (Nets4Cars/Nets4Trains/Nets4Aircraft, 2020)

Analysis and Comparison of IEEE 802.11p and IEEE 802.11bd. - Badreddine Yacine Yacheur; Toufik Ahmed; Mohamed Mosbah 001 (Nets4Cars/Nets4Trains/Nets4Aircraft, 2020)

A OneM2M Intrusion Detection and Prevention System based on Edge Machine Learning. - Nadia Chaabouni; Mohamed Mosbah 001; Akka Zemmari; Cyrille Sauvignac (NOMS, 2020)

On the Application of Machine Learning for Cut-in Maneuver Recognition in Platooning Scenarios. - Afaf Bouhoute; Mohamed Mosbah 001; Akka Zemmari; Ismail Berrada (VTC Spring, 2020)

Chapter Three - Effectiveness of state-of-the-art dynamic analysis techniques in identifying diverse Android malware and future enhancements. - Jyoti Gajrani; Vijay Laxmi; Meenakshi Tripathi; Manoj Singh Gaur; Akka Zemmari; Mohamed Mosbah 001; Mauro Conti (Adv. Comput., 2020)

Cross-layer adaptive multipath routing for multimedia Wireless Sensor Networks under duty cycle mode. - Imen Jemili; Dhouha Ghrab; Abdelfettah Belghith; Mohamed Mosbah 001 (Ad Hoc Networks, 2020)

Efficient monitoring for intrusion detection in wireless sensor networks. - Takoua Abdellatif; Mohamed Mosbah 001 (Concurr. Comput. Pract. Exp., 2020)

Modeling and Proving Distributed Algorithms for Dynamic Graphs. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001 (Future Gener. Comput. Syst., 2020)

Vehicle Platooning Systems: Review, Classification and Validation Strategies. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001 (Int. J. Networked Distributed Comput., 2020)

Joint Diversity and Redundancy for Resilient Service Chain Provisioning. - Abdelhamid Alleg; Toufik Ahmed; Mohamed Mosbah 001; Raouf Boutaba (IEEE J. Sel. Areas Commun., 2020)

A Lightweight Authentication Scheme for SDN-Based Architecture in IoT. - Nadia Kammoun; Ryma Abassi; Sihem Guemara El Fatmi; Mohamed Mosbah 001 (AINA (3), 2021)

High-Level Approach for the Reconfiguration of Distributed Algorithms in Wireless Sensor Networks. - Emna Taktak; Mohamed Tounsi 001; Mohamed Mosbah 001; Ahmed Hadj Kacem (AINA (2), 2021)

Implementation and Assessment of IEEE 802.11BD for Improved Road Safety. - Badreddine Yacine Yacheur; Toufik Ahmed; Mohamed Mosbah 001 (CCNC, 2021)

End-to-End Network Slicing for ITS-G5 Vehicular Communications. - Rachedi Abdennour; Toufik Ahmed; Mohamed Mosbah 001 (IWCMC, 2021)

Edge-based Safety Intersection Assistance Architecture for Connected Vehicles. - Sabri Khamari; Toufik Ahmed; Mohamed Mosbah 001 (IWCMC, 2021)

Infrastructure localization service and tracking scheme in uncovered areas for Internet of Vehicles. - Chahrazed Ksouri; Imen Jemili; Mohamed Mosbah 001; Abdelfettah Belghith (Ann. des Télécommunications, 2021)

Cross-layer multipath approach for critical traffic in duty-cycled wireless sensor networks. - Imen Jemili; Dhouha Ghrab; Abdelfettah Belghith; Mohamed Mosbah 001; Saad A. Al-Ahmadi (J. Netw. Comput. Appl., 2021)

Preface. - Robert M. Hierons; Mohamed Mosbah 001 (Theor. Comput. Sci., 2021)

Distributed Training from Multi-sourced Data. - Ibrahim Dahaoui; Mohamed Mosbah 001; Akka Zemmari (AINA (2), 2022)

A RAN Slicing Architecture for ITS-G5 Cooperative Intelligent Transport System. - Meroua Moussaoui; Rachedi Abdennour; Toufik Ahmed; Mohamed Mosbah 001 (CCNC, 2022)

Maximizing Information Usefulness in Vehicular CP Networks Using Actor-Critic Reinforcement Learning. - Imed Ghnaya; Toufik Ahmed; Mohamed Mosbah 001; Hasnaâ Aniss (CNSM, 2022)

Efficient Edge Server Placement under Latency and Load Balancing Constraints for Vehicular Networks. - Sabri Khamari; Toufik Ahmed; Mohamed Mosbah 001 (GLOBECOM, 2022)

Proactive C-ITS Decentralized Congestion Control Using LSTM. - Rachedi Abdennour; Toufik Ahmed; Mohamed Mosbah 001 (ICC, 2022)

A Messaging Strategy based on ITS-G5 for a Bus Blockage Emergency at a Level Crossing. - Mayssa Dardour; Mohamed Mosbah 001; Toufik Ahmed (WMNC, 2022)

Green Edge Servers Placement for Intelligent Transport Systems. - Sabri Khamari; Rachedi Abdennour; Toufik Ahmed; Mohamed Mosbah 001 (NoF, 2022)

Keynote Speaker 2: Cybersecurity of connected Vehicules. - Mohamed Mosbah 001 (SIN, 2022)

Vision-based vehicle detection for road traffic congestion classification. - Ameni Chetouane; Sabra Mabrouk; Imen Jemili; Mohamed Mosbah 001 (Concurr. Comput. Pract. Exp., 2022)

Context-aware routing framework for duty-cycled wireless sensor networks. - Dhouha Ghrab; Imen Jemili; Abdelfettah Belghith; Mohamed Mosbah 001 (Concurr. Comput. Pract. Exp., 2022)

Towards general Internet of Vehicles networking: Routing protocols survey. - Chahrazed Ksouri; Imen Jemili; Mohamed Mosbah 001; Abdelfettah Belghith (Concurr. Comput. Pract. Exp., 2022)

A handshake algorithm for scheduling communications in wireless sensor networks. - Emna Taktak; Mohamed Tounsi 001; Mohamed Mosbah 001; Abdessalem Mnif; Ahmed Hadj Kacem (Concurr. Comput. Pract. Exp., 2022)

Cybersecurity attacks on CAN bus based vehicles: a review and open challenges. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001 (Libr. Hi Tech, 2022)

Hybrid routing for safety data with intermittent V2I connectivity. - Chahrazed Ksouri; Imen Jemili; Mohamed Mosbah 001; Abdelfettah Belghith (Veh. Commun., 2022)

Distribution of the Training Data Over the Shortest Path Between the Servers. - Ibrahim Dahaoui; Mohamed Mosbah 001; Akka Zemmari (AINA (3), 2023)

Securing Level Crossings with Edge Infrastructure and V2X Communications: A High-Performance Solution. - Mayssa Dardour; Hend Marouane; Mohamed Mosbah 001; Hassène Mnif; Toufik Ahmed; Amel Meddeb-Makhlouf (DiCES-N, 2023)

Adaptive Deep Reinforcement Learning Approach for Service Migration in MEC-Enabled Vehicular Networks. - Sabri Khamari; Rachedi Abdennour; Toufik Ahmed; Mohamed Mosbah 001 (ISCC, 2023)

Throughput Enhancement in Hybrid Vehicular Networks Using Deep Reinforcement Learning. - Badreddine Yacine Yacheur; Toufik Ahmed; Mohamed Mosbah 001 (ISCC, 2023)

Multi-Agent Advantage Actor-Critic Learning For Message Content Selection in Cooperative Perception Networks. - Imed Ghnaya; Mohamed Mosbah 001; Hasnaâ Aniss; Toufik Ahmed (NOMS, 2023)

Free-Floating Micro-mobility Smart Redistribution Using Spatio-temporal Demand Forecasting. - Rania Swessi; Zeineb El Khalfi; Imen Jemili; Mohamed Mosbah 001 (VNC, 2023)

Optimized Intelligent Driver Model for a Fluid Traffic Flow and Accidents Avoidance. - Mayssa Dardour; Mohamed Mosbah 001; Toufik Ahmed (VTC2023-Spring, 2023)

DRL-Based RAT Selection in a Hybrid Vehicular Communication Network. - Badreddine Yacine Yacheur; Toufik Ahmed; Mohamed Mosbah 001 (VTC2023-Spring, 2023)

A Distributed Double Deep Q-Learning Method for Object Redundancy Mitigation in Vehicular Networks. - Imed Ghnaya; Hasnaâ Aniss; Toufik Ahmed; Mohamed Mosbah 001 (WCNC, 2023)

SAP: A Secure Low-Latency Protocol for Mitigating High Computation Overhead in WI-FI Networks. - Vineeta Jain; Ulf Wetzker; Vijay Laxmi; Manoj Singh Gaur; Mohamed Mosbah 001; Dominique Méry (IEEE Access, 2023)

Efficient DRL-Based Selection Strategy in Hybrid Vehicular Networks. - Badreddine Yacine Yacheur; Toufik Ahmed; Mohamed Mosbah 001 (IEEE Trans. Netw. Serv. Manag., 2023)

Integrated Vehicle Access Protocol with Priority-Based Messaging for VANETs. - Mayssa Dardour; Mohamed Mosbah 001; Toufik Ahmed (AINA (1), 2024)

A Hybrid AI System for Fusion of Object and Context Information: Application to the Rail Line Defect Detection. - Alexey Zhukov; Jenny Benois-Pineau; Alain Rivero; Akka Zemmari; Mohamed Mosbah 001; Danilo Crispiani (CBMI, 2024)

Optimizing Shared Micro-Mobility: Transitioning to Virtual Docking and Demand Prediction for Enhanced System Balance. - Rania Swessi; Zeineb El Khalfi; Mohamed Mosbah 001 (ITSC, 2024)

Efficient IoV-Based Geofencing Model for V2X Communication Using Energy Saving Approach. - Rima Boughariou; Hend Marouane; Mohamed Mosbah 001; Hassène Mnif; Amel Meddeb-Makhlouf (IWCMC, 2024)

Optimizing Shared Micro-Mobility Services: Edge-Enabled Rebalance for Dock-Based Systems. - Rania Swessi; Zeineb El Khalfi; Mohamed Mosbah 001 (WiMob, 2024)

Enhancing Vehicle Orientation in Toll Stations Using vMEC and Hybrid Vehicular Communications. - Badreddine Yacine Yacheur; Cesar Vargas Anamuro; Moad Dehbi; Mohamed Amine Bouzaidi Tiali; Mohamed Mosbah 001; Jean-Marie Bonnin; Marwane Ayaida; Toufik Ahmed (WiMob, 2024)

Network Slicing-Based Learning Techniques for IoV in 5G and Beyond Networks. - Wafa Hamdi; Chahrazed Ksouri; Hasan Bulut; Mohamed Mosbah 001 (IEEE Commun. Surv. Tutorials, 2024)

Hybrid vehicular access protocol and message prioritization for real-time safety messaging. - Mayssa Dardour; Mohamed Mosbah 001; Toufik Ahmed (Internet Things, 2024)

A Hybrid System for Defect Detection on Rail Lines through the Fusion of Object and Context Information. - Alexey Zhukov; Alain Rivero; Jenny Benois-Pineau; Akka Zemmari; Mohamed Mosbah 001 (Sensors, 2024)

Improving Emergency Response: An In-Depth Analysis of an ITS-G5 Messaging Strategy for Bus Blockage Emergencies at Level Crossings. - Mayssa Dardour; Mohamed Mosbah 001; Toufik Ahmed (J. Netw. Syst. Manag., 2024)

Investigating the impact of body node coordinator position on communication reliability in wireless body area networks. - Rim Negra; Imen Jemili; Akka Zemmari; Mohamed Mosbah 001; Abdelfattah Belghith (Netw. Model. Anal. Health Informatics Bioinform., 2024)

Cooperative Trust Based Detection Mechanism for Fake Objects in Collective Perception Messages. - Oumaima Zanouni; Aida Ben Chehida Douss; Mohamed Mosbah 001 (AINA (5), 2025)

AHARP: An Adaptive Hybrid Agent-Based Routing Protocol for Internet of Vehicles. - Mohamed Mazouzi; Omar Cheikhrouhou; Mohamed Mosbah 001 (IWCMC, 2025)

A Three-Layer LSTM Approach for Proactive Train Schedule Variability Alerts for Individuals with Reduced Mobility. - Mayssa Dardour; Mohamed Mosbah 001; Toufik Ahmed (NOMS, 2025)