default search action
Mohamed Tounsi 0001
Person information
- affiliation: University of Sfax, ReDCAD Laboratory, Tunisia
- affiliation (PhD): University of Bordeaux, France
Other persons with the same name
- Mohamed Tounsi 0002
— Prince Sultan University, Riadh, Saudi Arabia (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j8]Emna Taktak
A handshake algorithm for scheduling communications in wireless sensor networks. Concurr. Comput. Pract. Exp. 34(7) (2022) - [j7]Faten Fakhfakh
Cybersecurity attacks on CAN bus based vehicles: a review and open challenges. Libr. Hi Tech 40(5): 1179-1203 (2022) - 2021
- [c24]Emna Taktak
High-Level Approach for the Reconfiguration of Distributed Algorithms in Wireless Sensor Networks. AINA (2) 2021: 95-106 - 2020
- [j6]Faten Fakhfakh, Mohamed Tounsi
Modeling and Proving Distributed Algorithms for Dynamic Graphs. Future Gener. Comput. Syst. 108: 751-761 (2020) - [j5]Faten Fakhfakh, Mohamed Tounsi
Vehicle Platooning Systems: Review, Classification and Validation Strategies. Int. J. Networked Distributed Comput. 8(4): 203-213 (2020) - [c23]Faten Fakhfakh, Mohamed Tounsi
Towards an Efficient Clustering-Based Algorithm for Emergency Messages Broadcasting. ICCCI 2020: 267-278 - [c22]Faten Fakhfakh, Mohamed Tounsi
Formal specification and verification of a broadcasting protocol: a refinement-based approach. KES 2020: 2858-2867
2010 – 2019
- 2019
- [j4]Faten Fakhfakh, Mohamed Tounsi
Formal Modeling and Verification of a Distributed Algorithm for Constructing Maximal Cliques in Static Networks. Computación y Sistemas 23(4) (2019) - [c21]Emna Taktak
Energy Efficient Handshake Algorithm for Wireless Sensor Networks. DiCES-N@ICTAC 2019: 57-76 - [c20]Faten Fakhfakh, Mohamed Tounsi
An Evaluative Review of the Formal Verification for VANET Protocols. IWCMC 2019: 1209-1214 - [c19]Faten Fakhfakh, Mohamed Tounsi
A Comprehensive Survey on Broadcasting Emergency Messages. IWCMC 2019: 1983-1988 - 2018
- [c18]Emna Taktak, Mohamed Tounsi
Distributed Computations in Wireless Sensor Networks by Local Interactions. ADHOC-NOW 2018: 293-304 - [c17]Faten Fakhfakh, Mohamed Tounsi
Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review. KES 2018: 1551-1560 - [c16]Faten Fakhfakh, Mohamed Tounsi
A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks. SEKE 2018: 348-347 - [c15]Emna Taktak
Proving Distributed Algorithms for Wireless Sensor Networks by Combining Refinement and Local Computations. WETICE 2018: 217-222 - 2017
- [j3]Faten Fakhfakh, Mohamed Tounsi
Proving Distributed Coloring of Forests in Dynamic Networks. Computación y Sistemas 21(4) (2017) - [c14]Faten Fakhfakh, Mohamed Tounsi
A correct-by-construction approach for proving distributed algorithms in spanning trees. ICIS 2017: 1-6 - [c13]Faten Fakhfakh, Mohamed Tounsi
Algorithms for Finding Maximal and Maximum Cliques: A Survey. ISDA 2017: 745-754 - [c12]Maha Boussabbeh, Mohamed Tounsi
Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques. SCSS 2017: 96-106 - 2016
- [j2]Mohamed Tounsi
From Event-B specifications to programs for distributed algorithms. Int. J. Auton. Adapt. Commun. Syst. 9(3/4): 223-242 (2016) - [c11]Allyx Fontaine
A Fault-Tolerant Handshake Algorithm for Local Computations. AINA Workshops 2016: 475-480 - [c10]Maha Boussabbeh, Mohamed Tounsi
Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions. ABZ 2016: 198-212 - [c9]Maha Boussabbeh, Mohamed Tounsi
Towards a General Framework for Ensuring and Reusing Proofs of Termination Detection in Distributed Computing. PDP 2016: 504-511 - [c8]Faten Fakhfakh, Mohamed Tounsi
A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs. WETICE 2016: 44-49 - 2015
- [c7]Faten Fakhfakh, Mohamed Tounsi
A formal pattern for dynamic networks through evolving graphs. AICCSA 2015: 1-4 - [c6]Faten Fakhfakh, Mohamed Tounsi
Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs. SNPD (revised selected papers) 2015: 227-243 - 2014
- [c5]Maha Boussabbeh, Mohamed Tounsi
Enhancing Proofs of Local Computations through Formal Event-B Modularization. WETICE 2014: 50-55 - 2013
- [c4]Mohamed Tounsi
From Event-B Specifications to Programs for Distributed Algorithms. WETICE 2013: 104-109 - [c3]Vincent Filou, Mohamed Mosbah, Mohamed Tounsi
Towards Proved Distributed Algorithms through Refinement, Composition and Local Computations. WETICE 2013: 353-358 - 2011
- [c2]Dominique Méry, Mohamed Mosbah
Refinement-Based Verification of Local Synchronization Algorithms. FM 2011: 338-352 - 2010
- [j1]Mohamed Tounsi
Proving Distributed Algorithms by Combining Refinement and Local Computations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35 (2010)
2000 – 2009
- 2007
- [c1]Monia Loulou, Mohamed Tounsi
A Formal Approach to prevent Attacks on Mobile Agent Systems. SECURWARE 2007: 42-47
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 20:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: