Allaoua CHAOUI
Allaoua CHAOUI
University Constantine 2-Abdelhamid Mehri
Email confirmado em - Página inicial
Citado por
Citado por
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
UML and colored petri nets integrated modeling and analysis approach using graph transformation
O Labbani
Journal of Object Technology 9 (4), 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
A Formal Framework and a Tool for the specification and analysis of G-Nets models based on graph transformation
E Kerkouche, A Chaoui
International Conference on Distributed Computing and Networking, 206-211, 2009
Image compression using block truncation coding
MM Almrabet, AR Zerek, A Chaoui, AA Akash
International Journal of Sciences and Techniques of Automatic control …, 2009
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
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, 106-117, 2013
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
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
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
Optimizing QoS-based web services composition by using quantum inspired cuckoo search algorithm
SR Boussalia, A Chaoui
International conference on mobile web and information systems, 41-55, 2014
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
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
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
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
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
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 (2), 367-380, 2018
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
Coloured reconfigurable nets for code mobility modeling
K Laid, C Allaoua
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
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20