Concepedia

Djamal Bennouar

DB

9

Publications

128

Citations

9

H-Index

2010

Active since

Affiliations

University of Bouira(Current)

University of Blida

Concordia University

University of Sciences and Technology Houari Boumediene

University of Luxembourg

Djamal Bennouar is an author at University of Bouira specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringVerificationFormal MethodsSoftware DesignFormal VerificationComputer EngineeringSoftware EngineeringModeling And Simulation

Publications per year

2010–2024

9

Publications

9

Systems of systems: From mission definition to architecture description

Imane Cherfa, Nicolas Belloir, Salah Sadou et al. · Systems Engineering · 2019 · 23 citations

Abstract Systems, Engineering, Wave Life Cycle +23

Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking

Abdelhakim Baouya, Otmane Aı̈t Mohamed, Samir Ouchani et al. · Expert Systems with Applications · 2021 · 16 citations

Software Maintenance, Software Reliability Testing, Reliability Engineering +15

Safety analysis of train control system based on model-driven design methodology

Abdelhakim Baouya, Otmane Aı̈t Mohamed, Djamal Bennouar et al. · Computers in Industry · 2018 · 15 citations

Safety Engineering, Railway Traffic, Train Control System +12

AR-ASAG An ARabic Dataset for Automatic Short Answer Grading Evaluation

Leila Ouahrani, Djamal Bennouar · Language Resources and Evaluation · 2020 · 14 citations

A quantitative verification framework of SysML activity diagrams under time constraints

Abdelhakim Baouya, Djamal Bennouar, Otmane Aı̈t Mohamed et al. · Expert Systems with Applications · 2015 · 14 citations · Full text

Engineering, Formal Modeling, Automated Reasoning +14

Rows per page

1–5 of 9