default search action
Allaoua Chaoui
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j42]Khaled Khalfaoui, Elhillali Kerkouche, Tahar Boudjedaa, Allaoua Chaoui:
Entanglement swapping via quantum zeno dynamics in noisy environment. Quantum Inf. Process. 23(2): 43 (2024) - [c50]Sohaib Soualah, Mohamed Khalgui, Allaoua Chaoui:
Effective Parallel Formal Verification of Reconfigurable Discrete-Event Systems Formalizing with Isabelle/HOL. AINA (2) 2024: 199-212 - 2023
- [j41]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): 1-33 (2023) - [j40]Khaled Khalfaoui, Elhillali Kerkouche, Tahar Boudjedaa, Allaoua Chaoui:
Optimized exploration of quantum circuits space based on sub-circuits equivalences. Quantum Inf. Process. 22(1): 71 (2023) - 2022
- [j39]Yasmina Rahmoune, Allaoua Chaoui:
Automatic Bridge between BPMN Models and UML Activity Diagrams based on Graph Transformation. Comput. Sci. 23(3) (2022) - [j38]Houda Hamrouche, Allaoua Chaoui, Smaine Mazouzi:
A Graph Transformation Approach for Modeling and Verification of UML 2.0 Sequence Diagrams. Comput. Informatics 41(5): 1284-1309 (2022) - [j37]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): 379-415 (2022) - [j36]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): 1-22 (2022) - [j35]Mohammed Mounir Bouhamed
Reducing the number of migrated instances during business process change: A graph rewriting approach. J. King Saud Univ. Comput. Inf. Sci. 34(9): 7720-7734 (2022) - [j34]Khaled Khalfaoui, Elhillali Kerkouche, Tahar Boudjedaa, Allaoua Chaoui:
Optimized search for complex protocols based on entanglement detection. Quantum Inf. Process. 21(6): 226 (2022) - [j33]Abdelouahab Fortas
Formal verification of IoT applications using rewriting logic: An MDE-based approach. Sci. Comput. Program. 222: 102859 (2022) - 2021
- [j32]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) - [j31]Oussama Kamel
SLA-Driven modeling and verifying cloud systems: A Bigraphical reactive systems-based approach. Comput. Stand. Interfaces 74: 103483 (2021) - [e2]Salim Chikhi, Abdelmalek Amine, Allaoua Chaoui, Djamel-Eddine Saïdouni, Mohamed-Khireddine Kholladi
Modelling and Implementation of Complex Systems - Proceedings of the 6th International Symposium, MISC 2020, Batna, Algeria, October 24-26, 2020. Lecture Notes in Networks and Systems 156, Springer 2021, ISBN 978-3-030-58860-1 [contents] - 2020
- [j30]Elhillali Kerkouche, Khaled Khalfaoui
A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach. Int. J. Comput. Aided Eng. Technol. 12(2): 237-262 (2020) - [j29]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): 17-49 (2020) - [c49]Sohaib Soualah
Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop. ICSOFT (Selected Papers) 2020: 227-241 - [c48]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: 250-259 - [c47]Aissam Belghiat
Transforming UML Diagrams to YAWL Models for Business Processes Analysis. MISC 2020: 279-293
2010 – 2019
- 2019
- [j28]Nabil Messaoudi
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): 172-191 (2019) - [j27]Said Meghzili
Verification of Model Transformations Using Isabelle/HOL and Scala. Inf. Syst. Frontiers 21(1): 45-65 (2019) - [j26]Fayçal Guerrouf, Allaoua Chaoui:
A graph transformation based approach for multi-agent systems reorganization. Multiagent Grid Syst. 15(4): 375-394 (2019) - [e1]Salim Chikhi, Abdelmalek Amine, Allaoua Chaoui, Djamel-Eddine Saïdouni:
Modelling and Implementation of Complex Systems - Proceedings of the 5th International Symposium, MISC 2018, Laghouat, Algeria, December 16-18, 2018. Lecture Notes in Networks and Systems 64, Springer 2019, ISBN 978-3-030-05481-6 [contents] - 2018
- [j25]Elhillali Kerkouche, El-Bay Bourennane
A Graphical Modelling Editor for STARSoC Design Flow Tool Based on Model Driven Engineering Approach. e Informatica Softw. Eng. J. 12(1): 9-26 (2018) - [j24]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): 42-58 (2018) - [j23]Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui:
Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach. Int. J. Embed. Syst. 10(6): 453-469 (2018) - [j22]Aouatef Chaib, Imane Boussebough
Adaptive service composition in an ambient environment with a multi-agent system. J. Ambient Intell. Humaniz. Comput. 9(2): 367-380 (2018) - [j21]Aissam Belghiat
A multi-paradigm approach to model and verify mobile agent software systems. Multiagent Grid Syst. 14(4): 337-356 (2018) - [c46]Aissam Belghiat, Allaoua Chaoui:
A Graph Transformation of Activity Diagrams into π-calculus for Verification Purpose. ICAASE 2018: 107-114 - [c45]Chafika Djaoui, Elhillali Kerkouche, Allaoua Chaoui
A Graph Transformation Approach to Generate Analysable Maude Specifications from UML Interaction Overview Diagrams. IRI 2018: 511-517 - 2017
- [j20]Rabah Mokhtari, Allaoua Chaoui:
Compiling, verifying and simulating dynamic software architectures using ANTLR and coloured-ADL. Int. J. Commun. Networks Distributed Syst. 19(4): 406-433 (2017) - [j19]Nabil Messaoudi
An Approach to UML Consistency Checking Based on Compositional Semantics. Int. J. Embed. Real Time Commun. Syst. 8(2): 1-23 (2017) - [c44]Oussama Kamel
Towards a Formal Modeling of Cloud Services during the Life-cycle of Service Level Agreement. BDIOT 2017: 115-119 - [c43]Oussama Kamel
Cloud Service Composition Modeling Using Bigraphical Reactive Systems. IDEAS 2017: 40-48 - [c42]Said Meghzili, Allaoua Chaoui
On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL. IRI 2017: 419-426 - 2016
- [j18]Aissam Belghiat, Elhillali Kerkouche, Allaoua Chaoui, Mokhtar Beldjehem:
Mobile Agent-Based Software Systems Modeling Approaches: A Comparative Study. J. Comput. Inf. Technol. 24(2): 149-163 (2016) - [j17]Redouane Nouara, Allaoua Chaoui
A Checking Service Composition Approach based on Model Transformation. Int. J. Embed. Real Time Commun. Syst. 7(1): 30-47 (2016) - [j16]Aissam Belghiat
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): 1-20 (2016) - [j15]Serial Rayene Boussalia, Allaoua Chaoui
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): 95-126 (2016) - [c41]Nabil Messaoudi
On TGG Ability for Transforming UML 2 Sequence Diagrams with Imbricate Combined Fragments to π-Calculus Specifications. ANT/SEIT 2016: 658-664 - [c40]Said Meghzili, Allaoua Chaoui
Transformation and validation of BPMN models to Petri nets models using GROOVE. ICAASE 2016: 22-29 - [p2]Aissam Belghiat
Capturing and Verifying Dynamic Systems Behavior Using UML and \pi π -Calculus. Theoretical Information Reuse and Integration 2016: 59-84 - 2015
- [j14]Seidali Rehab
TGG-based process for automating the transformation of UML models towards B specifications. Int. J. Comput. Aided Eng. Technol. 7(3): 378-400 (2015) - [j13]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): 306-323 (2015) - [j12]Laïd Kahloul
Modelling and Analysis of Mobile Computing Systems: An Extended Petri Nets Formalism. Int. J. Comput. Commun. Control 10(2): 211-221 (2015) - [j11]Wafa Chama, Allaoua Chaoui
Formal Modeling and Analysis of Object Oriented Systems using Triple Graph Grammars. Int. J. Embed. Real Time Commun. Syst. 6(2): 48-64 (2015) - [j10]Tarek Alloui, Imane Boussebough
A Particle Swarm Optimization Algorithm for Web Information Retrieval: A Novel Approach. Int. J. Intell. Inf. Technol. 11(3): 15-29 (2015) - [c39]Riad Boussetoua, Hammadi Bennoui, Allaoua Chaoui
An automatic approach to transform BPMN models to Pi-Calculus. AICCSA 2015: 1-8 - [c38]Abdelkamel Hettab, Elhillali Kerkouche, Allaoua Chaoui
A Graph Transformation Approach for Automatic Test Cases Generation from UML Activity Diagrams. C3S2E 2015: 88-97 - [c37]Salim Djaaboub
A New Approach for Generating LOTOS Specifications from UML Dynamic Models. C3S2E 2015: 138-143 - [c36]Nabil Messaoudi
An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations. FNC/MobiSPC 2015: 604-611 - [c35]Yasmina Rahmoune, Allaoua Chaoui
A Framework for Modeling and Analysis UML Activity Diagram using Graph Transformation. FNC/MobiSPC 2015: 612-617 - [c34]Tarek Alloui, Imane Boussebough
Usearch: A Meta Search Engine based on a New Result Merging Strategy. KDIR 2015: 531-536 - [c33]Aouatef Chaib, Imane Boussebough
Multi-agent system in ambient environment for assistance of elderly sick peoples. IPAC 2015: 21:1-21:5 - [c32]Aissam Belghiat
A TGG Approach for Bidirectional Automatic Mapping between UML and pi-calculus. IPAC 2015: 70:1-70:3 - [c31]Serial Rayene Boussalia, Allaoua Chaoui
QoS-Based Web Services Composition Optimization with an Extended Bat Inspired Algorithm. ICIST 2015: 306-319 - [c30]Salim Djaaboub
From UML Statecharts to LOTOS Expressions Using Graph Transformation. ICIST 2015: 548-559 - [c29]Aissam Belghiat
A Pi-calculus-based Approach for the Verification of UML2 Sequence Diagrams. ICSOFT-PT 2015: 87-94 - [c28]Aissam Belghiat
Capturing and Verifying Dynamic Program Behaviour Using UML Communication Diagrams and Pi-Calculus. IRI 2015: 318-325 - 2014
- [j9]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): 200-233 (2014) - [j8]Fayçal Bachtarzi, Allaoua Chaoui
A modelling language and a tool for web services composition. Int. J. Commun. Networks Distributed Syst. 13(2): 221-240 (2014) - [j7]Laïd Kahloul
Using High Level Petri Nets in the Modelling, Simulation and Verification of Reconfigurable Manufacturing Systems. Int. J. Softw. Eng. Knowl. Eng. 24(3): 419-444 (2014) - [c27]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: 1-19 - [c26]Aouatef Chaib, Imane Boussebough
Adaptive composition of services in context-aware ambient intelligent systems. C3S2E 2014: 26:1-26:5 - [c25]Aissam Belghiat
Formalization of Mobile UML Statechart Diagrams Using the π-calculus: An Approach for Modeling and Analysis. ICIST 2014: 236-247 - [c24]Serial Rayene Boussalia, Allaoua Chaoui
Optimizing QoS-Based Web Services Composition by Using Quantum Inspired Cuckoo Search Algorithm. MobiWIS 2014: 41-55 - 2013
- [j6]Fayçal Guerrouf, Allaoua Chaoui
A graph transformation approach of mobile activity diagram to nested Petri nets. Int. J. Comput. Aided Eng. Technol. 5(1): 44-57 (2013) - [c23]Tarek Alloui, Imane Boussebough
An intelligent system for personalized information retrieval: a genetic approach. C3S2E 2013: 120-124 - [c22]Laïd Kahloul
Formal Study of Reconfigurable Manufacturing Systems: A High Level Petri Nets Based Approach. HoloMAS 2013: 106-117 - [p1]Khaled Khalfaoui
Automatic Generation of SPL Structurally Valid Products Using Graph Transformations Approach. Modeling Approaches and Algorithms for Advanced Computer Applications 2013: 347-356 - [i1]Sofiane Chemaa, Raida Elmansouri, Allaoua Chaoui:
Web Services Modeling and Composition Approach using Object-Oriented Petri Nets. CoRR abs/1304.2080 (2013) - 2012
- [j5]Hammadi Bennoui, Allaoua Chaoui
On Structural Analysis of Interacting Behavioral Petri Nets for Distributed Causal Model-Based Diagnosis. Int. J. Found. Comput. Sci. 23(7): 1523-1542 (2012) - [j4]Khaled Khalfaoui
Formal Specification of Software Product Lines: A Graph Transformation Based Approach. J. Softw. 7(11): 2518-2532 (2012) - [j3]Fayçal Bachtarzi, Allaoua Chaoui
WS-mcv: An Efficient Model Driven Methodology for Web Services Composition. J. Softw. 7(12): 2874-2885 (2012) - [c21]Selim Kebir, Abdelhak-Djamel Seriai
Comparing and combining genetic and clustering algorithms for software component identification from object-oriented code. C3S2E 2012: 1-8 - [c20]Seidali Rehab
An automatic generation approach of B Specifications From UML Diagrams. ICDIM 2012: 73-78 - [c19]Mouna Aouag, Wafa Chama, Allaoua Chaoui
From UML Communication Diagrams to Aspect-Oriented Communication Diagrams Using Graph Transformation. ICIST 2012: 199-209 - [c18]Nardjes Dehimi
A Formal Framework and a Tool to Process and Simulate Labelled Reconfigurable Nets Models Based on Graph Transformation. NDT (2) 2012: 403-414 - [c17]Selim Kebir, Abdelhak-Djamel Seriai
Quality-Centric Approach for Software Component Identification from Object-Oriented Code. WICSA/ECSA 2012: 181-190 - [c16]Sofiane Chemaa, Fayçal Bachtarzi, Allaoua Chaoui
A High-level Petri Net Based Approach for Modeling and Composition of Web Services. ICCS 2012: 469-478 - 2011
- [c15]Mouna Bouarioua, Allaoua Chaoui
From UML Sequence Diagrams to Labeled Generalized Stochastic Petri Net Models Using Graph Transformation. ICeND 2011: 318-328 - 2010
- [j2]Elhillali Kerkouche, Allaoua Chaoui
A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation. J. Object Technol. 9(4): 25-43 (2010) - [j1]Elhillali Kerkouche, Allaoua Chaoui
On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models. J. Softw. 5(11): 1279-1291 (2010) - [c14]Rabah Mokhtari, Allaoua Chaoui, Mohamed Redha Bahri:
Mapping UML Components diagrams to XML using Graph Transformation. CAINE 2010: 245-250 - [c13]Amel Boubendir, Allaoua Chaoui
Towards a generic technique for analysing interactions between aspects at requirement phase. ICDIM 2010: 507-512 - [c12]Laïd Kahloul
Modeling and Analysis of Reconfigurable Systems Using Flexible Nets. NDT (1) 2010: 343-357 - [c11]Laïd Kahloul
Modeling and Verification of RBAC Security Policies Using Colored Petri Nets and CPN-Tool. NDT (2) 2010: 604-618 - [c10]Amel Boubendir, Allaoua Chaoui:
Towards a Model for Dealing with Aspect Interactions at Requirement Phase. SEDE 2010: 196-202 - [c9]Laïd Kahloul
Modeling and Analysis of Reconfigurable Systems Using Flexible Petri Nets. TASE 2010: 107-116
2000 – 2009
- 2009
- [c8]Allaoua Chaoui, Ismail Hadjadj:
PNTools: a Multi-Language Environment to Integrate Petri Nets Tools. CIIA 2009 - [c7]Elkamel Merah, Allaoua Chaoui:
Un Caml Light Distribué. CIIA 2009 - [c6]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: 206-211 - [c5]Elhillali Kerkouche, Allaoua Chaoui
Transforming UML models to colored petri nets models using graph grammars. ISCC 2009: 230-236 - [c4]Hammadi Bennoui, Allaoua Chaoui
Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets. ISPDC 2009: 99-106 - [c3]Elhillali Kerkouche, Allaoua Chaoui, El-Bay Bourennane, Ouassila Labbani:
Modeling and Verification of Dynamic Behavior in UML Models: A Graph Transformation Approach. SEDE 2009: 111-118 - 2008
- [c2]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: 88-93 - [c1]Laïd Kahloul, Allaoua Chaoui:
Code mobility modeling: a temporal labeled reconfigurable nets. MOBILWARE 2008: 34
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: