Search result : Team = MFGL
Mohammed Mounir Bouhamed; Gregorio Díaz; Allaoua Chaoui; Oussama Kamel; Radouane Nouara
Models@Runtime: The Development and Re-Configuration Management of Python Applications Using Formal Methods. Applied Sciences 11(20): 21 (2021)
Mohamed Boubakir; Allaoua Chaoui
An Approach And A Tool For Merging A Set Of Models In Pairwise Way. Malaysian J. of Computer Science 34(1): 13–33 (2021)
Raida Elmansouri; Said Meghzili; Allaoua Chaoui
A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems. Computer Science 22(2): 209–235 (2021)
Oussama Kamel; Allaoua Chaoui; Gregorio Diaz; Mohamed Gharzouli
SLA-Driven Modeling and Verifying Cloud Systems: A Bigraphical Reactive Systems-based Approach. Computer Standards & Interfaces 74 (2020)
Raida Elmansouri; Said Meghzili; Allaoua Chaoui; Aissam Belghiat; Omar Hedjazi
Integrating UML 2.0 Activity Diagrams and PI-Calculus for Modeling and Verification of Software Systems using TGG. Jordanian J. of Computers and Information Technology 6(4) (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
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)
Karima Berramla; El Abbassia Deba; Mohamed Elkamel Hamdane; Abou El Hassen Benyamina
Semi-Automatic Generation of Transformation Rules: From AADL to Timed Automata. 2nd Int. Conf. on Networking, Information Systems & Security (NISS'19): 1-7 (2019)
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)