Login / Signup
Rawand Guerfel
Publication Activity (10 Years)
Years Active: 2014-2017
Publications (10 Years): 3
Top Topics
Cloud Computing
Semantic Matchmaking
Alternating Time Temporal Logic
Timed Automata
Top Venues
Int. J. Serv. Sci. Manag. Eng. Technol.
ICSOC Workshops
ICCCI (2)
PNSE @ Petri Nets
</>
Publications
</>
Rawand Guerfel
,
Zohra Sbaï
,
Rahma Ben Ayed
On the Use of Similarity or Query Languages in Cloud Discovery Based on Ontology.
Int. J. Serv. Sci. Manag. Eng. Technol.
8 (3) (2017)
Rawand Guerfel
,
Zohra Sbaï
,
Rahma Ben Ayed
Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing.
ICSOC Workshops
(2017)
Zohra Sbaï
,
Rawand Guerfel
CTL Model Checking of Web Services Composition based on Open Workflow Nets Modeling.
Int. J. Serv. Sci. Manag. Eng. Technol.
7 (1) (2016)
Rawand Guerfel
,
Zohra Sbaï
,
Rahma Ben Ayed
Towards a System for Cloud Service Discovery and Composition Based on Ontology.
ICCCI (2)
(2015)
Rawand Guerfel
,
Zohra Sbaï
D&A4WSC as a Design and Analysis Framework of Web Services Composition.
PNSE @ Petri Nets
(2014)
Rawand Guerfel
,
Zohra Sbaï
,
Rahma Ben Ayed
On Service Composition in Cloud Computing: A Survey and an Ongoing Architecture.
CloudCom
(2014)