Allaoua Chaoui

101 papers C 7Misc 6Journal 47Unranked 37

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