Model checking and code generation for UML diagrams using graph transformation W Chama, R Elmansouri, A Chaoui International Journal of Software Engineering & Applications 3 (6), 39, 2012 | 23 | 2012 |
From UML Activity Diagrams to CSP Expressions: A Graph Transformation Approach using Atom^ sup 3^ Tool R Elmansouri, H Hamrouche, A Chaoui International Journal of Computer Science Issues (IJCSI) 8 (2), 368, 2011 | 15 | 2011 |
Modélisation et Vérification des processus métiers dans les entreprises virtuelles: Une approche basée sur la transformation de graphes R ElMansouri En ligne]. Available: https://bu. umc. edu. dz/theses/informatique/ELM5432 …, 2009 | 10 | 2009 |
A Graphical Environment for Petri Nets INA Tool Based on Meta-Modelling and Graph Grammars R El Mansouri, E Kerkouche, A Chaoui Proceedings of World Academy of Science. Engineering and Technology 34, 2008 | 10 | 2008 |
Web services modeling and composition approach using object-oriented petri nets S Chemaa, R Elmansouri, A Chaoui arXiv preprint arXiv:1304.2080, 2013 | 9 | 2013 |
From uml statecharts and collaboration diagrams to coloured petri nets models: A graph transformation based approach for modelling and analysis of business processes in virtual … R ElMansouri, A Chaoui, E Kerkouche, K Khalfaoui 2009 Fourth South-East European Workshop on Formal Methods, 73-78, 2009 | 9 | 2009 |
Using graph transformation and maude to simulate and verify UML models W Chama, R Elmansouri, A Chaoui 2013 The International Conference on Technological Advances in Electrical …, 2013 | 8 | 2013 |
An Automatic approach to verify business process models using INA petri nets analyzer E Kerkouche, R Elmansouri, A Chaoui, K Khalfaoui International Journal of Computer and Information Technology 3 (4), 706-711, 2014 | 7 | 2014 |
On transforming business patterns to labeled Petri nets using graph grammars K Mahdi, R Elmansouri, A Chaoui IJITCS) International Journal of Information Technology and Computer Science …, 2013 | 7 | 2013 |
A UML 2.0 activity diagrams/csp integrated approach for modeling and verification of software systems R Elmansouri, S Meghzili, A Chaoui Computer Science 22 (2), 2021 | 6 | 2021 |
A modeling and verification approach based on graph transformation W Chama, R Elmansouri, A Chaoui Lecture Notes on Software Engineering 1 (1), 39-43, 2013 | 5 | 2013 |
Transforming business patterns to colored petri nets using graph grammars K Mahdi, R Elmansouri, A Chaoui 2012 22nd International Conference on Computer Theory and Applications …, 2012 | 4 | 2012 |
From UML sequence diagrams to labeled generalized stochastic Petri net models using graph transformation M Bouarioua, A Chaoui, R Elmansouri e-Technologies and Networks for Development: First International Conference …, 2011 | 4 | 2011 |
Modélisation et Vérification des processus métiers dans les entreprises virtuelles R Elmansouri, Z Boufaida | 4 | 2009 |
From UML Sequence Diagrams to ECATNets: a Graph Transformation based Approach for modelling and analysis A Chaoui, R ElMansouri, W Saadi, E Kerkouche proceedings of The 4th International Conference on Information Technology ICIT, 2009 | 4 | 2009 |
From UML 2.0 diagrams to aspect oriented diagrams using graph transformation M Aouag, R Elmansouri, A Chaoui International Journal of Computer Aided Engineering and Technology 6 (2 …, 2014 | 3 | 2014 |
From UML statecharts diagrams to labeled Generalized Stochastic Petri Net models using graph transformation M Bouarioua, A Chaoui, R Elmansouri International Symposium on Innovations in Information and Communications …, 2011 | 3 | 2011 |
Integrating UML 2.0 Activity Diagrams and Pi-Calculus for Modeling and Verification of Software Systems Using TGG R Elmansouri, S Meghzili, A Chaoui, A Belghiat, O Hedjazi Jordanian Journal of Computers and Information Technology 6 (4), 2020 | 1 | 2020 |
Comprehensive Framework-Based Reconfigurable Object Nets for Managing Dynamic Protocols Evolution R Hamli, A Chaoui, R Elmansouri, A Khebizi International Journal of Organizational and Collective Intelligence (IJOCI …, 2023 | | 2023 |
Formal Verification and Implementation of an E-Voting System S Meghzili, A Chaoui, R Elmansouri, BN Alloui, A Bouabsa International Journal of Software Innovation (IJSI) 10 (1), 1-22, 2022 | | 2022 |