الرئيسية › دليل الباحثين › Allaoua Chaoui
Allaoua Chaoui
الانتماء : Université Constantine 2
- 126منشورات (انتماء جزائري)
- 166مجموع المنشورات
- 792الاستشهادات
- 13مؤشر h
الملف البحثي
لدى Allaoua Chaoui 126 منشور(ات) مفهرسة (2011–2026). تُنشر أعماله أساسًا في «Lecture notes in networks and systems»، «Communications in computer and information science» و«International Journal of Computer Aided Engineering and Technology». أكثر مقالاته استشهادًا هو «Usearch: A Meta Search Engine based on a New Result Merging Strategy» (2015)، وقد استُشهد به 33 مرة. 6 من هذه المنشورات تعود إلى آخر ثلاث سنوات من النشاط. شارك في تأليف أعماله 12 باحثًا على الأقل، منهم باحثون من مؤسسات في الأردن، تونس، جنوب أفريقيا.
هل هذا أنت؟ عرّف بأبحاثك
أنشئ ملفك على DzCademia مجانًا وأضف مقالاتك: ستظهر بسهولة أكبر على Google وفي مساعدي الذكاء الاصطناعي مثل ChatGPT، فيقرؤها ويستشهد بها عدد أكبر من الناس.
إنشاء ملفي المجاني إضافة منشوراتيمجالات البحث
- Model-Driven Software Engineering Techniques
- Business Process Modeling and Analysis
- Formal Methods in Verification
- Petri Nets in System Modeling
- Logic, programming, and type systems
المنشورات (126)
- Co-evolution of UML sequence diagrams through an ATL rule-based approach with semantic preservation in Maude
- An Approach for UML Sequence Diagram Models/MetaModels Co-evolution Using Transformation Rules
- High-level petri nets based approach for designing and analyzing IoT systems
- Entanglement swapping via quantum zeno dynamics in noisy environment
- FORMALIZATION AND ANALYSIS OF UML 2.0 INTERACTION OVERVIEW DIAGRAM USING MAUDE REWRITING LOGIC LANGUAGE
- Effective Parallel Formal Verification of Reconfigurable Discrete-Event Systems Formalizing with Isabelle/HOL
- Optimized exploration of quantum circuits space based on sub-circuits equivalences
- Comprehensive Framework-Based Reconfigurable Object Nets for Managing Dynamic Protocols Evolution
- Formal verification of IoT applications using rewriting logic: An MDE-based approach
- Reducing the number of migrated instances during business process change: A graph rewriting approach
- A Graph Transformation Approach for Modeling and Verification of UML 2.0 Sequence Diagrams
- Optimized search for complex protocols based on entanglement detection
- Automatic Bridge between BPMN Models and UML Activity Diagrams based on Graph Transformation
- An Example of a Dynamic CPN Model to Obtain Routes in the Presence of Obstacles Detected Using Machine Learning Techniques
- Modelling and Implementation of Complex Systems
- Formal Verification and Implementation of an E-Voting System
- Towards a Full Model-Driven Approach for Modeling and Verifying Business Process Models Using CPN
- Combined Use of PBMN and Rewriting Logic for Specification and Analysis of IoT Applications
- Models@Runtime: The Development and Re-Configuration Management of Python Applications Using Formal Methods
- A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems
- AN APPROACH AND A TOOL FOR MERGING A SET OF MODELS IN PAIRWISE WAY
- Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop
- A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach
- SLA-Driven modeling and verifying cloud systems: A Bigraphical reactive systems-based approach
- Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL
- A graph transformation based approach for multi-agent systems reorganization
- Transforming UML Diagrams to YAWL Models for Business Processes Analysis
- INTEGRATING UML 2.0 ACTIVITY DIAGRAMS AND PI-CALCULUS FOR MODELING AND VERIFICATION OF SOFTWARE SYSTEMS USING TGG
- An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models
- A multi-paradigm approach to model and verify mobile agent software systems
- A technique to validate automatic generation of Büchi automata from UML 2 sequence diagrams based on multi layer transformations
- A technique to validate automatic generation of Büchi automata from UML 2 sequence diagrams based on multi layer transformations
- A Graph Transformation Approach to Generate Analysable Maude Specifications from UML Interaction Overview Diagrams
- A Semantic Framework to Improve Model-to-Model Transformations
- An empirical study to improve software quality through design patterns
- Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach
- An Incremental Approach for the Extraction of Software Product Lines from Model Variants
- Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach
- Generating Maude Specifications from UML Interaction Overview Diagrams: A Graph Transformation Based Approach
- A Particle Swarm Optimization Algorithm for Web Information Retrieval
- On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL
- Adaptive service composition in an ambient environment with a multi-agent system
- An Approach to UML Consistency Checking Based on Compositional Semantics
- Compiling, verifying and simulating dynamic software architectures using ANTLR and coloured-ADL
- Towards a Formal Modeling of Cloud Services during the Life-cycle of Service Level Agreement
- Transformation and validation of BPMN models to Petri nets models using GROOVE
- Modelling and Implementation of Complex Systems
- A Pairwise Approach for Model Merging
- Multi-objective quantum inspired Cuckoo search algorithm and multi-objective bat inspired algorithm for the web service composition problem
- Mapping Mobile Statechart Diagrams to the π-Calculus using Graph Transformation
- Capturing and Verifying Dynamic Systems Behavior Using UML and $$\pi $$ π -Calculus
- An Intelligent Management of Lighting in an Ambient Environment with a Multi-agent System
- A Checking Service Composition Approach based on Model Transformation
- Usearch: A Meta Search Engine based on a New Result Merging Strategy
- A Framework for Modeling and Analysis UML Activity Diagram using Graph Transformation
- An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations
- Multi-agent system in ambient environment for assistance of elderly sick peoples
- UML Activity Diagrams and Maude Integrated Modeling and Analysis Approach Using Graph Transformation
- QoS-Based Web Services Composition Optimization with an Extended Bat Inspired Algorithm
- A high-level Petri net based model for web services composition and verification
- An automatic approach to transform BPMN models to Pi-Calculus
- From UML Statecharts to LOTOS Expressions Using Graph Transformation
- TGG-based process for automating the transformation of UML models towards B specifications
- A Pi-calculus-based Approach for the Verification of UML2 Sequence Diagrams
- Formal Modeling and Analysis of Object Oriented Systems using Triple Graph Grammars
- Capturing and Verifying Dynamic Program Behaviour Using UML Communication Diagrams and Pi-Calculus
- A Particle Swarm Optimization Algorithm for Web Information Retrieval
- Automatic generation of SPL structurally valid products: An approach based on progressive composition of partial configurations
- Bridging the Gap between Modeling of Mobile Agent-based Systems and Semantic Web using Meta-Modeling and Graph Grammars
- Learning and modelling user interests using user feedback : A novel approach
- A TGG Approach for Bidirectional Automatic Mapping between UML and pi-calculus
- Optimizing QoS-Based Web Services Composition by Using Quantum Inspired Cuckoo Search Algorithm
- Using High Level Petri Nets in the Modelling, Simulation and Verification of Reconfigurable Manufacturing Systems
- Formalization of Mobile UML Statechart Diagrams Using the π-calculus: An Approach for Modeling and Analysis
- A modelling language and a tool for web services composition
- From UML 2.0 diagrams to aspect oriented diagrams using graph transformation
- Formal Study of Reconfigurable Manufacturing Systems: A High Level Petri Nets Based Approach
- On Transforming Business Patterns to Labeled Petri Nets Using Graph Grammars
- Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models
- Formal specification of web services composition
- Automatic Generation of SPL Structurally Valid Products Using Graph Transformations Approach
- Using graph transformation and maude to simulate and verify UML models
- Structural Validation of Software Product Line Variants: A Graph Transformations Based Approach
- An intelligent system for personalized information retrieval
- Labeled Generalized Stochastic Petri Net Based Approach for Web Services Composition
- From UML class diagrams to Aspect-Oriented Class Diagrams using graph transformation
- Formal Verification of a Subset of UML Diagrams
- Comparing and combining genetic and clustering algorithms for software component identification from object-oriented code
- A High-level Petri Net Based Approach for Modeling and Composition of Web Services
- A graph transformation approach of mobile activity diagram to nested Petri nets
- An automatic generation approach of B Specifications From UML Diagrams
- Transforming business patterns to Colored Petri Nets using graph grammars
- From UML Communication Diagrams to Aspect-Oriented Communication Diagrams Using Graph Transformation
- FROM A MODEL OF CONCURRENCY TO A TEST MODEL: A GRAPH TRANSFORMATION BASED APPROACH
- Using graph grammars and meta-modeling to process code mobility in LRN models
- Composing activity aspect diagrams using graph transformation approach
- Formal Verification of a Subset of UML Diagrams
- A Formal Framework and a Tool to Process and Simulate Labelled Reconfigurable Nets Models Based on Graph Transformation
- From UML Sequence Diagrams to Labeled Generalized Stochastic Petri Net Models Using Graph Transformation
- From UML statecharts diagrams to labeled Generalized Stochastic Petri Net models using graph transformation
مجلات النشر
- Lecture notes in networks and systems × 9
- Communications in computer and information science × 7
- International Journal of Computer Aided Engineering and Technology × 4
- Quantum Information Processing × 3
- Computer Science × 3
- IEEE International Conference on Information Reuse and Integration (IRI) × 3
المنشورات حسب السنة
- 20261
- 20252
- 20243
- 20232
- 202210
- 20214
- 20206
- 20194
- 20188
- 20175
التعاون العلمي
المؤسسات الشريكة : University of Jijel · University Frères Mentouri Constantine 1 · University of Biskra · Abbès Laghrour University of Khenchela · University of Batna 1
بلدان المؤلفين المشاركين : الأردن · تونس · جنوب أفريقيا
المؤلفون المشاركون
- Elhillali Kerkouche
- Khaled Khalfaoui
- Raida Elmansouri
- Aissam Belghiat
- Imane Boussebough
- Laïd Kahloul
- Said Meghzili
- Tarek Alloui
- Mouna Bouarioua
- Okba Tibermacine
- Sofiane Chemaa
- Chaib Aouatef
البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).
لماذا تختارون Dzcademia؟
ملفات أكاديمية ومقالات ومداخلات علمية: امنحوا أبحاثكم حضوراً عاماً منظماً. تساعد البيانات الوصفية المدمجة محركات البحث ومساعدات الذكاء الاصطناعي على التعرف على أعمالكم وفهم مراجعها.
علّق عبر Google
سجّل الدخول عبر Google للتعليق مباشرة على هذه الصفحة.