Raida Elmansouri

According to our database, Raida Elmansouri authored at least 8 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Comprehensive Framework-Based Reconfigurable Object Nets for Managing Dynamic Protocols Evolution.

Radja Hamli, Allaoua Chaoui, Raida Elmansouri, Ali Khebizi

Int. J. Organ. Collect. Intell., 2023

2022

Formal Verification and Implementation of an E-Voting System.

Said Meghzili, Allaoua Chaoui, Raida Elmansouri, Bardis Nadjla Alloui, Amina Bouabsa

Int. J. Softw. Innov., 2022

Towards a Full Model-Driven Approach for Modeling and Verifying Business Process Models Using CPN.

Karima Mahdi, Allaoua Chaoui, Manel Kolli, Raida Elmansouri

Int. J. Organ. Collect. Intell., 2022

2021

A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems.

Raida Elmansouri, Said Meghzili, Allaoua Chaoui

Comput. Sci., 2021

2014

From UML 2.0 diagrams to aspect oriented diagrams using graph transformation.

Mouna Aouag, Raida Elmansouri, Allaoua Chaoui

Int. J. Comput. Aided Eng. Technol., 2014

2013

Web Services Modeling and Composition Approach using Object-Oriented Petri Nets

Sofiane Chemaa, Raida Elmansouri, Allaoua Chaoui

CoRR, 2013

2012

A Formal Framework and a Tool to Process and Simulate Labelled Reconfigurable Nets Models Based on Graph Transformation.

Nardjes Dehimi, Raida Elmansouri, Allaoua Chaoui

Proceedings of the Networked Digital Technologies - 4th International Conference, 2012

2011

From UML Sequence Diagrams to Labeled Generalized Stochastic Petri Net Models Using Graph Transformation.

Mouna Bouarioua, Allaoua Chaoui, Raida Elmansouri

Proceedings of the e-Technologies and Networks for Development, 2011