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)
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)
F. Golra, F. Dagnat, R. Bendraou, A. Beugnard : “Continuous Process Compliance Using Model Driven Engineering”, Proceedings MEDI 2017 : 7th International Conference on Model and Data Engineering, vol. 10563, Lecture Notes in Computer Science, Barcelone, Spain, pp. 42-56, (Springer International Publishing) (2017)
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. 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 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Saint-Malo, France, pp. 40-47 (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 - 15th 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)
H. Bruneliere, J. Garcia, Ph. Desfray, D. Khelladi, R. Hebig, R. Bendraou, J. Cabot : “On Lightweight Metamodel Extension to Support Modeling Tools Agility”, 11th 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”, 27th International Conference on Advanced Information Systems Engineering, vol. 9097, Lecture Notes in Computer Science, Stockholm, Sweden, pp. 263-278 (2015)
Y. Laurent, R. Bendraou, S. Baarir, M.‑P. Gervais : “Alloy4SPV : A Formal Framework for Software Process Verification”, ECMFA 2014 - 10th 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 26th 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 29th Annual ACM Symposium on Applied Computing, Gyeongju, Korea, Republic of, pp. 1126-1133, (ACM) (2014)
M. Almeida Da Silva, X. Blanc, R. Bendraou : “Deviation Management during Process Execution”, 26th 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”, 15th 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”, 7th European Conference on Modelling Foundations and Applications (ECMFA), vol. 6698, Lecture Notes in Computer Science, Birmingham, United Kingdom, pp. 383-384, (Springer) (2011)
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 13th International Conference on Model Driven Engineering Languages and Systems, vol. 6395, Lecture Notes in Computer Science, Oslo, Norway, pp. 303-317, (Springer) (2010)
M. Almeida Da Silva, A. Mougenot, X. Blanc, R. Bendraou : “Towards Automated Inconsistency Handling in Design Models”, 22nd 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, M.‑P. Gervais, X. Blanc, J.‑M. Jézéquel : “Vers l’Exécutabilité des Modèles de Procédés Logiciels”, 14e 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)
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 8th 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”, 4th Workshop on ODP for Enterprise Computing (EDOC), Monterey, California, United States, pp. 90-97, (IEEE Computer Society) (2004)