A Tool for Design and Verification of Distributed Manufacturing Process Based on Meta-Modelling and Graph Grammars: Application to a Production Line. - Amel Meliouh; Elhillali Kerkouche; Allaoua Chaoui (CAINE, 2008)

Code mobility modeling: a temporal labeled reconfigurable nets. - Laid Kahloul; Allaoua Chaoui (MOBILWARE, 2008)

PNTools: a Multi-Language Environment to Integrate Petri Nets Tools. - Allaoua Chaoui; Ismail Hadjadj (CIIA, 2009)

Un Caml Light Distribué. - Elkamel Merah; Allaoua Chaoui (CIIA, 2009)

A Formal Framework and a Tool for the Specification and Analysis of G-Nets Models Based on Graph Transformation. - Elhillali Kerkouche; Allaoua Chaoui (ICDCN, 2009)

Transforming UML models to colored petri nets models using graph grammars. - Elhillali Kerkouche; Allaoua Chaoui; Khaled Khalfaoui (ISCC, 2009)

Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets. - Hammadi Bennoui; Allaoua Chaoui; Kamel Barkaoui (ISPDC, 2009)

Modeling and Verification of Dynamic Behavior in UML Models: A Graph Transformation Approach. - Elhillali Kerkouche; Allaoua Chaoui; El-Bay Bourennane; Ouassila Labbani (SEDE, 2009)

Mapping UML Components diagrams to XML using Graph Transformation. - Rabah Mokhtari; Allaoua Chaoui; Mohamed Redha Bahri (CAINE, 2010)

Towards a generic technique for analysing interactions between aspects at requirement phase. - Amel Boubendir; Allaoua Chaoui (ICDIM, 2010)

Modeling and Analysis of Reconfigurable Systems Using Flexible Nets. - Laid Kahloul; Allaoua Chaoui; Karim Djouani (NDT (1), 2010)

Modeling and Verification of RBAC Security Policies Using Colored Petri Nets and CPN-Tool. - Laid Kahloul; Karim Djouani; Walid Tfaili; Allaoua Chaoui; Yacine Amirat (NDT (2), 2010)

Towards a Model for Dealing with Aspect Interactions at Requirement Phase. - Amel Boubendir; Allaoua Chaoui (SEDE, 2010)

Modeling and Analysis of Reconfigurable Systems Using Flexible Petri Nets. - Laid Kahloul; Allaoua Chaoui; Karim Djouani (TASE, 2010)

A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation. - Elhillali Kerkouche; Allaoua Chaoui; El-Bay Bourennane; Ouassila Labbani (J. Object Technol., 2010)

On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models. - Elhillali Kerkouche; Allaoua Chaoui; El-Bay Bourennane; Ouassila Labbani (J. Softw., 2010)

From UML Sequence Diagrams to Labeled Generalized Stochastic Petri Net Models Using Graph Transformation. - Mouna Bouarioua; Allaoua Chaoui; Raida Elmansouri (ICeND, 2011)

Comparing and combining genetic and clustering algorithms for software component identification from object-oriented code. - Selim Kebir; Abdelhak-Djamel Seriai; Allaoua Chaoui; Sylvain Chardigny (C3S2E, 2012)

An automatic generation approach of B Specifications From UML Diagrams. - Seidali Rehab; Elhillali Kerkouche; Allaoua Chaoui (ICDIM, 2012)

From UML Communication Diagrams to Aspect-Oriented Communication Diagrams Using Graph Transformation. - Mouna Aouag; Wafa Chama; Allaoua Chaoui (ICIST, 2012)

A Formal Framework and a Tool to Process and Simulate Labelled Reconfigurable Nets Models Based on Graph Transformation. - Nardjes Dehimi; Raida Elmansouri; Allaoua Chaoui (NDT (2), 2012)

Quality-Centric Approach for Software Component Identification from Object-Oriented Code. - Selim Kebir; Abdelhak-Djamel Seriai; Sylvain Chardigny; Allaoua Chaoui (WICSA/ECSA, 2012)

On Structural Analysis of Interacting Behavioral Petri Nets for Distributed Causal Model-Based Diagnosis. - Hammadi Bennoui; Allaoua Chaoui; Kamel Barkaoui (Int. J. Found. Comput. Sci., 2012)

WS-mcv: An Efficient Model Driven Methodology for Web Services Composition. - Fayçal Bachtarzi; Allaoua Chaoui; Elhillali Kerkouche (J. Softw., 2012)

Formal Specification of Software Product Lines: A Graph Transformation Based Approach. - Khaled Khalfaoui; Allaoua Chaoui; Cherif Foudil; Elhillali Kerkouche (J. Softw., 2012)

A High-level Petri Net Based Approach for Modeling and Composition of Web Services. - Sofiane Chemaa; Fayçal Bachtarzi; Allaoua Chaoui (ICCS, 2012)

An intelligent system for personalized information retrieval: a genetic approach. - Tarek Alloui; Imane Boussebough; Allaoua Chaoui (C3S2E, 2013)

Formal Study of Reconfigurable Manufacturing Systems: A High Level Petri Nets Based Approach. - Laid Kahloul; Karim Djouani; Allaoua Chaoui (HoloMAS, 2013)

Web Services Modeling and Composition Approach using Object-Oriented Petri Nets - Sofiane Chemaa; Raida Elmansouri; Allaoua Chaoui (CoRR, 2013)

A graph transformation approach of mobile activity diagram to nested Petri nets. - Fayçal Guerrouf; Allaoua Chaoui; Ali Aldahoud (Int. J. Comput. Aided Eng. Technol., 2013)

Automatic Generation of SPL Structurally Valid Products Using Graph Transformations Approach. - Khaled Khalfaoui; Allaoua Chaoui; Cherif Foudil; Elhillali Kerkouche (Modeling Approaches and Algorithms for Advanced Computer Applications, 2013)

Using High Level Nets for the Design of Reconfigurable Manufacturing Systems. - Laid Kahloul; Allaoua Chaoui; Karim Djouani; Samir Bourekkache; Okba Kazar (ADECS @ Petri Nets, 2014)

Adaptive composition of services in context-aware ambient intelligent systems. - Aouatef Chaib; Imane Boussebough; Allaoua Chaoui (C3S2E, 2014)

Formalization of Mobile UML Statechart Diagrams Using the π-calculus: An Approach for Modeling and Analysis. - Aissam Belghiat; Allaoua Chaoui; Mourad Maouche; Mokhtar Beldjehem (ICIST, 2014)

Optimizing QoS-Based Web Services Composition by Using Quantum Inspired Cuckoo Search Algorithm. - Serial Rayene Boussalia; Allaoua Chaoui (MobiWIS, 2014)

From UML 2.0 diagrams to aspect oriented diagrams using graph transformation. - Mouna Aouag; Raida Elmansouri; Allaoua Chaoui (Int. J. Comput. Aided Eng. Technol., 2014)

A modelling language and a tool for web services composition. - Fayçal Bachtarzi; Allaoua Chaoui (Int. J. Commun. Networks Distributed Syst., 2014)

Using High Level Petri Nets in the Modelling, Simulation and Verification of Reconfigurable Manufacturing Systems. - Laid Kahloul; Samir Bourekkache; Karim Djouani; Allaoua Chaoui; Okba Kazar (Int. J. Softw. Eng. Knowl. Eng., 2014)

An automatic approach to transform BPMN models to Pi-Calculus. - Riad Boussetoua; Hammadi Bennoui; Allaoua Chaoui; Khaled Khalfaoui; Elhillali Kerkouche (AICCSA, 2015)

A New Approach for Generating LOTOS Specifications from UML Dynamic Models. - Salim Djaaboub; Elhillali Kerkouche; Allaoua Chaoui (C3S2E, 2015)

A Graph Transformation Approach for Automatic Test Cases Generation from UML Activity Diagrams. - Abdelkamel Hettab; Elhillali Kerkouche; Allaoua Chaoui (C3S2E, 2015)

An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations. - Nabil Messaoudi; Allaoua Chaoui; Mohamed Bettaz (FNC/MobiSPC, 2015)

A Framework for Modeling and Analysis UML Activity Diagram using Graph Transformation. - Yasmina Rahmoune; Allaoua Chaoui; Elhillali Kerkouche (FNC/MobiSPC, 2015)

Usearch: A Meta Search Engine based on a New Result Merging Strategy. - Tarek Alloui; Imane Boussebough; Allaoua Chaoui; Ahmed Zakaria Nouar; Mohamed Chaouki Chettah (KDIR, 2015)

A TGG Approach for Bidirectional Automatic Mapping between UML and pi-calculus. - Aissam Belghiat; Allaoua Chaoui (IPAC, 2015)

Multi-agent system in ambient environment for assistance of elderly sick peoples. - Aouatef Chaib; Imane Boussebough; Allaoua Chaoui (IPAC, 2015)

QoS-Based Web Services Composition Optimization with an Extended Bat Inspired Algorithm. - Serial Rayene Boussalia; Allaoua Chaoui; Aurélie Hurault (ICIST, 2015)

From UML Statecharts to LOTOS Expressions Using Graph Transformation. - Salim Djaaboub; Elhillali Kerkouche; Allaoua Chaoui (ICIST, 2015)

A Pi-calculus-based Approach for the Verification of UML2 Sequence Diagrams. - Aissam Belghiat; Allaoua Chaoui (ICSOFT-PT, 2015)

Capturing and Verifying Dynamic Program Behaviour Using UML Communication Diagrams and Pi-Calculus. - Aissam Belghiat; Allaoua Chaoui; Mokhtar Beldjehem (IRI, 2015)

TGG-based process for automating the transformation of UML models towards B specifications. - Seidali Rehab; Allaoua Chaoui (Int. J. Comput. Aided Eng. Technol., 2015)

A high-level Petri net based model for web services composition and verification. - Sofiane Chemaa; Mouna Bouarioua; Allaoua Chaoui (Int. J. Comput. Appl. Technol., 2015)

Modelling and Analysis of Mobile Computing Systems: An Extended Petri Nets Formalism. - Laid Kahloul; Allaoua Chaoui; Karim Djouani (Int. J. Comput. Commun. Control, 2015)

Formal Modeling and Analysis of Object Oriented Systems using Triple Graph Grammars. - Wafa Chama; Allaoua Chaoui; Seidali Rehab (Int. J. Embed. Real Time Commun. Syst., 2015)

A Particle Swarm Optimization Algorithm for Web Information Retrieval: A Novel Approach. - Tarek Alloui; Imane Boussebough; Allaoua Chaoui (Int. J. Intell. Inf. Technol., 2015)

On TGG Ability for Transforming UML 2 Sequence Diagrams with Imbricate Combined Fragments to π-Calculus Specifications. - Nabil Messaoudi; Allaoua Chaoui; Mourad Derardja; Mohamed Bettaz (ANT/SEIT, 2016)

Transformation and validation of BPMN models to Petri nets models using GROOVE. - Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche (ICAASE, 2016)

Mobile Agent-Based Software Systems Modeling Approaches: A Comparative Study. - Aissam Belghiat; Elhillali Kerkouche; Allaoua Chaoui; Mokhtar Beldjehem (J. Comput. Inf. Technol., 2016)

A Checking Service Composition Approach based on Model Transformation. - Redouane Nouara; Allaoua Chaoui (Int. J. Embed. Real Time Commun. Syst., 2016)

Mapping Mobile Statechart Diagrams to the π-Calculus using Graph Transformation: An Approach for Modeling, Simulation and Verification of Mobile Agent-based Software Systems. - Aissam Belghiat; Allaoua Chaoui (Int. J. Intell. Inf. Technol., 2016)

Multi-objective quantum inspired Cuckoo search algorithm and multi-objective bat inspired algorithm for the web service composition problem. - Serial Rayene Boussalia; Allaoua Chaoui; Aurélie Hurault; Meriem Ouederni; Philippe Quéinnec (Int. J. Intell. Syst. Technol. Appl., 2016)

Capturing and Verifying Dynamic Systems Behavior Using UML and pi π -Calculus. - Aissam Belghiat; Allaoua Chaoui; Mokhtar Beldjehem (Theoretical Information Reuse and Integration, 2016)

Towards a Formal Modeling of Cloud Services during the Life-cycle of Service Level Agreement. - Oussama Kamel; Allaoua Chaoui; Mohamed Gharzouli (BDIOT, 2017)

Cloud Service Composition Modeling Using Bigraphical Reactive Systems. - Oussama Kamel; Allaoua Chaoui; Mohamed Gharzouli (IDEAS, 2017)

On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL. - Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche (IRI, 2017)

Compiling, verifying and simulating dynamic software architectures using ANTLR and coloured-ADL. - Rabah Mokhtari; Allaoua Chaoui (Int. J. Commun. Networks Distributed Syst., 2017)

An Approach to UML Consistency Checking Based on Compositional Semantics. - Nabil Messaoudi; Allaoua Chaoui; Mohamed Bettaz (Int. J. Embed. Real Time Commun. Syst., 2017)

A Graph Transformation of Activity Diagrams into π-calculus for Verification Purpose. - Aissam Belghiat; Allaoua Chaoui (ICAASE, 2018)

A Graph Transformation Approach to Generate Analysable Maude Specifications from UML Interaction Overview Diagrams. - Chafika Djaoui; Elhillali Kerkouche; Allaoua Chaoui; Khaled Khalfaoui (IRI, 2018)

A Graphical Modelling Editor for STARSoC Design Flow Tool Based on Model Driven Engineering Approach. - Elhillali Kerkouche; El-Bay Bourennane; Allaoua Chaoui (e Informatica Softw. Eng. J., 2018)

Embedded System Verification Using Formal Model an Approach Based on the Combined Use of UML and Maude Language. - Amel Meliouh; Allaoua Chaoui (Int. J. Concept. Struct. Smart Appl., 2018)

Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach. - Salim Djaaboub; Elhillali Kerkouche; Allaoua Chaoui (Int. J. Embed. Syst., 2018)

Adaptive service composition in an ambient environment with a multi-agent system. - Aouatef Chaib; Imane Boussebough; Allaoua Chaoui (J. Ambient Intell. Humaniz. Comput., 2018)

A multi-paradigm approach to model and verify mobile agent software systems. - Aissam Belghiat; Allaoua Chaoui (Multiagent Grid Syst., 2018)

A technique to validate automatic generation of Büchi automata from UML 2 sequence diagrams based on multi layer transformations. - Nabil Messaoudi; Allaoua Chaoui; Mohamed Bettaz (Int. J. Comput. Vis. Robotics, 2019)

Verification of Model Transformations Using Isabelle/HOL and Scala. - Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche (Inf. Syst. Frontiers, 2019)

A graph transformation based approach for multi-agent systems reorganization. - Fayçal Guerrouf; Allaoua Chaoui (Multiagent Grid Syst., 2019)

Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL. - Sohaib Soualah; Yousra Hafidi; Mohamed Khalgui; Allaoua Chaoui; Laid Kahloul (ICSOFT, 2020)

Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop. - Sohaib Soualah; Yousra Hafidi; Mohamed Khalgui; Allaoua Chaoui; Laid Kahloul (ICSOFT (Selected Papers), 2020)

Transforming UML Diagrams to YAWL Models for Business Processes Analysis. - Aissam Belghiat; Dalal Oukhaf; Allaoua Chaoui (MISC, 2020)

A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach. - Elhillali Kerkouche; Khaled Khalfaoui; Allaoua Chaoui (Int. J. Comput. Aided Eng. Technol., 2020)

An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models. - Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche (Int. J. Softw. Innov., 2020)

A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems. - Raida Elmansouri; Said Meghzili; Allaoua Chaoui (Comput. Sci., 2021)

SLA-Driven modeling and verifying cloud systems: A Bigraphical reactive systems-based approach. - Oussama Kamel; Allaoua Chaoui; Gregorio Díaz 001; Mohamed Gharzouli (Comput. Stand. Interfaces, 2021)

Automatic Bridge between BPMN Models and UML Activity Diagrams based on Graph Transformation. - Yasmina Rahmoune; Allaoua Chaoui (Comput. Sci., 2022)

A Graph Transformation Approach for Modeling and Verification of UML 2.0 Sequence Diagrams. - Houda Hamrouche; Allaoua Chaoui; Smaine Mazouzi (Comput. Informatics, 2022)

Automatic scenario-oriented test case generation from UML activity diagrams: a graph transformation and simulation approach. - Abdelkamel Hettab; Allaoua Chaoui; Mohamed Boubakir; Elhillali Kerkouche (Int. J. Comput. Aided Eng. Technol., 2022)

Towards a Full Model-Driven Approach for Modeling and Verifying Business Process Models Using CPN. - Karima Mahdi; Allaoua Chaoui; Manel Kolli; Raida Elmansouri (Int. J. Organ. Collect. Intell., 2022)

Formal Verification and Implementation of an E-Voting System. - Said Meghzili; Allaoua Chaoui; Raida Elmansouri; Bardis Nadjla Alloui; Amina Bouabsa (Int. J. Softw. Innov., 2022)

Reducing the number of migrated instances during business process change: A graph rewriting approach. - Mohammed Mounir Bouhamed; Allaoua Chaoui; Radouane Nouara; Gregorio Díaz 001; Abderraouf Dembri (J. King Saud Univ. Comput. Inf. Sci., 2022)

Optimized search for complex protocols based on entanglement detection. - Khaled Khalfaoui; Elhillali Kerkouche; Tahar Boudjedaa; Allaoua Chaoui (Quantum Inf. Process., 2022)

Formal verification of IoT applications using rewriting logic: An MDE-based approach. - Abdelouahab Fortas; Elhillali Kerkouche; Allaoua Chaoui (Sci. Comput. Program., 2022)

Comprehensive Framework-Based Reconfigurable Object Nets for Managing Dynamic Protocols Evolution. - Radja Hamli; Allaoua Chaoui; Raida Elmansouri; Ali Khebizi (Int. J. Organ. Collect. Intell., 2023)

Optimized exploration of quantum circuits space based on sub-circuits equivalences. - Khaled Khalfaoui; Elhillali Kerkouche; Tahar Boudjedaa; Allaoua Chaoui (Quantum Inf. Process., 2023)

Effective Parallel Formal Verification of Reconfigurable Discrete-Event Systems Formalizing with Isabelle/HOL. - Sohaib Soualah; Mohamed Khalgui; Allaoua Chaoui (AINA (2), 2024)

FORMALIZATION AND ANALYSIS OF UML 2.0 INTERACTION OVERVIEW DIAGRAM USING MAUDE REWRITING LOGIC LANGUAGE: Using Maude Rewriting Logic Language. - Chafika Djaoui; Allaoua Chaoui (Comput. Sci., 2024)

Entanglement swapping via quantum zeno dynamics in noisy environment. - Khaled Khalfaoui; Elhillali Kerkouche; Tahar Boudjedaa; Allaoua Chaoui (Quantum Inf. Process., 2024)