An Algorithmic Structuration of a Type System for an Orthogonal Object/Relational Model - Amel Benabbou; Safia Nait Bahloul; Youssef Amghar (CoRR, 2010)

Specification-based Approach for Denotational Semantic of Orthogonal Object/Relational DBMS. - Amel Benabbou; Safia Nait Bahloul (ITQM, 2014)

Context-aware approach for formal verification. - Amel Benabbou; Safia Nait Bahloul; Philippe Dhaussy (EAI Endorsed Trans. Context aware Syst. Appl., 2016)

Precise use cases in a context-aware model-checking approach. - Amel Benabbou; Safia Nait Bahloul; Philippe Dhaussy (Int. J. Crit. Comput. Based Syst., 2018)

Automated Context Formalization for Context-aware Specification Approach. - Amel Benabbou; Safia Nait Bahloul (Int. J. Inf. Syst. Model. Des., 2018)