Mohamed Karaa

According to our database, Mohamed Karaa authored at least 6 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

ViSnow: Snow-covered Urban Roads Dataset for Computer Vision Applications.

Mohamed Karaa, Hakim Ghazzai, Lokman Sboui

Dataset, April, 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

Analyzing Public Transit Schedule Deviations: A Case Study on Montreal Using Real-Time Data.

Emna Boudabous, Mohamed Karaa, Lokman Sboui, Julio Montecinos, Omar Alam

Proceedings of the 27th IEEE International Symposium on Real-Time Distributed Computing, 2024

2022

Unsupervised Image Dataset Annotation Framework for Snow Covered Road Networks.

Mohamed Karaa, Hakim Ghazzai, Lokman Sboui, Hichem Besbes, Yehia Massoud

Proceedings of the IEEE Asia Pacific Conference on Circuit and Systems, 2022

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

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

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

Proceedings of the 14th IEEE/ACIS International Conference on Computer and Information Science, 2015