default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMohamed 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
![[0000-0002-8883-6106]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0002-8883-6106")
— 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, 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)- [j7]Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah:
Cybersecurity attacks on CAN bus based vehicles: a review and open challenges. Libr. Hi Tech 40(5): 1179-1203 (2022) - 2021
- [c24]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: 95-106 - 2020
- [j6]Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah:
Modeling and Proving Distributed Algorithms for Dynamic Graphs. Future Gener. Comput. Syst. 108: 751-761 (2020) - [j5]Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah:
Vehicle Platooning Systems: Review, Classification and Validation Strategies. Int. J. Networked Distributed Comput. 8(4): 203-213 (2020) - [c23]Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah:
Towards an Efficient Clustering-Based Algorithm for Emergency Messages Broadcasting. ICCCI 2020: 267-278 - [c22]Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah:
Formal specification and verification of a broadcasting protocol: a refinement-based approach. KES 2020: 2858-2867
2010 – 2019
- 2019
- [j4]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) - [c21]Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem:
Energy Efficient Handshake Algorithm for Wireless Sensor Networks. DiCES-N@ICTAC 2019: 57-76 - [c20]Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah:
An Evaluative Review of the Formal Verification for VANET Protocols. IWCMC 2019: 1209-1214 - [c19]Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah:
A Comprehensive Survey on Broadcasting Emergency Messages. IWCMC 2019: 1983-1988 - 2018
- [c18]Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem:
Distributed Computations in Wireless Sensor Networks by Local Interactions. ADHOC-NOW 2018: 293-304 - [c17]Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem:
Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review. KES 2018: 1551-1560 - [c16]Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem:
A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks. SEKE 2018: 348-347 - [c15]Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem:
Proving Distributed Algorithms for Wireless Sensor Networks by Combining Refinement and Local Computations. WETICE 2018: 217-222 - 2017
- [j3]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) - [c14]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: 1-6 - [c13]Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem:
Algorithms for Finding Maximal and Maximum Cliques: A Survey. ISDA 2017: 745-754 - [c12]Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah:
Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques. SCSS 2017: 96-106 - 2016
- [j2]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): 223-242 (2016) - [c11]Allyx Fontaine, Mohamed Mosbah, Mohamed Tounsi, Akka Zemmari:
A Fault-Tolerant Handshake Algorithm for Local Computations. AINA Workshops 2016: 475-480 - [c10]Maha Boussabbeh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem:
Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions. ABZ 2016: 198-212 - [c9]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: 504-511 - [c8]Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah:
A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs. WETICE 2016: 44-49 - 2015
- [c7]Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah:
A formal pattern for dynamic networks through evolving graphs. AICCSA 2015: 1-4 - [c6]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: 227-243 - 2014
- [c5]Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah:
Enhancing Proofs of Local Computations through Formal Event-B Modularization. WETICE 2014: 50-55 - 2013
- [c4]Mohamed Tounsi, Mohamed Mosbah, Dominique Méry:
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, Mohamed Tounsi:
Refinement-Based Verification of Local Synchronization Algorithms. FM 2011: 338-352 - 2010
- [j1]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)
2000 – 2009
- 2007
- [c1]Monia Loulou, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Jmaiel:
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-10-07 22:23 CEST 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:
