Sign in
Mohamed Karaa
Publication Activity (10 Years)
Years Active: 2015-2022
Publications (10 Years): 3
Top Topics
Formal Verification
Transition Systems
Model Checker
Lightweight
Top Venues
APCCAS
WETICE
ICIS
</>
Publications
</>
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)