Follow
Mohamed Tounsi
Mohamed Tounsi
Université de Sfax, Umm Al-Qura University
Verified email at fsegs.rnu.tn - Homepage
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
212011
From event-b specifications to programs for distributed algorithms
M Tounsi, M Mosbah, D Méry
2013 Workshops on Enabling Technologies: Infrastructure for Collaborative …, 2013
152013
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
International Symposium on Formal Methods, 338-352, 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
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
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
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
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
An evaluative review of the formal verification for vanet protocols
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
International Conference on Intelligent Systems Design and Applications, 745-754, 2017
42017
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
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2016
42016
A comprehensive survey on broadcasting emergency messages
F Fakhfakh, M Tounsi, M Mosbah
2019 15th International Wireless Communications & Mobile Computing …, 2019
32019
Distributed computations in wireless sensor networks by local interactions
E Taktak, M Tounsi, M Mosbah, AH Kacem
International Conference on Ad-Hoc Networks and Wireless, 293-304, 2018
32018
The system can't perform the operation now. Try again later.
Articles 1–20