Login / Signup
Amel Benabbou
ORCID
Publication Activity (10 Years)
Years Active: 2010-2018
Publications (10 Years): 3
Top Topics
Formal Verification
Smart Spaces
Context Aware Services
Object Relational Dbms
Top Venues
Int. J. Crit. Comput. Based Syst.
ITQM
Int. J. Inf. Syst. Model. Des.
EAI Endorsed Trans. Context aware Syst. Appl.
</>
Publications
</>
Amel Benabbou
,
Safia Nait Bahloul
,
Philippe Dhaussy
Precise use cases in a context-aware model-checking approach.
Int. J. Crit. Comput. Based Syst.
8 (3/4) (2018)
Amel Benabbou
,
Safia Nait Bahloul
Automated Context Formalization for Context-aware Specification Approach.
Int. J. Inf. Syst. Model. Des.
9 (3) (2018)
Amel Benabbou
,
Safia Nait Bahloul
,
Philippe Dhaussy
Context-aware approach for formal verification.
EAI Endorsed Trans. Context aware Syst. Appl.
3 (7) (2016)
Amel Benabbou
,
Safia Nait Bahloul
Specification-based Approach for Denotational Semantic of Orthogonal Object/Relational DBMS.
ITQM
(2014)
Amel Benabbou
,
Safia Nait Bahloul
,
Youssef Amghar
An Algorithmic Structuration of a Type System for an Orthogonal Object/Relational Model
CoRR
(2010)