| 2026 | ENASE | STALLM: Benchmarking Prompts and LLMs in Software Maintenance. | Tewfik Ziadi, Seifeddine Bouallegue, Reda Bendraou |
| 2025 | AICCSA | LAMPAS: LLM-driven Adaptive Multi-factor Personalised learning System. | Reda Bendraou, Fatima Gul Zeb, Aziza Mohammed, Warda Ifran, Kalysha Utama, Fatima Anwar Safir, Ali Ahmad, Oussama Djedidi |
| 2019 | EDOC | ATLaS: A Framework for Traceability Links Recovery Combining Information Retrieval and Semi-Supervised Techniques. | Emma Effa Bella, Stephen Creff, Marie-Pierre Gervais, Reda Bendraou |
| 2018 | ICECCS | Semi-Supervised Approach for Recovering Traceability Links in Complex Systems. | Emma Effa Bella, Marie-Pierre Gervais, Reda Bendraou, Laurent Wouters, Ali Koudri |
| 2018 | MODELS | ProVer: an SMT-based approach for process verification. | Souheib Baarir, Reda Bendraou, Hakan Metin, Yoann Laurent |
| 2017 | MEDI | Continuous Process Compliance Using Model Driven Engineering. | Fahad Rafique Golra, Fabien Dagnat, Reda Bendraou, Antoine Beugnard |
| 2016 | ICECCS | Towards a User-Guided Difference-Based Detection of Atomic Changes. | Djamel Eddine Khelladi, Reda Bendraou, Marie-Pierre Gervais |
| 2016 | ICSE | AD-ROOM: a tool for automatic detection of refactorings in object-oriented models. | Djamel Eddine Khelladi, Reda Bendraou, Marie-Pierre Gervais |
| 2016 | ICSR | Metamodel and Constraints Co-evolution: A Semi Automatic Maintenance of OCL Constraints. | Djamel Eddine Khelladi, Regina Hebig, Reda Bendraou, Jacques Robin, Marie-Pierre Gervais |
| 2016 | MODELS | SAC-OCL: A Tool for A Semi Automatic Co-evolution of OCL Constraints. | Djamel Eddine Khelladi, Reda Bendraou, Marie-Pierre Gervais |
| 2015 | APSEC | Surveying the Corpus of Model Resolution Strategies for Metamodel Evolution. | Regina Hebig, Djamel Eddine Khelladi, Reda Bendraou |
| 2015 | CaiSE | Detecting Complex Changes During Metamodel Evolution. | Djamel Eddine Khelladi, Regina Hebig, Reda Bendraou, Jacques Robin, Marie-Pierre Gervais |
| 2015 | SAC | 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 |
| 2014 | CaiSE | Formalization of fUML: An Application to Process Verification. | Yoann Laurent, Reda Bendraou, Souheib Baarir, Marie-Pierre Gervais |
| 2014 | MODELS | Model-Driven Development Processes and Practices: Foundations and Research Perspectives. | Regina Hebig, Reda Bendraou, Markus Vlter, Michel R. V. Chaudron |
| 2014 | SAC | Planning for declarative processes. | Yoann Laurent, Reda Bendraou, Souheib Baarir, Marie-Pierre Gervais |
| 2013 | MODELS | Towards a solution avoiding Vendor Lock-in to enable Migration Between Cloud Platforms. | Alexandre Beslic, Reda Bendraou, Julien Sopenal, Jean-Yves Rigolet |
| 2013 | SAC | Executing and debugging UML models: an fUML extension. | Yoann Laurent, Reda Bendraou, Marie-Pierre Gervais |
| 2013 | WETICE | 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 |
| 2012 | CaiSE | Support for Deviation Detections in the Context of Multi-Viewpoint-Based Development Processes. | Reda Bendraou, Marcos Aurlio Almeida da Silva, Marie-Pierre Gervais, Xavier Blanc |
| 2011 | EDOC | Flexible Deviation Handling during Software Process Enactment. | Marcos Aurlio Almeida da Silva, Reda Bendraou, Jacques Robin, Xavier Blanc |
| 2010 | CaiSE | Towards Automated Inconsistency Handling in Design Models. | Marcos Aurlio Almeida da Silva, Alix Mougenot, Xavier Blanc, Reda Bendraou |
| 2010 | MODELS | Early Deviation Detection in Modeling Activities of MDE Processes. | Marcos Aurlio Almeida da Silva, Reda Bendraou, Xavier Blanc, Marie-Pierre Gervais |
| 2010 | MODELS | Artifact or Process Guidance, an Empirical Study. | Marcos Aurlio Almeida da Silva, Alix Mougenot, Reda Bendraou, Jacques Robin, Xavier Blanc |
| 2007 | APSEC | Definition of an Executable SPEM 2.0. | Reda Bendraou, Benot Combemale, Xavier Crgut, Marie-Pierre Gervais |
| 2007 | ICSEA | A Framework for Classifying and Comparing Process Technology Domains. | Reda Bendraou, Marie-Pierre Gervais |
| 2006 | EDOC | UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions. | Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc |