Formal Specification and Verification of Transmission Control Protocol. - Abdessamad Jarrar; Otman Bellasri; Sallami Chougdali; Youssef Balouki (ICCWCS, 2017)

Modeling the Internet of Things System Using Complex Adaptive System Concepts. - Abdessamad Jarrar; Taoufiq Gadi; Youssef Balouki (ICCWCS, 2017)

Formal Reasoning for Air Traffic Control System Using Event-B Method. - Abdessamad Jarrar; Youssef Balouki (ICCSA (2), 2018)

Formal modeling of a complex adaptive air traffic control system. - Abdessamad Jarrar; Youssef Balouki (Complex Adapt. Syst. Model., 2018)

Formal approach to model complex adaptive computing systems. - Abdessamad Jarrar; Abderrahim Ait Wakrime; Youssef Balouki (Complex Adapt. Syst. Model., 2020)

The Semantic of Business Vocabulary and Business Rules: An Automatic Generation From Textual Statements. - Abdellatif Haj; Abdessamad Jarrar; Youssef Balouki; Taoufiq Gadi (IEEE Access, 2021)

A New Centralized Detection-Based Process for Evaluating Anomalies and Analyzing the First Causes Using Machine Learning and Web Semantic. - Abdellatif Lasbahani; Rachid Tahri; Abdessamad Jarrar; Youssef Balouki (Int. J. Online Biomed. Eng., 2023)