Allaoua CHAOUI

Cited by

	All	Since 2018
Citations	1108	471
h-index	16	11
i10-index	31	13

120

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220235 6 5 11 9 8 11 7 13 31 33 36 68 69 74 70 77 79 106 85 92 83 97 8

Public access

View all

3 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Elhillali KerkoucheAssociate Professor , department of Computer science, Mohamed Seddik Ben Yahia University, JijelVerified email at univ-jijel.dz
Raida ELMANSOURIUniversité Constantine 2 - Abdelhamid MehriVerified email at univ-constantine2.dz
LAID KAHLOULProfesseur en informatiqueVerified email at univ-biskra.dz
Kamel BarkaouiProfessor of Computer Science, Conservatoire National des Arts et MetiersVerified email at cnam.fr
Aissam BelghiatAssistant Professor of Computer Science, University of Mohamed Seddik Benyahia-Jijel, AlgeriaVerified email at univ-jijel.dz
Karim DjouaniFull Professor, University Paris Est Creteil (UPEC)Verified email at u-pec.fr
Said MeghziliPhD Student, Université Abdelhamid Mehri - Constantine 2Verified email at univ-constantine2.dz
Sofiane ChemaaEnseignant d'informatique, Université des frères MentouriVerified email at misc-umc.org
AbdelKamel HettabEnseignant d'informatique, centre universitaire de MilaVerified email at centre-univ-mila.dz
Imane BOUSSEBOUGHuniversity of Constantine 2Verified email at univ-constantine2.dz
Ouassila Labbani NarsisAssociate Professor - University of Burgundy - CIAD LaboratoryVerified email at u-bourgogne.fr
Wafa ChamaUniversité Kasdi Merbah OuarglaVerified email at univ-ouargla.dz
MOUNA BOUARIOUAMCBVerified email at umc.edu.dz
Mohamed BettazProfessor of Software Engineering, Philadelphia University, AmmanVerified email at philadelphia.edu.jo
Hammadi BennouiUniversité de biskra ; PhDVerified email at univ-biskra.dz
Fayçal BachtarziÉcole nationale supérieure de Biotechnologie (ENSB) ConstantineVerified email at misc-umc.org
aouatef chaibUniversité Frères Mentouri Constantine 1Verified email at umc.edu.dz
oussama kamelFaculty of Medicine, University Constantine 3 Salah BoubniderVerified email at univ-constantine3.dz
El-Bay BourennaneProfessor at the university of BurgundyVerified email at u-bourgogne.fr
Abdelhak-Djamel seriaiAssociate Professor, HDR, University of Montpellier, FranceVerified email at lirmm.fr

Allaoua CHAOUI

University Constantine 2-Abdelhamid Mehri

Verified email at univ-constantine2.dz - Homepage

Software engineering Formal Methods Model Driven Engineering


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Supervisory control of discrete event systems based on structure theory of Petri nets K Barkaoui, A Chaoui, B Zouari 1997 IEEE International Conference on Systems, Man, and Cybernetics …, 1997	155	1997
A UML and colored Petri nets integrated modeling and analysis approach using graph transformation O Labbani Journal of Object Technology 9 (4), 2010	61	2010
Quality-centric approach for software component identification from object-oriented code S Kebir, AD Seriai, S Chardigny, A Chaoui 2012 Joint working IEEE/IFIP conference on software architecture and …, 2012	49	2012
A Formal Framework and a Tool for the specification and analysis of G-Nets models based on graph transformation E Kerkouche, A Chaoui Distributed Computing and Networking: 10th International Conference, ICDCN …, 2009	23	2009
On the verification of UML state machine diagrams to colored petri nets transformation using Isabelle/HOL S Meghzili, A Chaoui, M Strecker, E Kerkouche 2017 IEEE International Conference on Information Reuse and Integration (IRI …, 2017	21	2017
Image compression using block truncation coding MM Almrabet, AR Zerek, A Chaoui, AA Akash International Journal of Sciences and Techniques of Automatic control …, 2009	21	2009
Usearch: A meta search engine based on a new result merging strategy T Alloui, I Boussebough, A Chaoui, AZ Nouar, MC Chettah 2015 7th International Joint Conference on Knowledge Discovery, Knowledge …, 2015	20	2015
Comparing and combining genetic and clustering algorithms for software component identification from object-oriented code S Kebir, AD Seriai, A Chaoui, S Chardigny Proceedings of the Fifth International C* Conference on Computer Science and …, 2012	20	2012
Optimizing QoS-based web services composition by using quantum inspired cuckoo search algorithm SR Boussalia, A Chaoui Mobile Web Information Systems: 11th International Conference, MobiWIS 2014 …, 2014	19	2014
Formal study of reconfigurable manufacturing systems: A high level Petri nets based approach L Kahloul, K Djouani, A Chaoui Industrial Applications of Holonic and Multi-Agent Systems: 6th …, 2013	19	2013
Model checking and code generation for UML diagrams using graph transformation W Chama, R Elmansouri, A Chaoui International Journal of Software Engineering & Applications (IJSEA), 2012	19	2012
A framework for modeling and analysis UML activity diagram using graph transformation Y Rahmoune, A Chaoui, E Kerkouche Procedia Computer Science 56, 612-617, 2015	18	2015
A high-level Petri net based approach for modeling and composition of web services S Chemaa, F Bachtarzi, A Chaoui Procedia Computer Science 9, 469-478, 2012	17	2012
Transforming UML models to colored Petri nets models using graph grammars E Kerkouche, A Chaoui, K Khalfaoui 2009 IEEE Symposium on Computers and Communications, 230-236, 2009	17	2009
On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models. E Kerkouche, A Chaoui, EB Bourennane, O Labbani J. Softw. 5 (11), 1279-1291, 2010	16	2010
Modeling and analysis of reconfigurable systems using flexible petri nets L Kahloul, A Chaoui, K Djouani 2010 4th IEEE International Symposium on Theoretical Aspects of Software …, 2010	16	2010
Verification of Model Transformations Using Isabelle/HOL and Scala S Meghzili, A Chaoui, M Strecker, E Kerkouche Information Systems Frontiers 21 (1), 45-65, 2019	15	2019
From UML Activity Diagrams to CSP Expressions: A Graph Transformation Approach using Atom^ sup 3^ Tool R Elmansouri, H Hamrouche, A Chaoui International Journal of Computer Science Issues (IJCSI) 8 (2), 368, 2011	14	2011
Adaptive service composition in an ambient environment with a multi-agent system A Chaib, I Boussebough, A Chaoui Journal of Ambient Intelligence and Humanized Computing 9, 367-380, 2018	13	2018
A graph transformation approach for automatic test cases generation from UML activity diagrams A Hettab, E Kerkouche, A Chaoui Proceedings of the Eighth International C* Conference on Computer Science …, 2015	13	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors