Mohamed Karaa

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 5

Top Topics

Formal Verification

Bounded Model Checking

Top Venues

IEEE Open J. Circuits Syst.

Publications

Emna Boudabous, Mohamed Karaa, Lokman Sboui, Julio Montecinos, Omar Alam
Analyzing Public Transit Schedule Deviations: A Case Study on Montreal Using Real-Time Data. ISORC (2024)
Mohamed Karaa, Hakim Ghazzai, Yehia Massoud, Lokman Sboui
A Computer Vision-Based Framework for Snow Removal Operation Routing. IEEE Open J. Circuits Syst. 5 (2024)
Mohamed Karaa, Hakim Ghazzai, Lokman Sboui, Hichem Besbes, Yehia Massoud
Unsupervised Image Dataset Annotation Framework for Snow Covered Road Networks. APCCAS (2022)
Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem
A service-oriented architecture (SOA) framework for choreography verification. ICIS (2015)
Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem
CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification. WETICE (2015)