From UML Sequence Diagrams to Labeled Generalized Stochastic Petri Net Models Using Graph Transformation. - Mouna Bouarioua; Allaoua Chaoui; Raida Elmansouri (ICeND, 2011)

A Formal Framework and a Tool to Process and Simulate Labelled Reconfigurable Nets Models Based on Graph Transformation. - Nardjes Dehimi; Raida Elmansouri; Allaoua Chaoui (NDT (2), 2012)

Web Services Modeling and Composition Approach using Object-Oriented Petri Nets - Sofiane Chemaa; Raida Elmansouri; Allaoua Chaoui (CoRR, 2013)

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)

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)

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)

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)

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)