A service-oriented architecture (SOA) framework for choreography verification. - Sirine Rebai; Hatem Hadj Kacem; Mohamed Karaa; Saúl E. Pomares Hernández; Ahmed Hadj Kacem (ICIS, 2015)

CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification. - Sirine Rebai; Hatem Hadj Kacem; Mohamed Karaa; Saúl E. Pomares Hernández; Ahmed Hadj Kacem (WETICE, 2015)

Unsupervised Image Dataset Annotation Framework for Snow Covered Road Networks. - Mohamed Karaa; Hakim Ghazzai; Lokman Sboui; Hichem Besbes; Yehia Massoud (APCCAS, 2022)

A Semantic Compression Framework for Video Surveillance Applications. - Mohamed Karaa; Raed Bahria; Hakim Ghazzai; Lokman Sboui (CCECE, 2024)

Analyzing Public Transit Schedule Deviations: A Case Study on Montreal Using Real-Time Data. - Emna Boudabous; Mohamed Karaa; Lokman Sboui; Julio Montecinos; Omar Alam (ISORC, 2024)

A Computer Vision-Based Framework for Snow Removal Operation Routing. - Mohamed Karaa; Hakim Ghazzai; Yehia Massoud; Lokman Sboui (IEEE Open J. Circuits Syst., 2024)

ViSnow: Snow-covered Urban Roads Dataset for Computer Vision Applications. - Mohamed Karaa; Hakim Ghazzai; Lokman Sboui (IEEE DataPort, 2024)