Login / Signup
Amel Boumaza
Publication Activity (10 Years)
Years Active: 2014-2018
Publications (10 Years): 2
Top Topics
Temporal Logic
Model Checking
Web Services
Semantic Matching
Top Venues
J. Inf. Technol. Res.
ANT/SEIT
ICAASE
</>
Publications
</>
Amel Boumaza
,
Ramdane Maamri
Mapping OWL-S Process Model to Timed Automata: A Model-Checking Timed Temporal Logic Oriented Approach.
J. Inf. Technol. Res.
11 (1) (2018)
Amel Boumaza
,
Maamri Ramedane
From OWL-S to Timed Automata Network: Operational Semantic.
ANT/SEIT
(2016)
Amel Boumaza
,
Ramdane Maamri
Specification and Verification of Timed Semantic web Services.
ICAASE
(2014)