Login / Signup
Sirine Rebai
Publication Activity (10 Years)
Years Active: 2010-2015
Publications (10 Years): 2
Top Topics
Formal Verification
Loose Coupling
Semantic Modeling
Web Services Composition
Top Venues
WETICE
ICIS
</>
Publications
</>
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)
Sirine Rebai
,
Hatem Hadj Kacem
,
Ahmed Hadj Kacem
Position Paper: An Integration Approach of Service Composition Models: From Choreography to Orchestration.
WETICE
(2012)
Wided Bouchelligua
,
Adel Mahfoudhi
,
Lassaad Ben Ammar
,
Sirine Rebai
,
Mourad Abed
An MDE Approach for User Interface Adaptation to the Context of Use.
HCSE
(2010)