Staff directory

BENDRAOU Reda

Full Professor
Team : MoVe
https://wp-systeme.lip6.fr/rbendraou

Departure date : 12/31/2023

Four past PhD Students (2012 - 2016) at Sorbonne University

One past Postdoc (2014) at Sorbonne University

2004-2020 Publications

2020
- A. Chueshev, J. Lawall, R. Bendraou, T. Ziadi : “Expanding the Number of Reviewers in Open-Source Projects by Recommending Appropriate Developers”, ICSME 2020 - International Conference on Software Maintenance and Evolution, Adélaïde / Virtual, Australia (2020)
2019
- E. EFFA BELLA, S. Creff, M.‑P. Gervais, R. Bendraou : “ATLaS: A Framework for Traceability Links Recovery Combining Information Retrieval and Semi-supervised Techniques”, 23RD IEEE INTERNATIONAL EDOC CONFERENCE - THE ENTERPRISE COMPUTING CONFERENCE, Paris, France (2019)
- D. Raffo, R. Bendraou, L. Huang, F. Maggi : “Innovative process paradigms and data driven analytics: A new horizon for software and systems process”, Journal of Software: Evolution and Process, vol. 31 (6), Innovative process paradigms and data driven analytics: A new horizon for software and systems process, (John Wiley & Sons, Ltd.) (2019)
2018
- E. EFFA BELLA, L. Wouters, M.‑P. Gervais, A. Koudri, R. Bendraou : “Semi-supervised Approach for Recovering Traceability Links in Complex Systems”, ICECCS 2018 - 23^rd International Conference on Engineering of Complex Computer Systems, Melbourne, Australia (2018)
- S. Baarir, R. Bendraou, H. Metin, Y. Laurent : “ProVer: an SMT-based approach for process verification”, Model-Driven Engineering Verification & Validation, MoDELS Workshop, vol. 2245, MODELS Workshops, Copenhague, Denmark, pp. 555-562 (2018)
- R. Hebig, R. Bendraou, D. Khelladi : “Reporting on a Survey on Approaches to Co-Evolution of Metamodels and Models”, Software Engineering, Berlin, Germany (2018)
2017
- D. Khelladi, R. Bendraou, R. Hebig, M.‑P. Gervais : “A semi-automatic maintenance and co-evolution of OCL constraints with (meta)model evolution”, Journal of Systems and Software, vol. 134, pp. 242-260, (Elsevier) (2017)
- R. Bendraou, F. Maggi : “Proceedings of the 2017 International Conference on Software and System Process, Paris, France, ICSSP 2017”, (ACM), (ISBN: 978-1-4503-5270-3) (2017)
- D. Khelladi, R. Bendraou, R. Hebig, M.‑P. Gervais : “Coadapting multidimension process properties”, Journal of Software: Evolution and Process, vol. 29 (11), Special Issue: Process in Action: The Best Papers from The International Conference on Software and Systems Process 2016, pp. e1860, (John Wiley & Sons, Ltd.) (2017)
- R. Hebig, D. Khelladi, R. Bendraou : “Approaches to Co-Evolution of Metamodels and Models: A Survey”, IEEE Transactions on Software Engineering, vol. 43 (5), pp. 396-414, (Institute of Electrical and Electronics Engineers) (2017)
- F. Golra, F. Dagnat, R. Bendraou, A. Beugnard : “Continuous Process Compliance Using Model Driven Engineering”, Proceedings MEDI 2017 : 7^th International Conference on Model and Data Engineering, vol. 10563, Lecture Notes in Computer Science, Barcelone, Spain, pp. 42-56, (Springer International Publishing) (2017)
2016
- D. Khelladi, R. Bendraou, M.‑P. Gervais : “AD-ROOM: a tool for automatic detection of refactorings in object-oriented models”, Proceedings of the 38^th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume, Austin, United States, pp. 617-620, (ACM) (2016)
- D. Khelladi, R. Bendraou, R. Hebig, M.‑P. Gervais : “Supporting the co-adaption of process properties”, Proceedings of the International Conference on Software and Systems Process, Austin, TX, United States, pp. 1-5, (ACM) (2016)
- D. Khelladi, R. Hebig, R. Bendraou, J. Robin, M.‑P. Gervais : “Detecting complex changes and refactorings during (Meta)model evolution”, Information Systems, vol. 62, Information Systems, (Elsevier) (2016)
- D. Khelladi, R. Bendraou, M.‑P. Gervais : “SAC-OCL: A Tool for A Semi Automatic Co-evolution of OCL Constraints”, Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19^th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Saint-Malo, France, pp. 40-47 (2016)
- D. Khelladi, R. Bendraou, M.‑P. Gervais : “Towards a User-Guided Difference-Based Detection of Atomic Changes”, Engineering of Complex Computer Systems (ICECCS), 2016 21^st International Conference on, Dubai, United Arab Emirates, pp. 211-214 (2016)
- D. Khelladi, R. Hebig, R. Bendraou, J. Robin, M.‑P. Gervais : “Metamodel and Constraints Co-evolution: A Semi Automatic Maintenance of OCL Constraints”, Proceedings on Software Reuse: Bridging with Social-Awareness - 15^th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, }, vol. 9679, Lecture Notes in Computer Science, Limassol, Cyprus, pp. 333-349, (Springer) (2016)
- D. Pfahl, M. Kuhrmann, R. Bendraou, R. Turner : “ICSSP 2015-Special Issue Introduction”, Journal of Software: Evolution and Process, vol. 28 (9), pp. 716-721, (John Wiley & Sons, Ltd.) (2016)
2015
- R. Bendraou : “Model-Driven Process Engineering for flexible yet sound process modeling, execution and verification”, habilitation, phd defence 12/14/2015 (2015)
- R. Bendraou, D. Pfahl, T. Richard, M. Kuhlmann, R. Hebig, F. Maggi : “Proceedings of the 2015 International Conference on Software and System Process”, Proceedings of the 2015 International Conference on Software and System Process, (ISBN: 978-1-4503-3346-7) (2015)
- H. Bruneliere, J. Garcia, Ph. Desfray, D. Khelladi, R. Hebig, R. Bendraou, J. Cabot : “On Lightweight Metamodel Extension to Support Modeling Tools Agility”, 11^th European Conference on Modelling Foundations and Applications (ECMFA 2015) (a STAF 2015 conference), vol. 9153, Lecture Notes in Computer Science, L'Aquila, Italy, pp. 62-74, (Springer) (2015)
- D. Khelladi, R. Hebig, R. Bendraou, J. Robin, M.‑P. Gervais : “Detecting Complex Changes During Metamodel Evolution”, 27^th International Conference on Advanced Information Systems Engineering, vol. 9097, Lecture Notes in Computer Science, Stockholm, Sweden, pp. 263-278 (2015)
- D. Khelladi, R. Bendraou, S. Baarir, Y. Laurent, M.‑P. Gervais : “A Framework to Formally Verify Conformance of a Software Process to a Software Method”, 30^th ACM/SIGAPP Symposium On Applied Computing SAC, Salamanca, Spain, pp. 1518-1525, (ACM) (2015)
- R. Hebig, D. Khelladi, R. Bendraou : “Surveying the Corpus of Model Resolution Strategies for Metamodel Evolution”, Software Engineering Conference (APSEC), 2015 Asia-Pacific, New Delhi, India, pp. 135-142, (IEEE Xplore) (2015)
2014
- R. Hebig, R. Bendraou, M. Völter, M. Chaudron : “Model-Driven Development Processes and Practices: Foundations and Research Perspectives”, 1^st International Workshop on Model-Driven Development Processes and Practices, Valencia, Spain, pp. 2-6, (CEUR) (2014)
- R. Hebig, R. Bendraou : “On the Need to Study the Impact of Model Driven Engineering on Software Processes”, International Conference on Software and Systems Process (ICSSP), Nanjing, Jiangsu, China, pp. 164-168, (ACM) (2014)
- J.‑R. Falleri, X. Blanc, R. Bendraou, M. Almeida Da Silva, C. Teyton : “Incremental inconsistency detection with low memory overhead”, Software: Practice and Experience, vol. 44 (5), pp. 621-641, (Wiley) (2014)
- R. Hebig, R. Bendraou, M. Völter, M. Chaudron : “Proceedings of the 1^st International Workshop on Model-Driven Development Processes and Practices (MD$^2$P$^2$)”, 1^st International Workshop on Model-Driven Development Processes and Practices (MD$^2$P$^2$), vol. 1249, CEUR Workshop Proceedings, Valence, Spain, (CEUR), (ISBN: urn:nbn:de:0074-1249-5) (2014)
- Y. Laurent, R. Bendraou, S. Baarir, M.‑P. Gervais : “Alloy4SPV : A Formal Framework for Software Process Verification”, ECMFA 2014 - 10^th European Conference on Modelling Foundations and Applications, vol. 8569, Lecture Notes in Computer Science, York, United Kingdom, pp. 83-100, (Springer) (2014)
- Y. Laurent, R. Bendraou, S. Baarir, M.‑P. Gervais : “Formalization of fUML: An Application to Process Verification”, CAiSE 2014 - The 26^th International Conference on Advanced Information Systems Engineering, vol. 8484, Lecture Notes in Computer Science, Thessaloniki, Greece, pp. 347-363, (Springer) (2014)
- Y. Laurent, R. Bendraou, S. Baarir, M.‑P. Gervais : “Planning for Declarative Processes”, SAC'14 - The 29^th Annual ACM Symposium on Applied Computing, Gyeongju, Korea, Republic of, pp. 1126-1133, (ACM) (2014)
2013
- A. Beslic, R. Bendraou, J. Sopena, J.‑Y. Rigolet : “Towards a solution avoiding Vendor Lock-in to enable Migration Between Cloud Platforms”, MDHPCL 2013 - 2^nd International Workshop on Model-Driven Engineering for High Performance and CLoud computing, Miami, Florida, United States, pp. 5-14 (2013)
- I. Fall, R. Bendraou, M.‑P. Gervais, X. Blanc : “Towards a Full Specification and Use of Overlap Relationships between Work Products in MDE Software Processes”, 22^nd International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2013, Hammamet, Tunisia, pp. 209-217, (IEEE) (2013)
- Y. Laurent, R. Bendraou, M.‑P. Gervais : “Generation of Process Using Multi-Objective Genetic Algorithm”, International Conference on Software and System Process, ICSSP 2013, San Francisco, CA, United States, pp. 161-165, (ACM) (2013)
- Y. Laurent, R. Bendraou, M.‑P. Gervais : “Executing and debugging UML models: an fUML extension”, SAC'13 - The 28^th Annual ACM Symposium on Applied Computing, Coimbra, Portugal, pp. 1095-1102, (ACM) (2013)
2012
- R. Bendraou, J.‑M. Jézéquel, F. Fleurey : “Achieving Process modeling and Execution through the Combination of Aspect and Model-Driven Engineering Approaches”, Journal of Software: Evolution and Process, vol. 24 (7), pp. 765-781, (John Wiley & Sons, Ltd.) (2012)
- R. Bendraou, M. Almeida Da Silva, M.‑P. Gervais, X. Blanc : “Support for deviation detections in the context of multi-viewpoint-based development processes”, CAiSE'12 Forum at the 24^th International Conference on Advanced Information Systems Engineering, vol. 855, Gdansk, Poland, pp. 23-31, (CEUR) (2012)
2011
- M. Almeida Da Silva, X. Blanc, R. Bendraou : “Deviation Management during Process Execution”, 26^th IEEE/ACM International Conference on Automated Software Engineering (ASE), Lawrence, Kan, United States, pp. 528-531, (ACM) (2011)
- M. Almeida Da Silva, R. Bendraou, J. Robin, X. Blanc : “Flexible Deviation Handling during Software Process Enactment”, 15^th IEEE Workshops on International Enterprise Distributed Object Computing Conference (EDOCW), Helsinki, Finland, pp. 34-41, (IEEE) (2011)
- R. Bendraou, R. Lbath, B. Coulette, M.‑P. Gervais : “Process-Centred Approaches for Model-Driven Engineering (PMDE) - First Edition”, 7^th European Conference on Modelling Foundations and Applications (ECMFA), vol. 6698, Lecture Notes in Computer Science, Birmingham, United Kingdom, pp. 383-384, (Springer) (2011)
- R. Bendraou, R. Lbath, B. Coulette, M.‑P. Gervais : “Proceedings of the 1^st workshop on Process-Centred Approaches for Model-Driven Engineering (PMDE), associated with ECMFA 2011”, (IRIT editions), (ISBN: 1-4020-7996-6) (2011)
2010
- M. Almeida Da Silva, A. Mougenot, R. Bendraou, J. Robin, X. Blanc : “Artifact or Process Guidance, an Empirical Study”, MoDELS (2), vol. 6395, Lecture Notes in Computer Science, Oslo, Norway, pp. 318-330, (Springer) (2010)
- M. Almeida Da Silva, R. Bendraou, X. Blanc, M.‑P. Gervais : “Early Deviation Detection in Modeling Activities of MDE Processes”, ACM/IEEE 13^th International Conference on Model Driven Engineering Languages and Systems, vol. 6395, Lecture Notes in Computer Science, Oslo, Norway, pp. 303-317, (Springer) (2010)
- R. Bendraou, J.‑M. Jézéquel, M.‑P. Gervais, X. Blanc : “A Comparison of Six UML-Based Languages for Software Process Modeling”, IEEE Transactions on Software Engineering, vol. 36 (5), pp. 662-675, (Institute of Electrical and Electronics Engineers) (2010)
- M. Almeida Da Silva, A. Mougenot, X. Blanc, R. Bendraou : “Towards Automated Inconsistency Handling in Design Models”, 22^nd International Conference on Advanced Information Systems Engineering, CAiSE 2010, vol. 6051, Lecture Notes in Computer Science, Hammamet, Tunisia, pp. 348-362, (Springer) (2010)
- B. Staudt lerner, S. Christov, L. Osterweil, R. Bendraou, U. Kannengiesser, A. Wise : “{Exception Handling Patterns for Process Modeling}”, IEEE Transactions on Software Engineering, vol. 36 (2), pp. 162-183, (Institute of Electrical and Electronics Engineers) (2010)
- R. Bendraou, D. Cancila, H. Espinoza, S. Gerard, F. Kordon, B. Selic : “1^st Model-Based Engineering for Real-Time Embedded Systems Design (associated to ISORC 2010)”, (IEEE Computer Society), (ISBN: 978-0-7695-4038-2) (2010)
2009
- R. Bendraou, J.‑M. Jézéquel, F. Fleurey : “Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Simulation”, ICSP 2009 - International Conference on Software Process, vol. 5543, Lecture Notes in Computer Science, Vancouver, Canada, pp. 148-160, (Springer) (2009)
2008
- R. Bendraou, Ph. Desfray, M.‑P. Gervais, A. Muller : “MDA Tool Components: A Proposal for Packaging Know-how in Model Driven Development”, Software and Systems Modeling, vol. 7 (3), pp. 329-343, (Springer Verlag) (2008)
- R. Bendraou, M.‑P. Gervais, X. Blanc, J.‑M. Jézéquel : “Vers l’Exécutabilité des Modèles de Procédés Logiciels”, 14^e colloque international sur les Langages et Modèles à Objets (LMO'08), vol. RNTI-L-1, Revue des Nouvelles Technologies de l'Information, Montréal, Quebec, Canada, pp. 153-168, (RNTI) (2008)
2007
- R. Bendraou : “UML4SPM: Un Langage de Modélisation de Procédés De Développement Logiciel Exécutable Et Orienté Modèle”, thesis, phd defence 09/06/2007, supervision Gervais, Marie-Pierre, co-supervision : Blanc, Xavier (2007)
- R. Bendraou, B. Combemale, X. Crégut, M.‑P. Gervais : “Definition of an eXecutable SPEM 2.0”, 14^th Asia-Pacific Software Engineering Conference (APSEC), Nagoya, Japan, pp. 390-397, (IEEE Computer Society) (2007)
- R. Bendraou, M.‑P. Gervais : “A Framework for Classifying and Comparing Process Technology Domains”, International Conference on Software Engineering Advances (ICSEA '07), Cap Esterel, France, pp. 5-12, (IEEE) (2007)
- R. Bendraou, M.‑P. Gervais, A. Sadovykh : “Software Process Modeling and Execution: The UML4SPM to WS-BPEL Approach”, 33^rd EUROMICRO Conference SEAA, Lübeck, Germany, pp. 314-321, (IEEE) (2007)
2006
- R. Bendraou, M.‑P. Gervais, X. Blanc : “UML4SPM: An Executable Software Process Modelling Language Providing High-Level Abstractions”, 10^th International IEEE Enterprise Distributed Object Computing Conference (EDOC '06), Hong Kong, China, pp. 297-306, (IEEE) (2006)
2005
- R. Bendraou, Ph. Desfray, M.‑P. Gervais : “MDA Components: A Flexible Way for Implementing the MDA Approach”, First European European Conference on Model Driven Architecture - Foundations and Application (ECMDA-FA '05), Lecture Notes in Computer Science (LNCS), Nuremberg, Germany, pp. 59-73, (Springer-Verlag) (2005)
- R. Bendraou, M.‑P. Gervais, X. Blanc : “UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling”, ACM/IEEE 8^th International Conference on Model Driven Engineering Languages and Systems (MoDELS '05), vol. 3713, Lecture Notes in Computer Science, Montego Bay, Jamaica, pp. 17-38, (Springer-Verlag) (2005)
2004
- R. Le Delliou, N. Ploquin, M. Belaunde, R. Bendraou, L. Féraud : “A Model Driven Approach For Information System Migration”, 4^th Workshop on ODP for Enterprise Computing (EDOC), Monterey, California, United States, pp. 90-97, (IEEE Computer Society) (2004)
- R. Bendraou, S. Bouzitouna, M.‑P. Gervais : “From MDA Platform-Specific Model to Code Generation: Coupling of RM-ODP and UML Action Semantics Standards”, International Conference on Software Engineering Research and Practice (SERP '04), Las Vegas, United States, pp. 407-416, (CSREA Press) (2004)