Mohamed Tounsi

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 24

Top Topics

Evolving Graphs

Maximal Cliques

Top Venues

Computación y Sistemas

Publications

Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Abdessalem Mnif, Ahmed Hadj Kacem
A handshake algorithm for scheduling communications in wireless sensor networks. Concurr. Comput. Pract. Exp. 34 (7) (2022)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
Cybersecurity attacks on CAN bus based vehicles: a review and open challenges. Libr. Hi Tech 40 (5) (2022)
Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
High-Level Approach for the Reconfiguration of Distributed Algorithms in Wireless Sensor Networks. AINA (2) (2021)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
Towards an Efficient Clustering-Based Algorithm for Emergency Messages Broadcasting. ICCCI (2020)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
Formal specification and verification of a broadcasting protocol: a refinement-based approach. KES (2020)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
Vehicle Platooning Systems: Review, Classification and Validation Strategies. Int. J. Networked Distributed Comput. 8 (4) (2020)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
Modeling and Proving Distributed Algorithms for Dynamic Graphs. Future Gener. Comput. Syst. 108 (2020)
Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
Energy Efficient Handshake Algorithm for Wireless Sensor Networks. DiCES-N@ICTAC (2019)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
An Evaluative Review of the Formal Verification for VANET Protocols. IWCMC (2019)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
A Comprehensive Survey on Broadcasting Emergency Messages. IWCMC (2019)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
Formal Modeling and Verification of a Distributed Algorithm for Constructing Maximal Cliques in Static Networks. Computación y Sistemas 23 (4) (2019)
Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
Distributed Computations in Wireless Sensor Networks by Local Interactions. ADHOC-NOW (2018)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks. SEKE (2018)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review. KES (2018)
Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
Proving Distributed Algorithms for Wireless Sensor Networks by Combining Refinement and Local Computations. WETICE (2018)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, Ahmed Hadj Kacem
Proving Distributed Coloring of Forests in Dynamic Networks. Computación y Sistemas 21 (4) (2017)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
Algorithms for Finding Maximal and Maximum Cliques: A Survey. ISDA (2017)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, Ahmed Hadj Kacem
A correct-by-construction approach for proving distributed algorithms in spanning trees. ICIS (2017)
Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques. SCSS (2017)
Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
Towards a General Framework for Ensuring and Reusing Proofs of Termination Detection in Distributed Computing. PDP (2016)
Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs. WETICE (2016)
Mohamed Tounsi, Mohamed Mosbah, Dominique Méry
From Event-B specifications to programs for distributed algorithms. Int. J. Auton. Adapt. Commun. Syst. 9 (3/4) (2016)
Allyx Fontaine, Mohamed Mosbah, Mohamed Tounsi, Akka Zemmari
A Fault-Tolerant Handshake Algorithm for Local Computations. AINA Workshops (2016)
Maha Boussabbeh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions. ABZ (2016)
Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
A formal pattern for dynamic networks through evolving graphs. AICCSA (2015)
Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs. SNPD (revised selected papers) (2015)
Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
Enhancing Proofs of Local Computations through Formal Event-B Modularization. WETICE (2014)
Vincent Filou, Mohamed Mosbah, Mohamed Tounsi
Towards Proved Distributed Algorithms through Refinement, Composition and Local Computations. WETICE (2013)
Mohamed Tounsi, Mohamed Mosbah, Dominique Méry
From Event-B Specifications to Programs for Distributed Algorithms. WETICE (2013)
Dominique Méry, Mohamed Mosbah, Mohamed Tounsi
Refinement-Based Verification of Local Synchronization Algorithms. FM (2011)
Mohamed Tounsi, Mohamed Mosbah, Dominique Méry
Proving Distributed Algorithms by Combining Refinement and Local Computations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35 (2010)
Monia Loulou, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Jmaiel
A Formal Approach to prevent Attacks on Mobile Agent Systems. SECURWARE (2007)