Get started
Author

Amel Benabbou

Observed name: Benabbou, Amel
ORCID: 0000-0002-7624-8948
Observed ORCID: 0000-0002-7624-8948
OpenAlex ID: A5017741091
An Automated Transformation Approach for Requirement Specification
2016 · Amel Benabbou, Safia Nait Bahloul, et al. · Procedia Computer Science · 2
PDF
An Algorithmic Structuration of a Type System for an Orthogonal Object/Relational Model
2010 · Benabbou, Amel, Bahloul, Safia Nait, et al. · arXiv (Cornell University) · 2
PDF
Context-aware approach for formal verification
2016 · Amel Benabbou, Safia Nait Bahloul, et al. · EAI Endorsed Transactions on Context-aware Systems and Applications · 1
PDF
Automated Context Formalization for Context-aware Specification Approach
2018 · Amel Benabbou, Safia Nait-Bahloul · International Journal of Information System Modeling and Design
Precise use cases in a context-aware model-checking approach
2018 · Amel Benabbou, Safia Nait Bahloul, et al. · International Journal of Critical Computer-Based Systems
A High-level Formalism to Elaborate Context for a Context-aware Verification Approach
2016 · Benabbou, Amel, Bahloul, Safia Nait, et al. · HAL
Specification-based Approach for Denotational Semantic of Orthogonal Object/Relational DBMS
2014 · Amel Benabbou, Safia Nait Bahloul · Procedia Computer Science
PDF
Works count: 7
Citation count: 5
H-index: 2
I10-index:
Year
Topic
Type