Allaoua CHAOUI

Cited by

	All	Since 2019
Citations	1280	533
h-index	16	11
i10-index	42	19

120

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320245 6 5 10 8 9 9 11 13 31 31 45 68 73 72 73 80 75 109 89 96 75 119 89 65

Public access

View all

5 articles

1 article

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
Kamel BarkaouiProfessor, 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
Gregorio Díaz-Descalzo (ORCID:0000...Associate Professor of Computer Science, Universidad de Castilla-La ManchaVerified email at uclm.es
Imane BOUSSEBOUGHuniversity of Constantine 2Verified email at univ-constantine2.dz
AbdelKamel HettabComputer Science professor, University Center of Mila. Algeria.Verified email at centre-univ-mila.dz
Mohamed BettazProfessor of Software Engineering, Philadelphia University, AmmanVerified email at philadelphia.edu.jo
Wafa ChamaUniversité Kasdi Merbah OuarglaVerified email at univ-ouargla.dz
Belhassen ZouariProfesseur en informatique, Université Catholique de LilleVerified email at univ-catholille.fr
oussama kamelFaculty of Medicine, University Constantine 3 Salah BoubniderVerified email at univ-constantine3.dz
Ouassila Labbani NarsisAssociate Professor - University of Burgundy - CIAD LaboratoryVerified email at u-bourgogne.fr
MOUNA BOUARIOUAMCBVerified email at umc.edu.dz
Hammadi BennouiUniversité de biskra ; PhDVerified email at univ-biskra.dz
Tarek AllouiHigher National School of Biotechnology “Toufik Khaznadar” (ENSB), Constantine, AlgeriaVerified email at ensbiotech.edu.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
Mohammed Mounir BouhamedAssistant professor at University of El OuedVerified email at univ-eloued.dz

Allaoua CHAOUI

University Constantine 2-Abdelhamid Mehri

Verified email at univ-constantine2.dz - Homepage

Software engineering Formal Methods Model Driven Engineering Quantum Computing


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	159	1997
UML and colored petri nets integrated modeling and analysis approach using graph transformation O Labbani Journal of Object Technology 9 (4), 2010	66	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
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	35	2015
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	24	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	24	2009
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
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	22	2019
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	22	2015
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	21	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	21	2013
Model checking and code generation for UML diagrams using graph transformation W Chama, R Elmansouri, A Chaoui International Journal of Software Engineering & Applications 3 (6), 39, 2012	21	2012
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	21	2012
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	20	2010
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	19	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
An approach for the transformation and verification of BPMN models to colored petri nets models S Meghzili, A Chaoui, M Strecker, E Kerkouche International Journal of Software Innovation (IJSI) 8 (1), 17-49, 2020	16	2020
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	16	2015
From UML activity diagrams to CSP expressions: A graph transformation approach using Atom3 tool R Elmansouri, H Hamrouche, A Chaoui IJCSI International Journal of Computer Science Issues 8 (2), 1694-814, 2011	15	2011
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	15	2010

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