Allaoua Chaoui

发表

On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL

Said Meghzili, Allaoua Chaoui, Martin Strecker, 2017, 2017 IEEE International Conference on Information Reuse and Integration (IRI).

Optimizing QoS-Based Web Services Composition by Using Quantum Inspired Cuckoo Search Algorithm

Allaoua Chaoui, Serial Rayene Boussalia, 2014, MobiWIS.

Quality-Centric Approach for Software Component Identification from Object-Oriented Code

Abdelhak-Djamel Seriai, Allaoua Chaoui, Selim Kebir, 2012, 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture.

Using High Level Petri Nets in the Modelling, Simulation and Verification of Reconfigurable Manufacturing Systems

Samir Bourekkache, Okba Kazar, Allaoua Chaoui, 2014, Int. J. Softw. Eng. Knowl. Eng..

Automatic Generation of SPL Structurally Valid Products Using Graph Transformations Approach

Cherif Foudil, Allaoua Chaoui, Elhillali Kerkouche, 2013, Modeling Approaches and Algorithms for Advanced Computer Applications.

A Pairwise Approach for Model Merging

Allaoua Chaoui, Mohammed Boubakir, A. Chaoui, 2016 .

From UML Statecharts to LOTOS Expressions Using Graph Transformation

Allaoua Chaoui, Elhillali Kerkouche, Salim Djaaboub, 2015, ICIST.

CODE MOBILITY OVERVIEW: A SOFTWARE ENGINEERING VIEW

Laid Kahloul, Allaoua Chaoui, 2008 .

On TGG Ability for Transforming UML 2 Sequence Diagrams with Imbricate Combined Fragments to π-Calculus Specifications

Allaoua Chaoui, Mohamed Bettaz, Nabil Messaoudi, 2016, ANT/SEIT.

Verification of Model Transformations Using Isabelle/HOL and Scala

Said Meghzili, Allaoua Chaoui, Martin Strecker, 2019, Inf. Syst. Frontiers.

Supervisory control of discrete event systems based on structure theory of Petri nets

Kamel Barkaoui, Allaoua Chaoui, B. Zouari, 1997, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation.

Adaptive service composition in an ambient environment with a multi-agent system

Allaoua Chaoui, Aouatef Chaib, Imane Boussebough, 2018, J. Ambient Intell. Humaniz. Comput..

Un Caml Light Distribué

Allaoua Chaoui, Elkamel Merah, 2009, CIIA.

Capturing and Verifying Dynamic Program Behaviour Using UML Communication Diagrams and Pi-Calculus

Allaoua Chaoui, Mokhtar Beldjehem, Aissam Belghiat, 2015, 2015 IEEE International Conference on Information Reuse and Integration.

AUTOMATIC TEST CASES GENERATION FROM UML ACTIVITY DIAGRAMS USING GRAPH TRANSFORMATION

Allaoua Chaoui, Abdelkamel Hettab, Ahmad Aldahoud, 2013 .

Code mobility modeling: a temporal labeled reconfigurable nets

Allaoua Chaoui, Laïd Kahloul, 2008, MOBILWARE.

An intelligent system for personalized information retrieval: a genetic approach

Allaoua Chaoui, Imane Boussebough, Tarek Alloui, 2013, C3S2E '13.

From UML statecharts diagrams to labeled Generalized Stochastic Petri Net models using graph transformation

Allaoua Chaoui, Mouna Bouarioua, Raida Elmansouri, 2011 .

Mobile Agent-Based Software Systems Modeling Approaches: A Comparative Study

Allaoua Chaoui, Elhillali Kerkouche, Mokhtar Beldjehem, 2016, J. Comput. Inf. Technol..

Generating Maude Specifications from UML Interaction Overview Diagrams: A Graph Transformation Based Approach

Allaoua Chaoui, Elhillali Kerkouche, Khaled Khalfaoui, 2018, 2018 Fifth International Symposium on Innovation in Information and Communication Technology (ISIICT).

A Particle Swarm Optimization Algorithm for Web Information Retrieval: A Novel Approach

Allaoua Chaoui, Imane Boussebough, Tarek Alloui, 2015, Int. J. Intell. Inf. Technol..

Comparing and combining genetic and clustering algorithms for software component identification from object-oriented code

Abdelhak-Djamel Seriai, Allaoua Chaoui, Selim Kebir, 2012, C3S2E '12.

A technique to validate automatic generation of Büchi automata from UML 2 sequence diagrams based on multi layer transformations

Allaoua Chaoui, Mohamed Bettaz, Nabil Messaoudi, 2019, Int. J. Comput. Vis. Robotics.

An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations

Allaoua Chaoui, Mohamed Bettaz, Nabil Messaoudi, 2015, FNC/MobiSPC.

An empirical study to improve software quality through design patterns

Allaoua Chaoui, Khalil Elbaz, 2018 .

Towards a generic technique for analysing interactions between aspects at requirement phase

Allaoua Chaoui, Amel Boubendir, 2010, 2010 Fifth International Conference on Digital Information Management (ICDIM).

Structural Validation of Software Product Line Variants: A Graph Transformations Based Approach

Cherif Foudil, Allaoua Chaoui, Elhillali Kerkouche, 2013 .

Towards an extension of UML2.0 to model mobile agent-based systems

Allaoua Chaoui, Rabah Mokhtari, Mohamed Redha Bahri, 2009 .

Cloud Service Composition Modeling Using Bigraphical Reactive Systems

Allaoua Chaoui, Mohamed Gharzouli, Oussama Kamel, 2017, IDEAS.

Modeling and Verification of RBAC Security Policies Using Colored Petri Nets and CPN-Tool

Allaoua Chaoui, Karim Djouani, Yacine Amirat, 2010, NDT.

An Incremental Approach for the Extraction of Software Product Lines from Model Variants

Allaoua Chaoui, Mohammed Boubakir, A. Chaoui, 2018, Advances in Computing Systems and Applications.

Checking Behavioural Compatibility in Service Composition with Graph Transformation

Allaoua Chaoui, Redouane Nouara, A. Chaoui, 2017 .

Double Reduction of Ada-ECATNet Representation using Rewriting Logic

Allaoua Chaoui, Noura Boudiaf, 2008 .

A Formal Framework and a Tool to Process and Simulate Labelled Reconfigurable Nets Models Based on Graph Transformation

Allaoua Chaoui, Raida Elmansouri, Nardjes Dehimi, 2012, NDT.

Towards a Model for Dealing with Aspect Interactions at Requirement Phase

Allaoua Chaoui, Amel Boubendir, 2010, SEDE.

From UML Statecharts and Collaboration Diagrams to Coloured Petri Nets Models: A Graph Transformation Based Approach for Modelling and Analysis of Business Processes in Virtual Enterprises

Allaoua Chaoui, Elhillali Kerkouche, Khaled Khalfaoui, 2009, 2009 Fourth South-East European Workshop on Formal Methods.

A high-level Petri net based model for web services composition and verification

Allaoua Chaoui, Mouna Bouarioua, Sofiane Chemaa, 2015, Int. J. Comput. Appl. Technol..

A Checking Service Composition Approach based on Model Transformation

Allaoua Chaoui, Redouane Nouara, A. Chaoui, 2016, Int. J. Embed. Real Time Commun. Syst..

Modeling and Analysis of Reconfigurable Systems Using Flexible Petri Nets

Allaoua Chaoui, Karim Djouani, Laïd Kahloul, 2010, 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering.

Compiling, verifying and simulating dynamic software architectures using ANTLR and coloured-ADL

Allaoua Chaoui, Rabah Mokhtari, 2017, Int. J. Commun. Networks Distributed Syst..

From UML Activity Diagrams to CSP Expressions: A Graph Transformation Approach using Atom 3 Tool

Allaoua Chaoui, Raida Elmansouri, Houda Hamrouche, 2011 .

Formal Modeling and Analysis of Object Oriented Systems using Triple Graph Grammars

Allaoua Chaoui, Seidali Rehab, Wafa Chama, 2015, Int. J. Embed. Real Time Commun. Syst..

A High-level Petri Net Based Approach for Modeling and Composition of Web Services

Allaoua Chaoui, Fayçal Bachtarzi, Sofiane Chemaa, 2012, ICCS.

Exploiting P-invariant analysis for distributed systems diagnosis based on interacting behavioral Petri nets

Kamel Barkaoui, Allaoua Chaoui, Hammadi Bennoui, 2009 .

M ODEL CHECKING AND CODE GENERATION FOR UML DIAGRAM SUSING GRAPH TRANSFORMATION

Allaoua Chaoui, Raida Elmansouri, Wafa Chama, 2012 .

Formal Specification of Software Product Lines: A Graph Transformation Based Approach

Cherif Foudil, Allaoua Chaoui, Elhillali Kerkouche, 2012, J. Softw..

Formalization of Mobile UML Statechart Diagrams Using the π-calculus: An Approach for Modeling and Analysis

Allaoua Chaoui, Mourad Maouche, Mokhtar Beldjehem, 2014, ICIST.

A Graphical Modelling Editor for STARSoC Design Flow Tool Based on Model Driven Engineering Approach

Allaoua Chaoui, Elhillali Kerkouche, El-Bay Bourennane, 2018, e Informatica Softw. Eng. J..

An automatic approach to transform BPMN models to Pi-Calculus

Allaoua Chaoui, Elhillali Kerkouche, Khaled Khalfaoui, 2015, 2015 IEEE/ACS 12th International Conference of Computer Systems and Applications (AICCSA).

A Pi-calculus-based approach for the verification of UML2 sequence diagrams

Allaoua Chaoui, Aissam Belghiat, 2015, 2015 10th International Joint Conference on Software Technologies (ICSOFT).

On Structural Analysis of Interacting Behavioral Petri Nets for Distributed Causal Model-Based Diagnosis

Kamel Barkaoui, Allaoua Chaoui, Hammadi Bennoui, 2012, Int. J. Found. Comput. Sci..

Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets

Kamel Barkaoui, Allaoua Chaoui, Hammadi Bennoui, 2009, 2009 Eighth International Symposium on Parallel and Distributed Computing.

Towards mobility for Caml Light

Allaoua Chaoui, Elkamel Merah, A. Chaoui, 2009, 2009 First International Conference on Networked Digital Technologies.

A TGG Approach for Bidirectional Automatic Mapping between UML and pi-calculus

Allaoua Chaoui, Aissam Belghiat, A. Chaoui, 2015, IPAC.

A Semantic Framework to Improve Model-to-Model Transformations

Allaoua Chaoui, Karima Berramla, Mohamed Elkamel Hamdane, 2018 .

Formal Verification of a Subset of UML Diagrams: An Approach Using Maude

Allaoua Chaoui, Okba Tibermacine, Amer R. Zerek, 2012 .

Formal specification of web services composition

Allaoua Chaoui, Faycal Bachtarzi, 2013, 2013 IEEE Symposium on Wireless Technology & Applications (ISWTA).

On Analysis of Boundness Property for ECATNets by Using Rewriting Logic

Allaoua Chaoui, Noura Boudiaf, A. Chaoui, 2007 .

Capturing and Verifying Dynamic Systems Behavior Using UML and \pi π -Calculus

Allaoua Chaoui, Mokhtar Beldjehem, Aissam Belghiat, 2016, Theoretical Information Reuse and Integration.

Formal Study of Reconfigurable Manufacturing Systems: A High Level Petri Nets Based Approach

Allaoua Chaoui, Karim Djouani, Laïd Kahloul, 2013, HoloMAS.

On Transforming Business Patterns to Labeled Petri Nets Using Graph Grammars

Allaoua Chaoui, Raida Elmansouri, Karima Mahdi, 2013 .

Using graph transformation and maude to simulate and verify UML models

Allaoua Chaoui, Raida Elmansouri, Wafa Chama, 2013, 2013 The International Conference on Technological Advances in Electrical, Electronics and Computer Engineering (TAEECE).

Towards a Formal Modeling of Cloud Services during the Life-cycle of Service Level Agreement

Allaoua Chaoui, Mohamed Gharzouli, Oussama Kamel, 2017, BDIOT2017.

A Graphical Environment for Petri Nets INA Tool Based on Meta-Modelling and Graph Grammars

Allaoua Chaoui, Elhillali Kerkouche, Raida El Mansouri, 2008 .

A Formal Framework and a Tool for the Specification and Analysis of G-Nets Models Based on Graph Transformation

Allaoua Chaoui, Elhillali Kerkouche, 2009, ICDCN.

A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation

Allaoua Chaoui, Elhillali Kerkouche, Ouassila Labbani, 2010, J. Object Technol..

TGG-based process for automating the transformation of UML models towards B specifications

Allaoua Chaoui, Seidali Rehab, 2015, Int. J. Comput. Aided Eng. Technol..

From UML class diagrams to Aspect-Oriented Class Diagrams using graph transformation

Allaoua Chaoui, Mouna Aouag, A. Chaoui, 2013, 2013 International Conference on Control, Decision and Information Technologies (CoDIT).

Transformation and validation of BPMN models to Petri nets models using GROOVE

Said Meghzili, Allaoua Chaoui, Martin Strecker, 2016, 2016 International Conference on Advanced Aspects of Software Engineering (ICAASE).

Using High Level Nets for the Design of Reconfigurable Manufacturing Systems

Samir Bourekkache, Okba Kazar, Allaoua Chaoui, 2014, ADECS @ Petri Nets.

PNTools: a Multi-Language Environment to Integrate Petri Nets Tools

Allaoua Chaoui, Ismail Hadjadj, 2009, CIIA.

An automatic generation approach of B Specifications From UML Diagrams

Allaoua Chaoui, Elhillali Kerkouche, Seidali Rehab, 2012, Seventh International Conference on Digital Information Management (ICDIM 2012).

A Graph Transformation Approach to Generate Analysable Maude Specifications from UML Interaction Overview Diagrams

Allaoua Chaoui, Elhillali Kerkouche, Khaled Khalfaoui, 2018, 2018 IEEE International Conference on Information Reuse and Integration (IRI).

A Modeling and Verification Approach Based on Graph Transformation

Allaoua Chaoui, Raida Elmansouri, Wafa Chama, 2013 .

Transforming UML models to colored petri nets models using graph grammars

Allaoua Chaoui, Elhillali Kerkouche, Khaled Khalfaoui, 2009, 2009 IEEE Symposium on Computers and Communications.

An Approach to Formal Specification of Component-Based Software

Tarek Zernadji, Allaoua Chaoui, Raida Elmansouri, 2011 .

Dealing with aspect interaction: Thinking for generic based specification solution

Allaoua Chaoui, Amel Boubendir, 2010 .

Learning and modelling user interests using user feedback : A novel approach

Allaoua Chaoui, Tarek Alloui, Imane Boussebough, 2015, 2015 Fifth International Conference on Digital Information Processing and Communications (ICDIPC).

Mapping UML Components diagrams to XML using Graph Transformation

Allaoua Chaoui, Rabah Mokhtari, Mohamed Redha Bahri, 2010, CAINE.

A Graph Transformation of Activity Diagrams into π-calculus for Verification Purpose

Allaoua Chaoui, Aissam Belghiat, 2018, ICAASE.

A New Approach for Generating LOTOS Specifications from UML Dynamic Models

Allaoua Chaoui, Elhillali Kerkouche, Salim Djaaboub, 2015, C3S2E.

Automatic generation of SPL structurally valid products: An approach based on progressive composition of partial configurations

Cherif Foudil, Allaoua Chaoui, Elhillali Kerkouche, 2015, 2015 6th International Conference on Information and Communication Systems (ICICS).

From UML 2.0 diagrams to aspect oriented diagrams using graph transformation

Allaoua Chaoui, Raida Elmansouri, Mouna Aouag, 2014, Int. J. Comput. Aided Eng. Technol..

Design of A Concurrent Caml Light: ACCL

Allaoua Chaoui, Elkamel Merah, 2009, 2009 Second International Conference on the Applications of Digital Information and Web Technologies.

Mapping Mobile Statechart Diagrams to the π-Calculus using Graph Transformation: An Approach for Modeling, Simulation and Verification of Mobile Agent-based Software Systems

Allaoua Chaoui, Aissam Belghiat, 2016, Int. J. Intell. Inf. Technol..

Transforming Mobile UML Statecharts Models to Nested Nets Models Using Graph Grammars: An Approach for Modeling and Analysis of Mobile Agent-Based Software Systems

Allaoua Chaoui, Elhillali Kerkouche, Abdelkamel Hettab, 2009, 2009 Fourth South-East European Workshop on Formal Methods.

A graph transformation approach of mobile activity diagram to nested Petri nets

Allaoua Chaoui, Ali Aldahoud, Fayçal Guerrouf, 2013, Int. J. Comput. Aided Eng. Technol..

A multi-paradigm approach to model and verify mobile agent software systems

Allaoua Chaoui, Aissam Belghiat, 2018, Multiagent Grid Syst..

Usearch: A Meta Search Engine based on a new result merging strategy

Allaoua Chaoui, Imane Boussebough, Tarek Alloui, 2015, 2015 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K).

Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach

Allaoua Chaoui, Elhillali Kerkouche, Salim Djaaboub, 2018, Int. J. Embed. Syst..

FROM A MODEL OF CONCURRENCY TO A TEST MODEL: A GRAPH TRANSFORMATION BASED APPROACH

Allaoua Chaoui, S. Bekrar, D. Saidouni, 2012 .

On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models

Allaoua Chaoui, Elhillali Kerkouche, Ouassila Labbani, 2010, J. Softw..

Adaptive composition of services in context-aware ambient intelligent systems

Allaoua Chaoui, Aouatef Chaib, Iman Boussebough, 2014, C3S2E.

From UML statecharts diagrams to labeled Generalized Stochastic Petri Net models using graph transformation

Allaoua Chaoui, Mouna Bouarioua, Raida Elmansouri, 2011, International Symposium on Innovations in Information and Communications Technology.

A Graph Transformation Approach for Automatic Test Cases Generation from UML Activity Diagrams

Allaoua Chaoui, Elhillali Kerkouche, Abdelkamel Hettab, 2015, C3S2E.