From MDA Platform-Specific Model to Code Generation: Coupling of RM-ODP and UML Action Semantics Standards. - Reda Bendraou; Salim Bouzitouna; Marie-Pierre Gervais (Software Engineering Research and Practice, 2004)

MDA Components: A Flexible Way for Implementing the MDA Approach. - Reda Bendraou; Philippe Desfray; Marie-Pierre Gervais (ECMDA-FA, 2005)

UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling. - Reda Bendraou; Marie-Pierre Gervais; Xavier Blanc 001 (MoDELS, 2005)

UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions. - Reda Bendraou; Marie-Pierre Gervais; Xavier Blanc 001 (EDOC, 2006)

Definition of an Executable SPEM 2.0. - Reda Bendraou; Benoît Combemale; Xavier Crégut; Marie-Pierre Gervais (APSEC, 2007)

Software Process Modeling and Execution: The UML4SPM to WS-BPEL Approach. - Reda Bendraou; Andrey Sadovykh; Marie-Pierre Gervais; Xavier Blanc 001 (EUROMICRO-SEAA, 2007)

A Framework for Classifying and Comparing Process Technology Domains. - Reda Bendraou; Marie-Pierre Gervais (ICSEA, 2007)

Vers l'Exécutabilité des Modèles de Procédés Logiciels. - Reda Bendraou; Marie-Pierre Gervais; Xavier Blanc 001; Jean-Marc Jézéquel (LMO, 2008)

MDA Tool Components: a proposal for packaging know-how in model driven development. - Reda Bendraou; Philippe Desfray; Marie-Pierre Gervais; Alexis Muller (Softw. Syst. Model., 2008)

Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Execution. - Reda Bendraou; Jean-Marc Jézéquel; Franck Fleurey (ICSP, 2009)

Towards Automated Inconsistency Handling in Design Models. - Marcos Aurélio Almeida da Silva; Alix Mougenot; Xavier Blanc 001; Reda Bendraou (CAiSE, 2010)

Early Deviation Detection in Modeling Activities of MDE Processes. - Marcos Aurélio Almeida da Silva; Reda Bendraou; Xavier Blanc 001; Marie-Pierre Gervais (MoDELS (2), 2010)

Artifact or Process Guidance, an Empirical Study. - Marcos Aurélio Almeida da Silva; Alix Mougenot; Reda Bendraou; Jacques Robin; Xavier Blanc 001 (MoDELS (2), 2010)

A Comparison of Six UML-Based Languages for Software Process Modeling. - Reda Bendraou; Jean-Marc Jézéquel; Marie-Pierre Gervais; Xavier Blanc 001 (IEEE Trans. Software Eng., 2010)

Exception Handling Patterns for Process Modeling. - Barbara Staudt Lerner; Stefan Christov; Leon J. Osterweil; Reda Bendraou; Udo Kannengiesser; Alexander E. Wise (IEEE Trans. Software Eng., 2010)

Process-Centred Approaches for Model-Driven Engineering (PMDE) - First Edition. - Reda Bendraou; Rédouane Lbath; Bernard Coulette; Marie-Pierre Gervais (ECMFA, 2011)

Flexible Deviation Handling during Software Process Enactment. - Marcos Aurélio Almeida da Silva; Reda Bendraou; Jacques Robin; Xavier Blanc 001 (EDOCW, 2011)

Deviation management during process execution. - Marcos Aurélio Almeida da Silva; Xavier Blanc 001; Reda Bendraou (ASE, 2011)

Support for Deviation Detections in the Context of Multi-Viewpoint-Based Development Processes. - Reda Bendraou; Marcos Aurélio Almeida da Silva; Marie-Pierre Gervais; Xavier Blanc 001 (CAiSE Forum, 2012)

Achieving process modeling and execution through the combination of aspect and model-driven engineering approaches. - Reda Bendraou; Jean-Marc Jézéquel; Franck Fleurey (J. Softw. Evol. Process., 2012)

Generation of process using multi-objective genetic algorithm. - Yoann Laurent; Reda Bendraou; Marie-Pierre Gervais (ICSSP, 2013)

Towards a solution avoiding Vendor Lock-in to enable Migration Between Cloud Platforms. - Alexandre Beslic; Reda Bendraou; Julien Sopenal; Jean-Yves Rigolet (MDHPCL@MoDELS, 2013)

Executing and debugging UML models: an fUML extension. - Yoann Laurent; Reda Bendraou; Marie-Pierre Gervais (SAC, 2013)

Towards a Full Specification and Use of Overlap Relationships between Work Products in MDE Software Processes. - Ibrahima Fall; Reda Bendraou; Marie-Pierre Gervais; Xavier Blanc 001 (WETICE, 2013)

Experiments on the impact of deviations to process execution. - Marcos Aurélio Almeida da Silva; Xavier Blanc 001; Reda Bendraou; Marie-Pierre Gervais (Ingénierie des Systèmes d Inf., 2013)

Formalization of fUML: An Application to Process Verification. - Yoann Laurent; Reda Bendraou; Souheib Baarir; Marie-Pierre Gervais (CAiSE, 2014)

Alloy4SPV : A Formal Framework for Software Process Verification. - Yoann Laurent; Reda Bendraou; Souheib Baarir; Marie-Pierre Gervais (ECMFA, 2014)

On the need to study the impact of model driven engineering on software processes. - Regina Hebig; Reda Bendraou (ICSSP, 2014)

Model-Driven Development Processes and Practices: Foundations and Research Perspectives. - Regina Hebig; Reda Bendraou; Markus Völter; Michel R. V. Chaudron (MD2P2@MoDELS, 2014)

Planning for declarative processes. - Yoann Laurent; Reda Bendraou; Souheib Baarir; Marie-Pierre Gervais (SAC, 2014)

Incremental inconsistency detection with low memory overhead. - Jean-Rémy Falleri; Xavier Blanc 001; Reda Bendraou; Marcos Aurélio Almeida da Silva; Cédric Teyton (Softw. Pract. Exp., 2014)

Surveying the Corpus of Model Resolution Strategies for Metamodel Evolution. - Regina Hebig; Djamel Eddine Khelladi; Reda Bendraou (APSEC, 2015)

Detecting Complex Changes During Metamodel Evolution. - Djamel Eddine Khelladi; Regina Hebig; Reda Bendraou; Jacques Robin; Marie-Pierre Gervais (CAiSE, 2015)

On Lightweight Metamodel Extension to Support Modeling Tools Agility. - Hugo Bruneliere; Jokin García; Philippe Desfray; Djamel Eddine Khelladi; Regina Hebig; Reda Bendraou; Jordi Cabot (ECMFA, 2015)

A framework to formally verify conformance of a software process to a software method. - Djamel Eddine Khelladi; Reda Bendraou; Souheib Baarir; Yoann Laurent; Marie-Pierre Gervais (SAC, 2015)

Towards a User-Guided Difference-Based Detection of Atomic Changes. - Djamel Eddine Khelladi; Reda Bendraou; Marie-Pierre Gervais (ICECCS, 2016)

AD-ROOM: a tool for automatic detection of refactorings in object-oriented models. - Djamel Eddine Khelladi; Reda Bendraou; Marie-Pierre Gervais (ICSE (Companion Volume), 2016)

Metamodel and Constraints Co-evolution: A Semi Automatic Maintenance of OCL Constraints. - Djamel Eddine Khelladi; Regina Hebig; Reda Bendraou; Jacques Robin; Marie-Pierre Gervais (ICSR, 2016)

Supporting the co-adaption of process properties. - Djamel Eddine Khelladi; Reda Bendraou; Regina Hebig; Marie-Pierre Gervais (ICSSP, 2016)

SAC-OCL: A Tool for A Semi Automatic Co-evolution of OCL Constraints. - Djamel Eddine Khelladi; Reda Bendraou; Marie-Pierre Gervais (D&P@MoDELS, 2016)

Detecting complex changes and refactorings during (Meta)model evolution. - Djamel Eddine Khelladi; Regina Hebig; Reda Bendraou; Jacques Robin; Marie-Pierre Gervais (Inf. Syst., 2016)

ICSSP 2015-Special Issue Introduction. - Dietmar Pfahl; Marco Kuhrmann; Reda Bendraou; Richard Turner 001 (J. Softw. Evol. Process., 2016)

Continuous Process Compliance Using Model Driven Engineering. - Fahad Rafique Golra; Fabien Dagnat; Reda Bendraou; Antoine Beugnard (MEDI, 2017)

A semi-automatic maintenance and co-evolution of OCL constraints with (meta)model evolution. - Djamel Eddine Khelladi; Reda Bendraou; Regina Hebig; Marie-Pierre Gervais (J. Syst. Softw., 2017)

Coadapting multidimension process properties. - Djamel Eddine Khelladi; Reda Bendraou; Regina Hebig; Marie-Pierre Gervais (J. Softw. Evol. Process., 2017)

Approaches to Co-Evolution of Metamodels and Models: A Survey. - Regina Hebig; Djamel Eddine Khelladi; Reda Bendraou (IEEE Trans. Software Eng., 2017)

Semi-Supervised Approach for Recovering Traceability Links in Complex Systems. - Emma Effa Bella; Marie-Pierre Gervais; Reda Bendraou; Laurent Wouters; Ali Koudri (ICECCS, 2018)

ProVer: an SMT-based approach for process verification. - Souheib Baarir; Reda Bendraou; Hakan Metin; Yoann Laurent (MoDELS (Workshops), 2018)

Reporting on a Survey on Approaches to Co-Evolution of Metamodels and Models. - Regina Hebig; Djamel Eddine Khelladi; Reda Bendraou (Software Engineering, 2018)

ATLaS: A Framework for Traceability Links Recovery Combining Information Retrieval and Semi-Supervised Techniques. - Emma Effa Bella; Stephen Creff; Marie-Pierre Gervais; Reda Bendraou (EDOC, 2019)

Innovative process paradigms and data driven analytics: A new horizon for software and systems process. - David Raffo; Reda Bendraou; LiGuo Huang; Fabrizio Maria Maggi (J. Softw. Evol. Process., 2019)

Expanding the Number of Reviewers in Open-Source Projects by Recommending Appropriate Developers. - Aleksandr Chueshev; Julia Lawall; Reda Bendraou; Tewfik Ziadi (ICSME, 2020)