Djamal Bennouar
Djamal Bennouar
Professeur d'Informatique, Université de Bouira
Verified email at - Homepage
Cited by
Cited by
A probabilistic and timed verification approach of SysML state machine diagram
A Baouya, D Bennouar, OA Mohamed, S Ouchani
2015 12th International Symposium on Programming and Systems (ISPS), 1-9, 2015
Safety analysis of train control system based on model-driven design methodology
A Baouya, OA Mohamed, D Bennouar, S Ouchani
Computers in Industry 105, 1-16, 2019
Systems of systems: From mission definition to architecture description
I Cherfa, N Belloir, S Sadou, R Fleurquin, D Bennouar
Systems Engineering 22 (6), 437-454, 2019
Component-Based Specification of Software Product Line Architecture.
A Guendouz, D Bennouar, B Algeria
ICAASE, 100-107, 2014
A quantitative verification framework of SysML activity diagrams under time constraints
A Baouya, D Bennouar, OA Mohamed, S Ouchani
Expert Systems with Applications 42 (21), 7493-7510, 2015
Reliability-driven automotive software deployment based on a parametrizable probabilistic model checking
A Baouya, OA Mohamed, S Ouchani, D Bennouar
Expert Systems with Applications 174, 114572, 2021
Involving the application domain expert in the construction of systems of systems
I Cherfa, S Sadou, N Belloir, R Fleurquin, D Bennouar
2018 13th Annual Conference on System of Systems Engineering (SoSE), 335-342, 2018
Customer satisfaction through e-learning software product line
A Guendouz, D Bennouar, A Ramdani, H Hamza Mazeri
The Ninth International Conference on Internet and Web Applications and …, 2014
A model driven approach to derive e-learning applications in software product line
N Lahiani, D Bennouar
Proceedings of the International Conference on Intelligent Information …, 2015
A Software Product Line for Elearning Applications
A Guendouz, D Bennouar
The International Arab Conference on Information Technology (ACIT’2013), 1-6, 2013
AR-ASAG an Arabic dataset for automatic short answer grading evaluation
L Ouahrani, D Bennouar
Proceedings of the Twelfth Language Resources and Evaluation Conference …, 2020
An automatic grading system based on dynamic corpora.
D Bennouar
International Arab Journal of Information Technology (IAJIT) 14, 2017
The design of a complex software system using a software architecture approach
D Bennouar
Université Akli Mouhand Oulhadj-Bouira, 2008
A dsl-based approach to product derivation for software product line
N Lahiani, D Bennouar
Acta Informatica Pragensia 5 (2), 138-143, 2017
A hybrid re-composition based on components and web services
K Bentlemsan, D Bennouar, D Tamzalit, KW Hidouci
International Journal of Computers and Applications 42 (5), 449-462, 2020
On the use of model transformation for the automation of product derivation process in SPL
N Lahiani, D Bennouar
Acta Univ. Sapientiae 10 (1), 43-57, 2018
„Software Product Lines Composition through Partial Derivation “
A Guendouz, D Bennouar
International Journal of Information Technology and Computer Science (IJITCS …, 2017
On the probabilistic verification of time constrained sysml state machines
A Baouya, D Bennouar, O Ait Mohamed, S Ouchani
Intelligent Software Methodologies, Tools and Techniques: 14th International …, 2015
A formal approach for maintainability and availability assessment using probabilistic model checking
A Baouya, D Bennouar, OA Mohamed, S Ouchani
Modelling and Implementation of Complex Systems: Proceedings of the 4th …, 2016
AMPL: aspect multiple product lines
A Guendouz, D Bennouar
International Journal of Computers and Applications 44 (4), 305-315, 2022
The system can't perform the operation now. Try again later.
Articles 1–20