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 | 30 | 2020 |
Proving Distributed Algorithms by Combining Refinement and Local Computations M Tounsi, M Mosbah, D Méry Electronic Communications of the EASST 35, 2010 | 20 | 2010 |
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 | 18 | 2022 |
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 | 16 | 2016 |
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 | 14 | 2013 |
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 | 13 | 2009 |
An evaluative review of the formal verification for vanet protocols F Fakhfakh, M Tounsi, M Mosbah 2019 15th International Wireless Communications & Mobile Computing …, 2019 | 11 | 2019 |
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 | 11 | 2011 |
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 | 8 | 2017 |
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 | 8 | 2016 |
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 | 7 | 2016 |
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 | 7 | 2011 |
A comprehensive survey on broadcasting emergency messages F Fakhfakh, M Tounsi, M Mosbah 2019 15th International Wireless Communications & Mobile Computing …, 2019 | 6 | 2019 |
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 | 6 | 2018 |
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 | 6 | 2016 |
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 | 6 | 2016 |
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 | 6 | 2007 |
Modeling and proving distributed algorithms for dynamic graphs F Fakhfakh, M Tounsi, M Mosbah Future Generation Computer Systems 108, 751-761, 2020 | 5 | 2020 |
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 | 5 | 2018 |
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 | 5 | 2016 |