Allaoua Chaoui

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 56

Top Topics

Service Composition

Graph Transformation

Top Venues

Int. J. Comput. Aided Eng. Technol.

Quantum Inf. Process.

Publications

Sohaib Soualah, Mohamed Khalgui, Allaoua Chaoui
Effective Parallel Formal Verification of Reconfigurable Discrete-Event Systems Formalizing with Isabelle/HOL. AINA (2) (2024)
Khaled Khalfaoui, Elhillali Kerkouche, Tahar Boudjedaa, Allaoua Chaoui
Entanglement swapping via quantum zeno dynamics in noisy environment. Quantum Inf. Process. 23 (2) (2024)
Radja Hamli, Allaoua Chaoui, Raida Elmansouri, Ali Khebizi
Comprehensive Framework-Based Reconfigurable Object Nets for Managing Dynamic Protocols Evolution. Int. J. Organ. Collect. Intell. 13 (1) (2023)
Khaled Khalfaoui, Elhillali Kerkouche, Tahar Boudjedaa, Allaoua Chaoui
Optimized exploration of quantum circuits space based on sub-circuits equivalences. Quantum Inf. Process. 22 (1) (2023)
Abdelkamel Hettab, Allaoua Chaoui, Mohamed Boubakir, Elhillali Kerkouche
Automatic scenario-oriented test case generation from UML activity diagrams: a graph transformation and simulation approach. Int. J. Comput. Aided Eng. Technol. 16 (3) (2022)
Said Meghzili, Allaoua Chaoui, Raida Elmansouri, Bardis Nadjla Alloui, Amina Bouabsa
Formal Verification and Implementation of an E-Voting System. Int. J. Softw. Innov. 10 (1) (2022)
Yasmina Rahmoune, Allaoua Chaoui
Automatic Bridge between BPMN Models and UML Activity Diagrams based on Graph Transformation. Comput. Sci. 23 (3) (2022)
Abdelouahab Fortas, Elhillali Kerkouche, Allaoua Chaoui
Formal verification of IoT applications using rewriting logic: An MDE-based approach. Sci. Comput. Program. 222 (2022)
Khaled Khalfaoui, Elhillali Kerkouche, Tahar Boudjedaa, Allaoua Chaoui
Optimized search for complex protocols based on entanglement detection. Quantum Inf. Process. 21 (6) (2022)
Houda Hamrouche, Allaoua Chaoui, Smaine Mazouzi
A Graph Transformation Approach for Modeling and Verification of UML 2.0 Sequence Diagrams. Comput. Informatics 41 (5) (2022)
Mohammed Mounir Bouhamed, Allaoua Chaoui, Radouane Nouara, Gregorio Díaz, Abderraouf Dembri
Reducing the number of migrated instances during business process change: A graph rewriting approach. J. King Saud Univ. Comput. Inf. Sci. 34 (9) (2022)
Oussama Kamel, Allaoua Chaoui, Gregorio Díaz, Mohamed Gharzouli
SLA-Driven modeling and verifying cloud systems: A Bigraphical reactive systems-based approach. Comput. Stand. Interfaces 74 (2021)
Raida Elmansouri, Said Meghzili, Allaoua Chaoui
A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems. Comput. Sci. 22 (2) (2021)
Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche
An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models. Int. J. Softw. Innov. 8 (1) (2020)
Aissam Belghiat, Dalal Oukhaf, Allaoua Chaoui
Transforming UML Diagrams to YAWL Models for Business Processes Analysis. MISC (2020)
Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laïd Kahloul
Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop. ICSOFT (Selected Papers) (2020)
Elhillali Kerkouche, Khaled Khalfaoui, Allaoua Chaoui
A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach. Int. J. Comput. Aided Eng. Technol. 12 (2) (2020)
Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laïd Kahloul
Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL. ICSOFT (2020)
Fayçal Guerrouf, Allaoua Chaoui
A graph transformation based approach for multi-agent systems reorganization. Multiagent Grid Syst. 15 (4) (2019)
Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche
Verification of Model Transformations Using Isabelle/HOL and Scala. Inf. Syst. Frontiers 21 (1) (2019)
Nabil Messaoudi, Allaoua Chaoui, Mohamed Bettaz
A technique to validate automatic generation of Büchi automata from UML 2 sequence diagrams based on multi layer transformations. Int. J. Comput. Vis. Robotics 9 (2) (2019)
Chafika Djaoui, Elhillali Kerkouche, Allaoua Chaoui, Khaled Khalfaoui
A Graph Transformation Approach to Generate Analysable Maude Specifications from UML Interaction Overview Diagrams. IRI (2018)
Aissam Belghiat, Allaoua Chaoui
A multi-paradigm approach to model and verify mobile agent software systems. Multiagent Grid Syst. 14 (4) (2018)
Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui
Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach. Int. J. Embed. Syst. 10 (6) (2018)
Aouatef Chaib, Imane Boussebough, Allaoua Chaoui
Adaptive service composition in an ambient environment with a multi-agent system. J. Ambient Intell. Humaniz. Comput. 9 (2) (2018)
Amel Meliouh, Allaoua Chaoui
Embedded System Verification Using Formal Model an Approach Based on the Combined Use of UML and Maude Language. Int. J. Concept. Struct. Smart Appl. 6 (2) (2018)
Elhillali Kerkouche, El-Bay Bourennane, Allaoua Chaoui
A Graphical Modelling Editor for STARSoC Design Flow Tool Based on Model Driven Engineering Approach. e Informatica Softw. Eng. J. 12 (1) (2018)
Aissam Belghiat, Allaoua Chaoui
A Graph Transformation of Activity Diagrams into π-calculus for Verification Purpose. ICAASE (2018)
Oussama Kamel, Allaoua Chaoui, Mohamed Gharzouli
Cloud Service Composition Modeling Using Bigraphical Reactive Systems. IDEAS (2017)
Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche
On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL. IRI (2017)
Nabil Messaoudi, Allaoua Chaoui, Mohamed Bettaz
An Approach to UML Consistency Checking Based on Compositional Semantics. Int. J. Embed. Real Time Commun. Syst. 8 (2) (2017)
Rabah Mokhtari, Allaoua Chaoui
Compiling, verifying and simulating dynamic software architectures using ANTLR and coloured-ADL. Int. J. Commun. Networks Distributed Syst. 19 (4) (2017)
Oussama Kamel, Allaoua Chaoui, Mohamed Gharzouli
Towards a Formal Modeling of Cloud Services during the Life-cycle of Service Level Agreement. BDIOT (2017)
Aissam Belghiat, Allaoua Chaoui
Mapping Mobile Statechart Diagrams to the π-Calculus using Graph Transformation: An Approach for Modeling, Simulation and Verification of Mobile Agent-based Software Systems. Int. J. Intell. Inf. Technol. 12 (4) (2016)
Aissam Belghiat, Elhillali Kerkouche, Allaoua Chaoui, Mokhtar Beldjehem
Mobile Agent-Based Software Systems Modeling Approaches: A Comparative Study. J. Comput. Inf. Technol. 24 (2) (2016)
Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche
Transformation and validation of BPMN models to Petri nets models using GROOVE. ICAASE (2016)
Serial Rayene Boussalia, Allaoua Chaoui, Aurélie Hurault, Meriem Ouederni, Philippe Quéinnec
Multi-objective quantum inspired Cuckoo search algorithm and multi-objective bat inspired algorithm for the web service composition problem. Int. J. Intell. Syst. Technol. Appl. 15 (2) (2016)
Redouane Nouara, Allaoua Chaoui
A Checking Service Composition Approach based on Model Transformation. Int. J. Embed. Real Time Commun. Syst. 7 (1) (2016)
Nabil Messaoudi, Allaoua Chaoui, Mourad Derardja, Mohamed Bettaz
On TGG Ability for Transforming UML 2 Sequence Diagrams with Imbricate Combined Fragments to π-Calculus Specifications. ANT/SEIT (2016)
Tarek Alloui, Imane Boussebough, Allaoua Chaoui
A Particle Swarm Optimization Algorithm for Web Information Retrieval: A Novel Approach. Int. J. Intell. Inf. Technol. 11 (3) (2015)
Abdelkamel Hettab, Elhillali Kerkouche, Allaoua Chaoui
A Graph Transformation Approach for Automatic Test Cases Generation from UML Activity Diagrams. C3S2E (2015)
Seidali Rehab, Allaoua Chaoui
TGG-based process for automating the transformation of UML models towards B specifications. Int. J. Comput. Aided Eng. Technol. 7 (3) (2015)
Tarek Alloui, Imane Boussebough, Allaoua Chaoui, Ahmed Zakaria Nouar, Mohamed Chaouki Chettah
Usearch: A Meta Search Engine based on a New Result Merging Strategy. KDIR (2015)
Yasmina Rahmoune, Allaoua Chaoui, Elhillali Kerkouche
A Framework for Modeling and Analysis UML Activity Diagram using Graph Transformation. FNC/MobiSPC (2015)
Aissam Belghiat, Allaoua Chaoui
A Pi-calculus-based Approach for the Verification of UML2 Sequence Diagrams. ICSOFT-PT (2015)
Aissam Belghiat, Allaoua Chaoui
A TGG Approach for Bidirectional Automatic Mapping between UML and pi-calculus. IPAC (2015)
Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui
A New Approach for Generating LOTOS Specifications from UML Dynamic Models. C3S2E (2015)
Laïd Kahloul, Allaoua Chaoui, Karim Djouani
Modelling and Analysis of Mobile Computing Systems: An Extended Petri Nets Formalism. Int. J. Comput. Commun. Control 10 (2) (2015)
Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui
From UML Statecharts to LOTOS Expressions Using Graph Transformation. ICIST (2015)
Aissam Belghiat, Allaoua Chaoui, Mokhtar Beldjehem
Capturing and Verifying Dynamic Program Behaviour Using UML Communication Diagrams and Pi-Calculus. IRI (2015)
Serial Rayene Boussalia, Allaoua Chaoui, Aurélie Hurault
QoS-Based Web Services Composition Optimization with an Extended Bat Inspired Algorithm. ICIST (2015)
Sofiane Chemaa, Mouna Bouarioua, Allaoua Chaoui
A high-level Petri net based model for web services composition and verification. Int. J. Comput. Appl. Technol. 51 (4) (2015)
Wafa Chama, Allaoua Chaoui, Seidali Rehab
Formal Modeling and Analysis of Object Oriented Systems using Triple Graph Grammars. Int. J. Embed. Real Time Commun. Syst. 6 (2) (2015)
Aouatef Chaib, Iman Boussebough, Allaoua Chaoui
Multi-agent system in ambient environment for assistance of elderly sick peoples. IPAC (2015)
Nabil Messaoudi, Allaoua Chaoui, Mohamed Bettaz
An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations. FNC/MobiSPC (2015)
Riad Boussetoua, Hammadi Bennoui, Allaoua Chaoui, Khaled Khalfaoui, Elhillali Kerkouche
An automatic approach to transform BPMN models to Pi-Calculus. AICCSA (2015)
Fayçal Bachtarzi, Allaoua Chaoui
A modelling language and a tool for web services composition. Int. J. Commun. Networks Distributed Syst. 13 (2) (2014)
Serial Rayene Boussalia, Allaoua Chaoui
Optimizing QoS-Based Web Services Composition by Using Quantum Inspired Cuckoo Search Algorithm. MobiWIS (2014)
Aissam Belghiat, Allaoua Chaoui, Mourad Maouche, Mokhtar Beldjehem
Formalization of Mobile UML Statechart Diagrams Using the π-calculus: An Approach for Modeling and Analysis. ICIST (2014)
Mouna Aouag, Raida Elmansouri, Allaoua Chaoui
From UML 2.0 diagrams to aspect oriented diagrams using graph transformation. Int. J. Comput. Aided Eng. Technol. 6 (2) (2014)
Laïd Kahloul, Allaoua Chaoui, Karim Djouani, Samir Bourekkache, Okba Kazar
Using High Level Nets for the Design of Reconfigurable Manufacturing Systems. ADECS @ Petri Nets (2014)
Aouatef Chaib, Iman Boussebough, Allaoua Chaoui
Adaptive composition of services in context-aware ambient intelligent systems. C3S2E (2014)
Laïd Kahloul, Samir Bourekkache, Karim Djouani, Allaoua Chaoui, Okba Kazar
Using High Level Petri Nets in the Modelling, Simulation and Verification of Reconfigurable Manufacturing Systems. Int. J. Softw. Eng. Knowl. Eng. 24 (3) (2014)
Laïd Kahloul, Karim Djouani, Allaoua Chaoui
Formal Study of Reconfigurable Manufacturing Systems: A High Level Petri Nets Based Approach. HoloMAS (2013)
Fayçal Guerrouf, Allaoua Chaoui, Ali Aldahoud
A graph transformation approach of mobile activity diagram to nested Petri nets. Int. J. Comput. Aided Eng. Technol. 5 (1) (2013)
Tarek Alloui, Imane Boussebough, Allaoua Chaoui
An intelligent system for personalized information retrieval: a genetic approach. C3S2E (2013)
Sofiane Chemaa, Raida Elmansouri, Allaoua Chaoui
Web Services Modeling and Composition Approach using Object-Oriented Petri Nets CoRR (2013)
Mouna Aouag, Wafa Chama, Allaoua Chaoui
From UML Communication Diagrams to Aspect-Oriented Communication Diagrams Using Graph Transformation. ICIST (2012)
Khaled Khalfaoui, Allaoua Chaoui, Cherif Foudil, Elhillali Kerkouche
Formal Specification of Software Product Lines: A Graph Transformation Based Approach. J. Softw. 7 (11) (2012)
Sofiane Chemaa, Fayçal Bachtarzi, Allaoua Chaoui
A High-level Petri Net Based Approach for Modeling and Composition of Web Services. ICCS (2012)
Seidali Rehab, Elhillali Kerkouche, Allaoua Chaoui
An automatic generation approach of B Specifications From UML Diagrams. ICDIM (2012)
Selim Kebir, Abdelhak-Djamel Seriai, Sylvain Chardigny, Allaoua Chaoui
Quality-Centric Approach for Software Component Identification from Object-Oriented Code. WICSA/ECSA (2012)
Fayçal Bachtarzi, Allaoua Chaoui, Elhillali Kerkouche
WS-mcv: An Efficient Model Driven Methodology for Web Services Composition. J. Softw. 7 (12) (2012)
Selim Kebir, Abdelhak-Djamel Seriai, Allaoua Chaoui, Sylvain Chardigny
Comparing and combining genetic and clustering algorithms for software component identification from object-oriented code. C3S2E (2012)
Hammadi Bennoui, Allaoua Chaoui, Kamel Barkaoui
On Structural Analysis of Interacting Behavioral Petri Nets for Distributed Causal Model-Based Diagnosis. Int. J. Found. Comput. Sci. 23 (7) (2012)
Nardjes Dehimi, Raida Elmansouri, Allaoua Chaoui
A Formal Framework and a Tool to Process and Simulate Labelled Reconfigurable Nets Models Based on Graph Transformation. NDT (2) (2012)
Mouna Bouarioua, Allaoua Chaoui, Raida Elmansouri
From UML Sequence Diagrams to Labeled Generalized Stochastic Petri Net Models Using Graph Transformation. ICeND (2011)
Laïd Kahloul, Karim Djouani, Walid Tfaili, Allaoua Chaoui, Yacine Amirat
Modeling and Verification of RBAC Security Policies Using Colored Petri Nets and CPN-Tool. NDT (2) (2010)
Elhillali Kerkouche, Allaoua Chaoui, El-Bay Bourennane, Ouassila Labbani
A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation. J. Object Technol. 9 (4) (2010)
Laïd Kahloul, Allaoua Chaoui, Karim Djouani
Modeling and Analysis of Reconfigurable Systems Using Flexible Nets. NDT (1) (2010)
Rabah Mokhtari, Allaoua Chaoui, Mohamed Redha Bahri
Mapping UML Components diagrams to XML using Graph Transformation. CAINE (2010)
Elhillali Kerkouche, Allaoua Chaoui, El-Bay Bourennane, Ouassila Labbani
On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models. J. Softw. 5 (11) (2010)
Amel Boubendir, Allaoua Chaoui
Towards a Model for Dealing with Aspect Interactions at Requirement Phase. SEDE (2010)
Amel Boubendir, Allaoua Chaoui
Towards a generic technique for analysing interactions between aspects at requirement phase. ICDIM (2010)
Laïd Kahloul, Allaoua Chaoui, Karim Djouani
Modeling and Analysis of Reconfigurable Systems Using Flexible Petri Nets. TASE (2010)
Allaoua Chaoui, Ismail Hadjadj
PNTools: a Multi-Language Environment to Integrate Petri Nets Tools. CIIA (2009)
Elhillali Kerkouche, Allaoua Chaoui, El-Bay Bourennane, Ouassila Labbani
Modeling and Verification of Dynamic Behavior in UML Models: A Graph Transformation Approach. SEDE (2009)
Elkamel Merah, Allaoua Chaoui
Un Caml Light Distribué. CIIA (2009)
Elhillali Kerkouche, Allaoua Chaoui
A Formal Framework and a Tool for the Specification and Analysis of G-Nets Models Based on Graph Transformation. ICDCN (2009)
Hammadi Bennoui, Allaoua Chaoui, Kamel Barkaoui
Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets. ISPDC (2009)
Elhillali Kerkouche, Allaoua Chaoui, Khaled Khalfaoui
Transforming UML models to colored petri nets models using graph grammars. ISCC (2009)
Amel Meliouh, Elhillali Kerkouche, Allaoua Chaoui
A Tool for Design and Verification of Distributed Manufacturing Process Based on Meta-Modelling and Graph Grammars: Application to a Production Line. CAINE (2008)
Laïd Kahloul, Allaoua Chaoui
Code mobility modeling: a temporal labeled reconfigurable nets. MOBILWARE (2008)