Follow
Mohamed Tounsi
Mohamed Tounsi
Umm Al-Qura University, University of Sfax
Verified email at uqu.edu.sa
Title
Cited by
Cited by
Year
Vehicle platooning systems: Review, classification and validation strategies
F Fakhfakh, M Tounsi, M Mosbah
International Journal of Networked and Distributed Computing 8 (4), 203-213, 2020
242020
Proving Distributed Algorithms by Combining Refinement and Local Computations
M Tounsi, M Mosbah, D Méry
Electronic Communications of the EASST 35, 2010
222010
From Event-B specifications to programs for distributed algorithms
M Tounsi, M Mosbah, D Méry
International journal of autonomous and adaptive communications systems 9 (3 …, 2016
162016
A refinement approach for proving distributed algorithms: Examples of spanning tree problems
M Tounsi, AH Kacem, M Mosbah, D Méry
Integration of Model based Formal Methods and Tools (IMFMT 2009), Düsseldorf …, 2009
152009
Towards proved distributed algorithms through refinement, composition and local computations
V Filou, M Mosbah, M Tounsi
2013 Workshops on Enabling Technologies: Infrastructure for Collaborative …, 2013
142013
Refinement-based verification of local synchronization algorithms
D Méry, M Mosbah, M Tounsi
FM 2011: Formal Methods: 17th International Symposium on Formal Methods …, 2011
132011
Cybersecurity attacks on CAN bus based vehicles: a review and open challenges
F Fakhfakh, M Tounsi, M Mosbah
Library hi tech 40 (5), 1179-1203, 2022
122022
An evaluative review of the formal verification for vanet protocols
F Fakhfakh, M Tounsi, M Mosbah
2019 15th International Wireless Communications & Mobile Computing …, 2019
92019
Proving distributed coloring of forests in dynamic networks
F Fakhfakh, M Tounsi, M Mosbah, D Méry, AH Kacem
Computación y Sistemas 21 (4), 863-881, 2017
82017
Towards a formal model for dynamic networks through refinement and evolving graphs
F Fakhfakh, M Tounsi, AH Kacem, M Mosbah
Software Engineering, Artificial Intelligence, Networking and Parallel …, 2016
82016
A fault-tolerant handshake algorithm for local computations
A Fontaine, M Mosbah, M Tounsi, A Zemmari
2016 30th International Conference on Advanced Information Networking and …, 2016
72016
An introduction to the q-Laguerre-Hahn orthogonal q-polynomials
A Ghressi, L Khériji, MI Tounsi
SIGMA. Symmetry, Integrability and Geometry: Methods and Applications 7, 092, 2011
72011
Formal verification approaches for distributed algorithms: A systematic literature review
F Fakhfakh, M Tounsi, M Mosbah, AH Kacem
Procedia Computer Science 126, 1551-1560, 2018
62018
On the cubic decomposition of a family of Gq-semiclassical polynomial sequences of class one
MI Tounsi, Z Raddaoui
Journal of Difference Equations and Applications 22 (3), 391-410, 2016
62016
Formal proofs of termination detection for local computations by refinement-based compositions
M Boussabbeh, M Tounsi, M Mosbah, AH Kacem
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International …, 2016
62016
A formal approach to prevent attacks on mobile agent systems
M Loulou, M Tounsi, AH Kacem, M Jmaiel, M Mosbah
The International Conference on Emerging Security Information, Systems, and …, 2007
62007
Modeling and proving distributed algorithms for dynamic graphs
F Fakhfakh, M Tounsi, M Mosbah
Future Generation Computer Systems 108, 751-761, 2020
52020
A comprehensive survey on broadcasting emergency messages
F Fakhfakh, M Tounsi, M Mosbah
2019 15th International Wireless Communications & Mobile Computing …, 2019
52019
Towards a general framework for ensuring and reusing proofs of termination detection in distributed computing
M Boussabbeh, M Tounsi, AH Kacem, M Mosbah
2016 24th Euromicro International Conference on Parallel, Distributed, and …, 2016
52016
A formal pattern for dynamic networks through evolving graphs
F Fakhfakh, M Tounsi, AH Kacem, M Mosbah
2015 IEEE/ACS 12th International Conference of Computer Systems and …, 2015
52015
The system can't perform the operation now. Try again later.
Articles 1–20