Mohamed Karaa

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

Collaborative distances:

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

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

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