Mohamed Tounsi

34 papers B 6C 11Journal 9Unranked 8

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