Allaoua Chaoui
Orcid: 0000-0003-3751-8084
According to our database1,
Allaoua Chaoui
authored at least 97 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
5
10
15
1
1
2
2
8
2
2
3
5
2
4
5
3
2
3
2
1
3
2
3
2
12
4
2
6
1
6
6
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Quantum Inf. Process., February, 2024
FORMALIZATION AND ANALYSIS OF UML 2.0 INTERACTION OVERVIEW DIAGRAM USING MAUDE REWRITING LOGIC LANGUAGE: Using Maude Rewriting Logic Language.
Comput. Sci., 2024
Effective Parallel Formal Verification of Reconfigurable Discrete-Event Systems Formalizing with Isabelle/HOL.
Proceedings of the Advanced Information Networking and Applications, 2024
2023
Quantum Inf. Process., January, 2023
Comprehensive Framework-Based Reconfigurable Object Nets for Managing Dynamic Protocols Evolution.
Int. J. Organ. Collect. Intell., 2023
2022
Formal verification of IoT applications using rewriting logic: An MDE-based approach.
Sci. Comput. Program., 2022
Quantum Inf. Process., 2022
Reducing the number of migrated instances during business process change: A graph rewriting approach.
J. King Saud Univ. Comput. Inf. Sci., 2022
Int. J. Softw. Innov., 2022
Towards a Full Model-Driven Approach for Modeling and Verifying Business Process Models Using CPN.
Int. J. Organ. Collect. Intell., 2022
Automatic scenario-oriented test case generation from UML activity diagrams: a graph transformation and simulation approach.
Int. J. Comput. Aided Eng. Technol., 2022
A Graph Transformation Approach for Modeling and Verification of UML 2.0 Sequence Diagrams.
Comput. Informatics, 2022
Automatic Bridge between BPMN Models and UML Activity Diagrams based on Graph Transformation.
Comput. Sci., 2022
2021
SLA-Driven modeling and verifying cloud systems: A Bigraphical reactive systems-based approach.
Comput. Stand. Interfaces, 2021
A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems.
Comput. Sci., 2021
2020
An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models.
Int. J. Softw. Innov., 2020
A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach.
Int. J. Comput. Aided Eng. Technol., 2020
Proceedings of the Modelling and Implementation of Complex Systems, 2020
Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop.
Proceedings of the Software Technologies - 15th International Conference, 2020
Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL.
Proceedings of the 15th International Conference on Software Technologies, 2020
2019
Multiagent Grid Syst., 2019
Inf. Syst. Frontiers, 2019
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, 2019
2018
Multiagent Grid Syst., 2018
J. Ambient Intell. Humaniz. Comput., 2018
Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach.
Int. J. Embed. Syst., 2018
Embedded System Verification Using Formal Model an Approach Based on the Combined Use of UML and Maude Language.
Int. J. Concept. Struct. Smart Appl., 2018
A Graphical Modelling Editor for STARSoC Design Flow Tool Based on Model Driven Engineering Approach.
e Informatica Softw. Eng. J., 2018
A Graph Transformation Approach to Generate Analysable Maude Specifications from UML Interaction Overview Diagrams.
Proceedings of the 2018 IEEE International Conference on Information Reuse and Integration, 2018
A Graph Transformation of Activity Diagrams into π-calculus for Verification Purpose.
Proceedings of the 3rd International Conference on Advanced Aspects of Software Engineering, 2018
2017
Int. J. Embed. Real Time Commun. Syst., 2017
Compiling, verifying and simulating dynamic software architectures using ANTLR and coloured-ADL.
Int. J. Commun. Networks Distributed Syst., 2017
On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL.
Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017
Proceedings of the 21st International Database Engineering & Applications Symposium, 2017
Towards a Formal Modeling of Cloud Services during the Life-cycle of Service Level Agreement.
Proceedings of the International Conference on Big Data and Internet of Things, 2017
2016
Proceedings of the Theoretical Information Reuse and Integration, 2016
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., 2016
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., 2016
Int. J. Embed. Real Time Commun. Syst., 2016
J. Comput. Inf. Technol., 2016
Proceedings of the 2016 International Conference on Advanced Aspects of Software Engineering, 2016
On TGG Ability for Transforming UML 2 Sequence Diagrams with Imbricate Combined Fragments to π-Calculus Specifications.
Proceedings of the 7th International Conference on Ambient Systems, 2016
2015
A Particle Swarm Optimization Algorithm for Web Information Retrieval: A Novel Approach.
Int. J. Intell. Inf. Technol., 2015
Int. J. Embed. Real Time Commun. Syst., 2015
Modelling and Analysis of Mobile Computing Systems: An Extended Petri Nets Formalism.
Int. J. Comput. Commun. Control, 2015
Int. J. Comput. Appl. Technol., 2015
TGG-based process for automating the transformation of UML models towards B specifications.
Int. J. Comput. Aided Eng. Technol., 2015
Capturing and Verifying Dynamic Program Behaviour Using UML Communication Diagrams and Pi-Calculus.
Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015
Proceedings of the ICSOFT-PT 2015, 2015
Proceedings of the Information and Software Technologies - 21st International Conference, 2015
QoS-Based Web Services Composition Optimization with an Extended Bat Inspired Algorithm.
Proceedings of the Information and Software Technologies - 21st International Conference, 2015
Proceedings of the IPAC '15: International Conference on Intelligent Information Processing, 2015
Proceedings of the IPAC '15: International Conference on Intelligent Information Processing, 2015
Proceedings of the KDIR 2015, 2015
A Framework for Modeling and Analysis UML Activity Diagram using Graph Transformation.
Proceedings of the 10th International Conference on Future Networks and Communications (FNC 2015) / The 12th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2015) / Affiliated Workshops, 2015
An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations.
Proceedings of the 10th International Conference on Future Networks and Communications (FNC 2015) / The 12th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2015) / Affiliated Workshops, 2015
A Graph Transformation Approach for Automatic Test Cases Generation from UML Activity Diagrams.
Proceedings of the Eighth International C* Conference on Computer Science & Software Engineering, 2015
Proceedings of the Eighth International C* Conference on Computer Science & Software Engineering, 2015
Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015
2014
Using High Level Petri Nets in the Modelling, Simulation and Verification of Reconfigurable Manufacturing Systems.
Int. J. Softw. Eng. Knowl. Eng., 2014
Int. J. Commun. Networks Distributed Syst., 2014
Int. J. Comput. Aided Eng. Technol., 2014
Optimizing QoS-Based Web Services Composition by Using Quantum Inspired Cuckoo Search Algorithm.
Proceedings of the Mobile Web Information Systems - 11th International Conference, 2014
Formalization of Mobile UML Statechart Diagrams Using the π-calculus: An Approach for Modeling and Analysis.
Proceedings of the Information and Software Technologies - 20th International Conference, 2014
Proceedings of the International C* Conference on Computer Science & Software Engineering, 2014
Proceedings of the ADECS 2014, 2014
2013
Automatic Generation of SPL Structurally Valid Products Using Graph Transformations Approach.
Proceedings of the Modeling Approaches and Algorithms for Advanced Computer Applications, 2013
Int. J. Comput. Aided Eng. Technol., 2013
CoRR, 2013
Formal Study of Reconfigurable Manufacturing Systems: A High Level Petri Nets Based Approach.
Proceedings of the Industrial Applications of Holonic and Multi-Agent Systems, 2013
Proceedings of the International C* Conference on Computer Science & Software Engineering, 2013
2012
Proceedings of the International Conference on Computational Science, 2012
Formal Specification of Software Product Lines: A Graph Transformation Based Approach.
J. Softw., 2012
J. Softw., 2012
On Structural Analysis of Interacting Behavioral Petri Nets for Distributed Causal Model-Based Diagnosis.
Int. J. Found. Comput. Sci., 2012
Quality-Centric Approach for Software Component Identification from Object-Oriented Code.
Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012
A Formal Framework and a Tool to Process and Simulate Labelled Reconfigurable Nets Models Based on Graph Transformation.
Proceedings of the Networked Digital Technologies - 4th International Conference, 2012
From UML Communication Diagrams to Aspect-Oriented Communication Diagrams Using Graph Transformation.
Proceedings of the Information and Software Technologies - 18th International Conference, 2012
Proceedings of the Seventh International Conference on Digital Information Management, 2012
Comparing and combining genetic and clustering algorithms for software component identification from object-oriented code.
Proceedings of the Fifth International C* Conference on Computer Science & Software Engineering, 2012
2011
From UML Sequence Diagrams to Labeled Generalized Stochastic Petri Net Models Using Graph Transformation.
Proceedings of the e-Technologies and Networks for Development, 2011
2010
On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models.
J. Softw., 2010
A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation.
J. Object Technol., 2010
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010
Towards a Model for Dealing with Aspect Interactions at Requirement Phase.
Proceedings of the ISCA 19th International Conference on Software Engineeringand Data Engineering (SEDE-2010) June 16-18, 2010
Modeling and Verification of RBAC Security Policies Using Colored Petri Nets and CPN-Tool.
Proceedings of the Networked Digital Technologies - Second International Conference, 2010
Proceedings of the Networked Digital Technologies - Second International Conference, 2010
Towards a generic technique for analysing interactions between aspects at requirement phase.
Proceedings of the Fifth IEEE International Conference on Digital Information Management, 2010
Mapping UML Components diagrams to XML using Graph Transformation.
Proceedings of the ISCA 23rd International Conference on Computer Applications in Industry and Engineering, 2010
2009
Modeling and Verification of Dynamic Behavior in UML Models: A Graph Transformation Approach.
Proceedings of the 18th International Conference on Software Engineering and Data Engineering (SEDE-2009), 2009
Proceedings of the Eighth International Symposium on Parallel and Distributed Computing, 2009
Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), 2009
A Formal Framework and a Tool for the Specification and Analysis of G-Nets Models Based on Graph Transformation.
Proceedings of the Distributed Computing and Networking, 10th International Conference, 2009
Proceedings of the 2nd Conférence Internationale sur l'Informatique et ses Applications (CIIA'09), 2009
Proceedings of the 2nd Conférence Internationale sur l'Informatique et ses Applications (CIIA'09), 2009
2008
Proceedings of the 1st International Conference on MOBILe Wireless MiddleWARE, 2008
A Tool for Design and Verification of Distributed Manufacturing Process Based on Meta-Modelling and Graph Grammars: Application to a Production Line.
Proceedings of the ISCA 21st International Conference on Computer Applications in Industry and Engineering, 2008