Télécharger mon CV

: 0555143208
:
: h.bennoui@univ-biskra.dz
: Département d'Informatique, Université de Biskra

Informations Personnelles

Nom : Bennoui
Prenom : Hammadi
Grade : Professeur
Poste Administratif:
Discipline de Recherche: Informatique
Facultée : Faculté des Sciences Exactes,des Sciences de la Nature et de la Vie
Laboratoire Affilié : LINFI

Titres Universitaires

Titre
- Ingénieur
- Magister
- Doctorat en Sciences
- Habilitation Universitaire
Année
1994
2000
2012
2013

Activitées d'Enseignement

Module
- Diagnostic basé-modèle
- Techniques et Outils de vérification
- Contrôle supervisé des SEDs
- Vérification des raffinements successifs
- Techniques de test de logiciels
- Outils de spécification 2
- Gestion de Projets Logiciels
- Paradigmes des Langages de Programmation
- ASD 1 et 2
- TAD
- Construction de Programmes
- Réseaux et Télécommunication
- Sémantique formelle des langages de programmation
- Informatique
- Informatique
- Gestion de Projets et Réseaux
- Raisonnement basé-modèle
- Méthodes formelles de parallélisme
- Systèmes d'exploitation II
Département
Informatique
Informatique
Informatique
Informatique
Informatique
Informatique
Informatique
Informatique
Mathématiques
Informatique
Informatique
Informatique
Informatique
Économie
Économie
Economie
Informatique
Informatique (Univ. Ouargla)
Informatique
Année
2011-2019
2011-2014
2015-2017
2017-2019
2012-2018
2016-2019
2001-2016
2001-2015
2014-2019
2000-2005
2000-2005
2002-2005
2001-2003
2003-2004
2003-2004
2009-2010
2017-2019
2013-2014
2005-2011

Fonctions Administratives

- Adjoint du chef de département chargé de la pédagogie, 2004-2005

- Chef du département d'Informatique, 2005-2007

- Chef de spécialité VDSC, 2012-2014

- Chef de spécialité GLSD, 2013-2017

Fonctions Statutaires

Fonction
Année

Activitées Scientifiques

Publications

- H. Bennoui. "Interacting behavioral Petri nets analysis for distributed causal model-based diagnosis. Journal of Autonomous Agents and Multi Agent Systems (JAAMAS),vol. 28, n°. 2, pp : 155-181, Springer, 2014

- S. Benharzallah, H. Bennoui and O. Kazar. “Reformulating XQuery queries using GLAV mapping and complex unification.” Journal of King Saud University – Computer and Information Sciences, vol. 28, no. 1, pp. 125–132, 2016

- M. Aziez, S. Benharzallah and H. Bennoui. “A Comparative Analysis of Service Discovery Approaches for the Internet of Things”. International Research Journal of Electronics & Computer Engineering (ISSN Online: 2412-4370), vol. 3, n°. 1, pp. 17-22, mar. 2017. ISSN 2412-4370., 2017

- Yasser M. Berghout and H. Bennoui. “Distributed diagnosis based on distributed probability propagation nets.”  International Journal of Computational Science and Engineering, 18(1):72–79., 2019

- Y. M. Berghout, H. Bennoui. "Introduction to distributed probability propagation nets", In Proc. of IPAC, 2015

- R. Boussetoua, A. Chaoui, H. Bennoui, K. Khalfaoui and E. Kerkouche. “An Automatic Approach to Transform BPMN Models to Pi-Calculus, In Proc. of IEEE-AICCSA, 2015

- M. Aziez, S. Benharzallah and H. Bennoui. “Service Discovery Approaches for the Internet of Things: Comparison Study of the Approaches”. In Proc. of 4th International Conference on Control, Decision and Information Technologies (CoDIT’17), Barcelona, 2017

- M. Aziez, S. Benharzallah and H. Bennoui. “A Comparative Analysis of Service Discovery Approaches for the Internet of Things”. In Proc. of 8th ICMTSET & 2nd ICMBEE 2017, pp:52-57, Dubai, 2017

- S. Mancer and H. Bennoui.”Coloured Petri Nets based diagnosis on causal Models”. In Proc. of Petri Nets and Software Engineering (PNSE’2017), pp:127-140, Zaragoza, 2017

- M. Aziez, S. Benharzallah and H. Bennoui, "An ontology based context model for the discovery of IoT services in the Internet of Things," 2017 International Conference on Mathematics and Information Technology (ICMIT), 2017

- Yasser M. Berghout and H. Bennoui. “A Probabilistic framework for model-based diagnosis with Petri nets”. In Proc. of the 1st Algerian multi-conference on computer, electrical and electronics engineering, Algiers., 2017

- H. Bennoui, A. Chaoui, K. Barkaoui, "On structural analysis of interacting behavioral Petri nets for distributed causal model-based diagnosis.” International Journal of Foundations of Computer Science (IJFCS), vol.23, no.7, pp.1513-1541, 2012

- H. Bennoui, A. Chaoui, K. Barkaoui, "Exploiting P-Invariant Analysis for Distributed Systems Diagnosis based on Interacting Behavioral Petri Nets.” eWiC series, (British Computer Society), pp. 184-195., 2009

- H. Bennoui, A. Chaoui. "Backward Reachability Analysis based on BPNs to Model-based Diagnosis with Relationships among Symptoms.” International Review on Computers and Software, vol.4, no.2, pp.350-356., 2007

- H. Bennoui, K. Barkaoui, "Modular Structural Analysis of Petri Nets for Distributed Causal Model-based Diagnosis. In Proc. of the 5th ICMAO., 2013

- H. Bennoui, A. Chaoui, K. Barkaoui, "Distributed Causal Model-based Diagnosis based on Interacting Behavioral Petri Nets.” 8th International Symposium on Parallel and Distributed Computing, Lisbon, pp.99-106, 2009

- Backward Reachability Analysis based on BPNs to Model-based Diagnosis with Relationships among Symptoms.” Proc. of ICCTA'06, pp.101-106, Alexandria, Egypt, 5-7, 2006

- H. Bennoui, A. Chaoui. "A Backward Reachability Analysis for Diagnosing Faults based on BPNs.” Proc. of IA 2006, Ouajda, Morocco. , 2006

- Une approche pour le diagnostic des pannes dans les réseaux. » Proc. of the Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'99), Hermès Edition, Nancy, France, pp.433-445., 1999

- H. Bennoui. "T-invariant Analysis to Diagnose Multiple Failures in Networks.” Proc. of the First Mediterranean International Conference on Computer Technologies, pp : 185-196., 1999