Остановите войну!
for scientists:
default search action
Allaoua Chaoui
- > Home > Persons > Allaoua Chaoui
Publications
- 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) - [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, Elhillali Kerkouche, Allaoua Chaoui:
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) - [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, 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): 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, 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: 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, Dalal Oukhaf, Allaoua Chaoui:
Transforming UML Diagrams to YAWL Models for Business Processes Analysis. MISC 2020: 279-293 - 2019
- [j28]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): 172-191 (2019) - [j27]Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche:
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, Allaoua Chaoui:
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) - [j21]Aissam Belghiat, Allaoua Chaoui:
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, Khaled Khalfaoui:
A Graph Transformation Approach to Generate Analysable Maude Specifications from UML Interaction Overview Diagrams. IRI 2018: 511-517 - 2017
- [j19]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): 1-23 (2017) - [c42]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: 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) - [j16]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): 1-20 (2016) - [j15]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): 95-126 (2016) - [c41]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: 658-664 - [c40]Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche:
Transformation and validation of BPMN models to Petri nets models using GROOVE. ICAASE 2016: 22-29 - [p2]Aissam Belghiat, Allaoua Chaoui, Mokhtar Beldjehem:
Capturing and Verifying Dynamic Systems Behavior Using UML and \pi π -Calculus. Theoretical Information Reuse and Integration 2016: 59-84 - 2015
- [j14]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): 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, Allaoua Chaoui, Karim Djouani:
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, Seidali Rehab:
Formal Modeling and Analysis of Object Oriented Systems using Triple Graph Grammars. Int. J. Embed. Real Time Commun. Syst. 6(2): 48-64 (2015) - [c39]Riad Boussetoua, Hammadi Bennoui, Allaoua Chaoui, Khaled Khalfaoui, Elhillali Kerkouche:
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, Elhillali Kerkouche, Allaoua Chaoui:
A New Approach for Generating LOTOS Specifications from UML Dynamic Models. C3S2E 2015: 138-143 - [c36]Nabil Messaoudi, Allaoua Chaoui, Mohamed Bettaz:
An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations. FNC/MobiSPC 2015: 604-611 - [c35]Yasmina Rahmoune, Allaoua Chaoui, Elhillali Kerkouche:
A Framework for Modeling and Analysis UML Activity Diagram using Graph Transformation. FNC/MobiSPC 2015: 612-617 - [c32]Aissam Belghiat, Allaoua Chaoui:
A TGG Approach for Bidirectional Automatic Mapping between UML and pi-calculus. IPAC 2015: 70:1-70:3 - [c31]Serial Rayene Boussalia, Allaoua Chaoui, Aurélie Hurault:
QoS-Based Web Services Composition Optimization with an Extended Bat Inspired Algorithm. ICIST 2015: 306-319 - [c30]Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui:
From UML Statecharts to LOTOS Expressions Using Graph Transformation. ICIST 2015: 548-559 - [c29]Aissam Belghiat, Allaoua Chaoui:
A Pi-calculus-based Approach for the Verification of UML2 Sequence Diagrams. ICSOFT-PT 2015: 87-94 - [c28]Aissam Belghiat, Allaoua Chaoui, Mokhtar Beldjehem:
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, 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): 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 - [c25]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: 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, Ali Aldahoud:
A graph transformation approach of mobile activity diagram to nested Petri nets. Int. J. Comput. Aided Eng. Technol. 5(1): 44-57 (2013) - [c22]Laïd Kahloul, Karim Djouani, Allaoua Chaoui:
Formal Study of Reconfigurable Manufacturing Systems: A High Level Petri Nets Based Approach. HoloMAS 2013: 106-117 - [p1]Khaled Khalfaoui, Allaoua Chaoui, Cherif Foudil, Elhillali Kerkouche:
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, Kamel Barkaoui:
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, Allaoua Chaoui, Cherif Foudil, Elhillali Kerkouche:
Formal Specification of Software Product Lines: A Graph Transformation Based Approach. J. Softw. 7(11): 2518-2532 (2012) - [j3]Fayçal Bachtarzi, Allaoua Chaoui, Elhillali Kerkouche:
WS-mcv: An Efficient Model Driven Methodology for Web Services Composition. J. Softw. 7(12): 2874-2885 (2012) - [c20]Seidali Rehab, Elhillali Kerkouche, Allaoua Chaoui:
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, 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: 403-414 - [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, Raida Elmansouri:
From UML Sequence Diagrams to Labeled Generalized Stochastic Petri Net Models Using Graph Transformation. ICeND 2011: 318-328 - 2010
- [j2]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): 25-43 (2010) - [j1]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): 1279-1291 (2010) - [c12]Laïd Kahloul, Allaoua Chaoui, Karim Djouani:
Modeling and Analysis of Reconfigurable Systems Using Flexible Nets. NDT (1) 2010: 343-357 - [c11]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: 604-618 - [c9]Laïd Kahloul, Allaoua Chaoui, Karim Djouani:
Modeling and Analysis of Reconfigurable Systems Using Flexible Petri Nets. TASE 2010: 107-116 - 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, Khaled Khalfaoui:
Transforming UML models to colored petri nets models using graph grammars. ISCC 2009: 230-236 - [c4]Hammadi Bennoui, Allaoua Chaoui, Kamel Barkaoui:
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
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-04-14 03:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint