Accueil › Annuaire des chercheurs › Amel Benabbou
Amel Benabbou
Affiliation : Université Oran 1 Ahmed Ben Bella
- 6Publications (affiliation algérienne)
- 7Publications au total
- 5Citations
- 2Indice h
Profil de recherche
Amel Benabbou compte 6 publications référencées (2014–2018). Ses travaux paraissent principalement dans « Procedia Computer Science », « International Journal of Critical Computer-Based Systems » et « International Journal of Information System Modeling and Design ». Son article le plus cité, « An Automated Transformation Approach for Requirement Specification » (2016), a été cité 2 fois. 5 de ces publications datent des trois dernières années d’activité. Ses travaux sont cosignés avec au moins 1 chercheur.
C’est vous ? Faites connaître vos travaux
Créez gratuitement votre profil DzCademia et ajoutez vos articles : ils apparaîtront plus facilement sur Google et dans les assistants d’IA comme ChatGPT. Plus de personnes pourront vous lire et vous citer.
Créer mon profil gratuit Ajouter mes publicationsDomaines de recherche
- Formal Methods in Verification
- Logic, programming, and type systems
- Model-Driven Software Engineering Techniques
- Advanced Software Engineering Methodologies
- Advanced Database Systems and Queries
Publications (6)
- Precise use cases in a context-aware model-checking approach
- Automated Context Formalization for Context-aware Specification Approach
- An Automated Transformation Approach for Requirement Specification
- Context-aware approach for formal verification
- A High-level Formalism to Elaborate Context for a Context-aware Verification Approach
- Specification-based Approach for Denotational Semantic of Orthogonal Object/Relational DBMS
Revues de publication
- Procedia Computer Science × 2
- International Journal of Critical Computer-Based Systems × 1
- International Journal of Information System Modeling and Design × 1
- EAI Endorsed Transactions on Context-aware Systems and Applications × 1
- HAL × 1
Publications par année
- 20182
- 20163
- 20141
Co-auteurs
Données bibliographiques issues d’OpenAlex (base ouverte).
Pourquoi choisir Dzcademia ?
Pour donner à vos travaux plus de chances d’être découverts et recommandés par les IA. Profils, articles et communications : donnez à votre recherche une présence publique structurée. Les métadonnées intégrées aident les moteurs de recherche et les assistants IA à identifier vos travaux et à comprendre leurs références.
Commenter avec Google
Connecte-toi avec Google pour commenter directement sur cette page.