Publications
Résultat de la recherche :
Equipe = MFGL
2020
|
Elhillali Kerkouche; Khaled Khalfaoui; Allaoua Chaoui
A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach. Int. J. of Computer Aided Engineering and Technology 12(2): 237-262 (2020) |
|
|
Said Meghzili; Allaoua Chaoui; Martin Streckecker; Elhillali Kerkouche
An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models. Int. J. of Software Innovation (IJSI) 8(1): 33 (2020) |
|
|
Aissam Belghiat; Dalal Oukhaf; Allaoua Chaoui
Transforming UML Diagrams to YAWL models for Business Processes Analysis.. In book Modelling and Implementation of Complex Systems: 279-293 (2020) |
|
|
Sohaib Soualah; Mohamed Khalgui; Allaoua Chaoui; Laid Kahloul; Yousra Hafidi
Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop. 15th Int. Conf. on Software Technologies (ICSOFT'2020): 227-241 (2020) |
|
|
Abderraouf Dembri; Mohamed Gharzouli
Graph-based Model for Negative e-WOM Influence in Social Media. 5th Int. Conf. on Cloud Computing and Artificial Intelligence: Technologies and Applications (CloudTech): 1-6 (2020) |
|
|
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. Int. Conf. on Software Technologies (ICSOFT'20) (2020) |
|
|
Anfel Selmadji; Abdelhak-Djamel Seriai; Hinde-Lilia Bouziane; Rahina Oumarou Mahamane; Pascal Zaragoza; Christophe Dony
From Monolithic Architecture Style to Microservice one Based on a Semi-Automatic Approach. Int. Conf. on Software Architecture (ICSA): 157-168 (2020) |
|
|
Raida Elmansouri; Said Meghzili; Allaoua Chaoui; Aissam Belghiat; Omar Hedjazi
|
2019
|
Fayçal Guerrouf; Allaoua Chaoui
A graph transformation based approach for multi-agent systems reorganization. Multiagent and Grid Systems 15(4): 375-394 (2019) |
|
|
Aissam Belghiat; Allaoua Chaoui
A multi-paradigm approach to model and verify mobile agent software systems. Multiagent and Grid Systems 14(4): 337-356 (2019) |
|
|
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. of Computational Vision and Robotics 9(2): 172-191 (2019) |
2018
|
Salim Djaaboub; Elhillali Kerkouche; Allaoua Chaoui
Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach. Int. J. of Embedded Systems (IJES) 10(6): 453-469 (2018) |
|
|
Amel meliouh; Allaoua Chaoui
Embedded System Verification Using Formal Model an Approach Based on the Combined Use of UML and Maude Language. Int. J. of Conceptual Structures and Smart Applications (IJCSSA) 6(2): 42-58 (2018) |
|
|
Khalil Elbaz; Allaoua Chaoui
An Empirical Study to Improve Software Quality through Design Patterns. Int. J. of Industrial and Systems Engineering 29(1): 74 - 94 (2018) |
|
|
Elhillali Kerkouche; Elbey Bourennane; Allaoua Chaoui
A Graphical Modelling Editor for STARSoC Design Flow Tool Based on Model Driven Engineering Approach. e-Informatica Software Engineering J. 12(1): 9–26 (2018) |
|
|
Aouatef Chaib; Imane Boussebough; Allaoua Chaoui
Adaptive service composition in an ambient environment with a multi-agent system. J. of Ambient Intelligence and Humanized Computing (JAIHC) 9(2): 367-380 (2018) |
|
|
Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche
Verification of Model Transformations Using Isabelle/HOL and Scala. Information Systems Frontiers (2018) |
|
|
Mohamed Boubakir; Allaoua Chaoui
An Incremental Approach for the Extraction of Software Product Lines from Model Variants. Int. Conf. on Computer Science and its Applications (CSA'18): 124-134 (2018) |
|
|
Chafika Djaoui; Elhillali Kerkouche; Allaoua Chaoui; Khaled Khalfaoui
A Graph Transformation Approach to Generate Analysable Maude Specifications from UML Interaction Overview Diagrams. Int. Conf. on Information Reuse and Integration (IRI'18): 511-517 (2018) |
|
|
Mohamed Boubakir; Allaoua Chaoui
An Incremental Approach for the Extraction of Software Product Lines from Model Variants. 3rd Int. Conf. on Computer Science and its Applications: 124-134 (2018) |