Amel Benabbou

According to our database, Amel Benabbou authored at least 5 papers between 2010 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

Automated Context Formalization for Context-aware Specification Approach.

Amel Benabbou, Safia Nait Bahloul

Int. J. Inf. Syst. Model. Des., 2018

Precise use cases in a context-aware model-checking approach.

Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy

Int. J. Crit. Comput. Based Syst., 2018

2016

Context-aware approach for formal verification.

Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy

EAI Endorsed Trans. Context aware Syst. Appl., 2016

2014

Specification-based Approach for Denotational Semantic of Orthogonal Object/Relational DBMS.

Amel Benabbou, Safia Nait Bahloul

Proceedings of the Second International Conference on Information Technology and Quantitative Management, 2014

2010

An Algorithmic Structuration of a Type System for an Orthogonal Object/Relational Model

Amel Benabbou, Safia Nait Bahloul, Youssef Amghar

CoRR, 2010