Amel Benabbou

Orcid: 0000-0002-7624-8948

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Automated Context Formalization for Context-aware Specification Approach.
Int. J. Inf. Syst. Model. Des., 2018

Precise use cases in a context-aware model-checking approach.
Int. J. Crit. Comput. Based Syst., 2018

2016
Context-aware approach for formal verification.
EAI Endorsed Trans. Context aware Syst. Appl., 2016

2014
Specification-based Approach for Denotational Semantic of Orthogonal Object/Relational DBMS.
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
CoRR, 2010


  Loading...