Raida Elmansouri

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 3

Top Topics

Aspect Oriented

Software Systems

Formal Verification

Top Venues

Int. J. Organ. Collect. Intell.

Int. J. Softw. Innov.

Int. J. Comput. Aided Eng. Technol.

Publications

Radja Hamli, Allaoua Chaoui, Raida Elmansouri, Ali Khebizi
Comprehensive Framework-Based Reconfigurable Object Nets for Managing Dynamic Protocols Evolution. Int. J. Organ. Collect. Intell. 13 (1) (2023)
Said Meghzili, Allaoua Chaoui, Raida Elmansouri, Bardis Nadjla Alloui, Amina Bouabsa
Formal Verification and Implementation of an E-Voting System. Int. J. Softw. Innov. 10 (1) (2022)
Raida Elmansouri, Said Meghzili, Allaoua Chaoui
A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems. Comput. Sci. 22 (2) (2021)
Mouna Aouag, Raida Elmansouri, Allaoua Chaoui
From UML 2.0 diagrams to aspect oriented diagrams using graph transformation. Int. J. Comput. Aided Eng. Technol. 6 (2) (2014)
Sofiane Chemaa, Raida Elmansouri, Allaoua Chaoui
Web Services Modeling and Composition Approach using Object-Oriented Petri Nets CoRR (2013)
Nardjes Dehimi, Raida Elmansouri, Allaoua Chaoui
A Formal Framework and a Tool to Process and Simulate Labelled Reconfigurable Nets Models Based on Graph Transformation. NDT (2) (2012)
Mouna Bouarioua, Allaoua Chaoui, Raida Elmansouri
From UML Sequence Diagrams to Labeled Generalized Stochastic Petri Net Models Using Graph Transformation. ICeND (2011)