Follow
Mohamed Tounsi
Mohamed Tounsi
Umm Al-Qura University, University of Sfax
Verified email at uqu.edu.sa
Title
Cited by
Cited by
Year
Proving Distributed Algorithms by Combining Refinement and Local Computations
M Tounsi, M Mosbah, D Méry
Electronic Communications of the EASST 35, 2011
222011
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
152016
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
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
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
72020
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
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
An evaluative review of the formal verification for vanet protocols
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
Modeling and proving distributed algorithms for dynamic graphs
F Fakhfakh, M Tounsi, M Mosbah
Future Generation Computer Systems 108, 751-761, 2020
42020
Formal modeling and verification of a distributed algorithm for constructing maximal cliques in static networks
F Fakhfakh, M Tounsi, M Mosbah
Computación y Sistemas 23 (4), 1417-1427, 2019
42019
A comprehensive survey on broadcasting emergency messages
F Fakhfakh, M Tounsi, M Mosbah
2019 15th International Wireless Communications & Mobile Computing …, 2019
42019
Algorithms for finding maximal and maximum cliques: a survey
F Fakhfakh, M Tounsi, M Mosbah, A Hadj Kacem
Intelligent Systems Design and Applications: 17th International Conference …, 2018
42018
A refinement-based approach for proving distributed algorithms on evolving graphs
F Fakhfakh, M Tounsi, AH Kacem, M Mosbah
2016 IEEE 25th International Conference on Enabling Technologies …, 2016
42016
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
42016
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
32022
The system can't perform the operation now. Try again later.
Articles 1–20