Login / Signup
Oussama Kamel
ORCID
Publication Activity (10 Years)
Years Active: 2017-2022
Publications (10 Years): 4
Top Topics
Formal Model
Reactive Systems
Temporal Logic
Service Composition
Top Venues
IDEAS
PAIS
BDIOT
Comput. Stand. Interfaces
</>
Publications
</>
Abdennour Boulesnane
,
Yaakoub Saidi
,
Oussama Kamel
,
Mohammed Mounir Bouhamed
,
Rostom Mennour
DZchatbot: A Medical Assistant Chatbot in the Algerian Arabic Dialect using Seq2Seq Model.
PAIS
(2022)
Oussama Kamel
,
Allaoua Chaoui
,
Gregorio Díaz
,
Mohamed Gharzouli
SLA-Driven modeling and verifying cloud systems: A Bigraphical reactive systems-based approach.
Comput. Stand. Interfaces
74 (2021)
Oussama Kamel
,
Allaoua Chaoui
,
Mohamed Gharzouli
Cloud Service Composition Modeling Using Bigraphical Reactive Systems.
IDEAS
(2017)
Oussama Kamel
,
Allaoua Chaoui
,
Mohamed Gharzouli
Towards a Formal Modeling of Cloud Services during the Life-cycle of Service Level Agreement.
BDIOT
(2017)