Publications

Alfredo Capozucca, Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer (2022). Special Issue on New Paradigms of Software Production and Deployment. SN Comput. Sci..

Ildar Nigmatullin, Andrey Sadovykh, Nan Messe, Sophie Ebersold, Jean-Michel Bruel (2022). RQCODE - Towards Object-Oriented Requirements in the Software Security Domain. 15th IEEE International Conference on Software Testing, Verification and Validation Workshops ICST Workshops 2022, Valencia, Spain, April 4-13, 2022.

Jean-Michel Bruel, Sophie Ebersold-Marcaillou, Florian Galinier, Manuel Mazzara, Alexandr Naumchev, Bertrand Meyer (2021). The Role of Formalism in System Requirements. ACM Computing Surveys.

Sophie Ebersold-Marcaillou (2021). Modélisation des systèmes complexes et Points de vue : l'Ingénierie des Modèles centrée utilisateur pour l'Ingénierie Système.

Sylvie Trouilhet, Jean-Paul Arcangeli, Jean-Michel Bruel, Maroun Koussaifi (2021). Model-Driven Engineering for End-Users in the Loop in Smart Ambient Systems. JUCS - Journal of Universal Computer Science.

Hamna Aslam, Alexandr Naumchev, Jean-Michel Bruel, Joseph Alexander Brown (2021). Examining Requirements Documentation through the Focused Conversation Method. Information Systems Development: Crossing Boundaries between Development and Operations (DevOps) in Information Systems (ISD2021 Proceedings), Valencia, Spain, September 8-10, 2021.

Maroun Koussaifi (2020). Modélisation centrée utilisateur pour la configuration logicielle en environnement ambiant.

Grégory Alary, Nathalie Jane Hernandez, Jean-Paul Arcangeli, Sylvie Trouilhet, Jean-Michel Bruel (2020). Using Comp-O to Build and Describe Component-Based Services. Demos and Industry Tracks: From Novel Ideas to Industrial Practice (ISWC-Posters 2020 ) co-located with 19th International Semantic Web Conference.

Gunter Mussbacher, Benoit Combemale, Silvia Abrahão, Nelly Bencomo, Loli Burgueño, Gregor Engels, Jörg Kienzle, Thomas Kühn, Sébastien Mosser, Houari Sahraoui, Martin Weyssow (2020). Towards an Assessment Grid for Intelligent Modeling Assistance. MDE Intelligence 2020 - 2nd Workshop on Artificial Intelligence and Model-driven Engineering.

Mamadou Lakhassane Cisse (2020). Modélisation et exécution flexible de processus collaboratifs.

Renan Leroux-Beaudout (2020). Méthodologie de conception de systèmes de simulations en entreprise étendue, basée sur l'ingénierie système dirigée par les modèles.

Grégory Alary, Nathalie Jane Hernandez, Jean-Paul Arcangeli, Sylvie Trouilhet, Jean-Michel Bruel (2020). Comp-O: an OWL-S Extension for Composite Service Description. 22nd International Conference, EKAW 2020.

Saloua Bennani (2020). Une approche IDM pour l'alignement collaboratif de modèles hétérogènes.

Maroun Koussaifi, Jean-Paul Arcangeli, Sylvie Trouilhet, Jean-Michel Bruel (2020). Putting the End-User in the Loop in Smart Ambient Systems: an Approach based on Model-Driven Engineering.

Ronan Baduel, Iulian Ober, Jean-Michel Bruel (2020). Modeling and verification method for an early evaluation of Systems of Systems interactions. 35th Annual ACM Symposium on Applied Computing (SAC 2020).

Manuel Leduc, Thomas Degueule, Eric Van Wyk, Benoit Combemale (2020). The Software Language Extension Problem. Software and Systems Modeling.

Dorian Leroy, Pierre Jeanjean, Erwan Bousse, Manuel Wimmer, Benoit Combemale (2020). Runtime Monitoring for Executable DSLs. The Journal of Object Technology.

Antonio Bucchiarone, Maxime Savary-Leblanc, Xavier Le Pallec, Jean-Michel Bruel, Antonio Cicchetti, Jordi Cabot, Sébastien Gérard, Hamna Aslam, Annapaola Marconi, Mirko Perillo (2020). Papyrus for Gamers, Let's Play Modeling. Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings.

Gunter Mussbacher, Benoit Combemale, Jörg Kienzle, Silvia Abrahão, Hyacinth Ali, Nelly Bencomo, Márton Búr, Loli Burgueño, Gregor Engels, Pierre Jeanjean, Jean-Marc Jézéquel, Thomas Kühn, Sébastien Mosser, Houari Sahraoui, Eugene Syriani, Dániel Varró, Martin Weyssow (2020). Opportunities in Intelligent Modeling Assistance. Software and Systems Modeling.

Andreas Wortmann, Olivier Barais, Benoit Combemale, Manuel Wimmer (2020). Modeling Languages in Industry 4.0: An Extended Systematic Mapping Study. Software and Systems Modeling.

Ronan Baduel, Iulian Ober, Jean-Michel Bruel (2020). Modeling and verification method for an early evaluation of systems of systems interactions. SAC ‘20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30 - April 3, 2020.

Mojtaba Bagherzadeh, Karim Jahed, Benoit Combemale, Juergen Dingel (2020). Live Modeling in the Context of State Machine Models and Code Generation. Software and Systems Modeling.

Jean-Michel Bruel, Benoit Combemale, Esther Guerra, Jean-Marc Jézéquel, Jörg Kienzle, Juan De Lara, Gunter Mussbacher, Eugene Syriani, Hans Vangheluwe (2020). Comparing and classifying model transformation reuse approaches across metamodels. Softw. Syst. Model..

Manuel Leduc, Gwendal Jouneaux, Thomas Degueule, Gurvan Le Guernic, Olivier Barais, Benoit Combemale (2020). Automatic generation of Truffle-based interpreters for Domain-Specific Languages. The Journal of Object Technology.

Saloua Bennani, Iliass Ait El Kouch, Mahmoud El Hamlaoui, Sophie Ebersold-Marcaillou, Bernard Coulette, Mahmoud Nassar (2020). A Formalization of Group Decision Making in Multi-Viewpoints Design. Communications in Computer and Information Science.

Pierre Jeanjean, Benoit Combemale, Olivier Barais (2019). From DSL Specification to Interactive Computer Programming Environment. SLE 2019 - 12th ACM SIGPLAN International Conference on Software Language Engineering.

Mojtaba Bagherzadeh, Karim Jahed, Benoit Combemale, Juergen Dingel (2019). Live-UMLRT: A Tool for Live Modeling of UML-RT Models. MODELS 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems.

Benoit Combemale (2019). Bringing Intelligence to Sociotechnical IoT Systems: Modeling Opportunities and Challenges. MDE4IoT 2019 - 3nd International Workshop on Model-Driven Engineering for the Internet-of-Things.

Ronan Baduel (2019). An integrated model-based early validation approach for railway systems.

Alexandr Naumchev (2019). Seamless Object-Oriented Requirements.

Maroun Koussaifi, Sylvie Trouilhet, Jean-Paul Arcangeli, Jean-Michel Bruel (2019). Automated user-oriented description of emerging composite ambient applications. International Conference on Software Engineering and Knowledge Engineering (SEKE 2019), Lisbonne, 10/07/2019-12/07/2019.

Mamadou Lakhassane Cisse, Hanh Nhi Tran, Samba Diaw, Bernard Coulette, Alassane Bah (2019). Using Patterns to parameterize the execution of Collaborative Tasks. 28th IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2019).

Saloua Bennani, Sophie Ebersold-Marcaillou, Mahmoud El Hamlaoui, Bernard Coulette, Mahmoud Nassar (2019). A collaborative decision approach for alignment of heterogeneous models. 28th IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2019).

Mamadou Lakhassane Cisse, Hanh Nhi Tran, Samba Diaw, Bernard Coulette, Alassane Bah (2019). A Pattern-based Process Management System to flexibly execute Collaborative Tasks. 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2019).

Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold-Marcaillou (2019). AutoReq: expressing and verifying requirements for control systems. Journal of Visual Languages and Computing.

Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold-Marcaillou (2019). AutoReq: expressing and verifying requirements for control systems. Journal of Visual Languages and Computing.

Marcelino Rodriguez-Cancio, Benoit Combemale, Benoit Baudry (2019). Approximate Loop Unrolling. CF 2019 - ACM International Conference on Computing Frontiers.

Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold-Marcaillou, Florian Galinier, Alexandr Naumchev (2019). Towards an Anatomy of Software Requirements. Software Technology: Methods and Tools - 51st International Conference, TOOLS 2019, Tatarstan, Russia, October 15-17, 2019, Proceedings.

Benoit Combemale, Manuel Wimmer (2019). Towards a Model-Based DevOps for Cyber-Physical Systems. Software Engineering Aspects of Continuous Development.

Alfonso Pierantonio, Mark Van Den Brand, Benoit Combemale (2019). The JOT Journal: Towards a Rising Generation. The Journal of Object Technology.

Mansur Khazeev, Hamna Aslam, Daniel de Carvalho, Manuel Mazzara, Jean-Michel Bruel, Joseph Alexander Brown (2019). Reflections on Teaching Formal Methods for Software Development in Higher Education. Frontiers in Software Engineering Education - First International Workshop, FISEE 2019, Villebrumier, France, November 11-13, 2019, Invited Papers.

Samir Sellami, Taoufiq Dkaki, Nacer Eddine Zarour, Pierre-Jean Charrel (2019). MidSemI: A Middleware for Semantic Integration of Business Data with Large-scale Social and Linked Data. International Journal of Information System Modeling and Design.

Florian Galinier (2019). Formal Semantics of Requirements Relationships for Traceability.

Benoît Lelandais, Marie-Pierre Oudot, Benoit Combemale (2019). Applying Model-Driven Engineering to High-Performance Computing: Experience Report, Lessons Learned, and Remaining Challenges. Journal of Computer Languages.

Jörg Kienzle, Gunter Mussbacher, Benoit Combemale, Julien Deantoni (2019). A Unifying Framework for Homogeneous Model Composition. Software and Systems Modeling.

Fabien Coulon, Thomas Degueule, Tijs Van Der Storm, Benoit Combemale (2018). Shape-Diverse DSLs: Languages without Borders (Vision Paper). SLE 2018 - 11th ACM SGIPLAN International Conference on Software Language Engineering.

Manuel Leduc, Thomas Degueule, Benoit Combemale (2018). Modular Language Composition for the Masses. SLE 2018 - 11th ACM SIGPLAN International Conference on Software Language Engineering.

Benoît Lelandais, Marie-Pierre Oudot, Benoit Combemale (2018). Fostering metamodels and grammars within a dedicated environment for HPC: the NabLab environment (tool demo). SLE 2018 - International Conference on Software Language Engineering.

Mohammad Chami, Jean-Michel Bruel (2018). A Survey on MBSE Adoption Challenges. INCOSE EMEA Sector Systems Engineering Conference (INCOSE EMEASEC 2018).

Hugo Bruneliere, Romina Eramo, Abel Gomez, Valentin Besnard, Jean-Michel Bruel, Martin Gogolla, Andreas Kästner, Adrian Rutle (2018). Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap. MDE@DeRun 2018 Workshop.

Renan Leroux-Beaudout, Marc Pantel, Ileana Ober, Jean-Michel Bruel (2018). Model-Based Systems Engineering for Systems Simulation. Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018).

Samia Iltache, Catherine Comparot, Malik Si-Mohammed, Pierre-Jean Charrel (2018). Using semantic perimeters with ontologies to evaluate the semantic similarity of scientific papers. Informatica.

David Méndez-Acuña, José Galindo, Benoit Combemale, Arnaud Blouin, Benoit Baudry (2018). Reverse engineering language product lines from existing DSL variants. 22nd International Systems and Software Product Line Conference - SPLC 2018.

Sébastien Mosser, Jean-Michel Bruel (2018). Reconciling Requirements and Continuous Integration in an Agile Context. 2018 IEEE 26th International Requirements Engineering Conference (RE).

Ileana Ober, Marc Palyart, Jean-Michel Bruel, David Lugato (2018). On the use of models for high-performance scientific computing applications: an experience report. SoSyM Journal.

Manzoor Ahmad, Christophe Gnaho, Jean-Michel Bruel, Régine Laleau (2018). How to handle environmental uncertainty in goal-based requirements engineering. ICSE Poster.

Maroun Koussaifi, Walid Younes, Françoise Adreit, Jean-Paul Arcangeli, Jean-Michel Bruel, Sylvie Trouilhet (2018). Emergence of Composite Services in Smart Environments. ESOF'2018.

Manzoor Ahmad, Christophe Gnaho, Jean-Michel Bruel, Régine Laleau (2018). Towards a Requirements Engineering Approach for capturing Uncertainty in Cyber-Physical Systems Environment. Springer CCIS.

Mohammad Chami, Aiste Aleksandraviciene, Aurelijus Morkevicius, Jean-Michel Bruel (2018). Towards Solving MBSE Adoption Challenges: The D3 MBSE Adoption Toolbox. Annual International Council on Systems Engineering Symposium (INCOSE 2018).

Saloua Bennani (2018). Towards a collaborative matching approach to relate sustainable cities design models (poster). EuroScience Open Forum - ESOF 2018.

Florian Galinier (2018). Seamless development of complex systems: a multirequirements approach.

Maroun Koussaifi, Walid Younes, Françoise Adreit, Jean-Paul Arcangeli, Jean-Michel Bruel, Sylvie Trouilhet (2018). Emergence of Composite Services in Smart Environments.

Florian Galinier, Sophie Ebersold, Jean-Michel Bruel (2018). Requirements Specific Modeling Language : un langage formel d'expression d'exigences. CIEL'18.

Ronan Baduel, Mohammad Chami, Jean-Michel Bruel, Iulian Ober (2018). SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation. ECMFA'18.

Maroun Koussaifi, sophie Trouilhet, Jean-Paul Arcangeli, Jean-Michel Bruel (2018). Ambient Intelligence Users in the Loop: Towards a Model-Driven Approach. MSE@STAF 2018.

Dorian Leroy, Erwan Bousse, Anaël Megna, Benoit Combemale, Manuel Wimmer (2018). Trace Comprehension Operators for Executable DSLs. ECMFA 2018 - 14th European Conference on Modelling Foundations and Applications.

Ronan Baduel, Mohammad Chami, Jean-Michel Bruel, Iulian Ober (2018). SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation. European Conference on Modelling Foundations and Applications.

Florian Galinier, Sophie Ebersold-Marcaillou, Jean-Michel Bruel (2018). Requirements Specific Modeling Language : un langage formel d'expression d'exigences. Conférence en IngénieriE du Logiciel.

Hugo Bruneliere, Romina Eramo, Abel Gomez, Valentin Besnard, Jean-Michel Bruel, Martin Gogolla, Andreas Kästner, Adrian Rutle (2018). Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap. MDE@DeRun 2018 workshop, co-located with the Software Technologies: Applications and Foundations (STAF 2018) federation of conferences.

Jean-Michel Bruel, Benoit Combemale, Esther Guerra, Jean-Marc Jézéquel, Jörg Kienzle, Juan De Lara, Gunter Mussbacher, Eugene Syriani, Hans Vangheluwe (2018). Model Transformation Reuse across Metamodels - A classification and comparison of approaches. ICMT 2018 - International Conference on Theory and Practice of Model Transformations.

Florian Galinier (2018). Formalisation des relations entre exigences (Journées nationales du GDR GPL 2018, Grenoble, France). 10èmes Journées nationales du GDR : Groupement de Recherche Génie de la Programmation et du Logiciel (GDR GPL 2018).

Ronan Baduel, Jean-Michel Bruel, Iulian Ober, Eddy Doba (2018). Definition of states and modes as general concepts for system design and validation. 12e Conference Internationale de Modelisation, Optimisation et Simulation (MOSIM 2018).

Maroun Koussaifi, sophie Trouilhet, Jean-Paul Arcangeli, Jean-Michel Bruel (2018). Ambient Intelligence Users in the Loop: Towards a Model-Driven Approach. MSE (``Microservices: Science and Engineering’’) Workshop (MSE@STAF 2018).

Mamadou Lakhassane Cisse, Hanh Nhi Tran, Samba Diaw, Bernard Coulette, Alassane Bah (2018). Collaborative Processes Management: from Modeling to Enacting. 22nd International Conference on Computer Supported Cooperative Work in Design (CSCWD 2018).

Saloua Bennani, Mahmoud El Hamlaoui, Mahmoud Nassar, Sophie Ebersold-Marcaillou, Bernard Coulette (2018). Collaborative model-based matching of heterogeneous models. 22nd International Conference on Computer Supported Cooperative Work in Design (CSCWD 2018).

Mahmoud El Hamlaoui, Saloua Bennani, Mahmoud Nassar, Sophie Ebersold-Marcaillou, Bernard Coulette (2018). Heterogeneous design models alignment: from matching to consistency management. 33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018).

Imad Eddine Saidi, Mahmoud El Hamlaoui, Taoufiq Dkaki, Nacer Eddine Zarour, Pierre-Jean Charrel (2018). Translation of Heterogenous Requirements Meta-Models Through a Pivot Meta-Model. 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2018).

Erwan Bousse, Dorian Leroy, Benoit Combemale, Manuel Wimmer, Benoit Baudry (2018). Omniscient Debugging for Executable DSLs. Journal of Systems and Software.

Mahmoud El Hamlaoui, Saloua Bennani, Mahmoud Nassar, Sophie Ebersold-Marcaillou, Bernard Coulette (2018). Model driven consistency for heterogeneous models. 13th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE 2018.

Mahmoud El Hamlaoui, Saloua Bennani, Sophie Ebersold-Marcaillou, Mahmoud Nassar, Bernard Coulette (2018). AHM: Handling heterogeneous models matching and consistency via MDE. 13th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE 2018.

Ileana Ober, Marc Palyart, Jean-Michel Bruel, David Lugato (2018). On the Use of Models for High-Performance Scientific Computing Applications: an Experience Report. International Journal on Software and Systems Modeling.

Nassim Otmani, Malik Si-Mohammed, Catherine Comparot, Pierre-Jean Charrel (2018). Ontology-based approach to enhance medical web information extraction. International Journal of Web Information Systems.

Adel Ferdjoukh, Florian Galinier, Eric Bourreau, Annie Chateau, Clémentine Nebut (2018). Measurement and Generation of Diversity and Meaningfulness in Model Driven Engineering. International Journal On Advances in Software.

Benoit Combemale, Jörg Kienzle, Gunter Mussbacher, Olivier Barais, Erwan Bousse, Walter Cazzola, Philippe Collet, Thomas Degueule, Robert Heinrich, Jean-Marc Jézéquel, Manuel Leduc, Tanja Mayerhofer, Sébastien Mosser, Matthias Schöttle, Misha Strittmatter, Andreas Wortmann (2018). Concern-Oriented Language Development (COLD): Fostering Reuse in Language Engineering. Computer Languages, Systems and Structures.

Mohamed Amroune, Nacer Eddine Zarour, Pierre-Jean Charrel (2018). A new multi-criteria decision process to prioritise requirements. International Journal of Information and Communication Technology.

Renan Leroux-Beaudout, Ileana Ober, Marc Pantel, Jean-Michel Bruel (2017). Modeling Co-simulation: A First Experiment. GEMOC 2017.

Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer, Jean-Michel Bruel, Florian Galinier, Sophie Ebersold (2017). A contract-based method to specify stimulus-response requirements. In CoRR Journal.

Florian Galinier, Jean-Michel Bruel, Sophie Ebersold-Marcaillou, Bertrand Meyer (2017). Intégration des (multi-)exigences tout au long du développement des systèmes complexes. 16emes Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2017).

Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer, Jean-Michel Bruel, Florian Galinier, Sophie Ebersold-Marcaillou (2017). A contract-based method to specify stimulus-response requirements.

Francis Bordeleau, Jean-Michel Bruel, Jürgen Dingel, Sébastien Gérard, Henry Muccini, Gunter Mussbacher, Sebastian Voss (2016). Joint Proceedings of the 12th Educators Symposium (EduSymp 2016) and 3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE 2016). In OSS4MDE.

Samba Diaw, Redouane Lbath, Bernard Coulette (2014). Spem4mde : Un métamodèle et un environnement pour la modélisation et la mise en øeuvre assistée de processus IDM. Presses Académiques Francophones.

Huaxi Yulin Zhang, Christelle Urtado, Sylvain Vauttier, Lei Zhang, Marianne Huchard, Bernard Coulette (2012). Dedal-CDL: Modeling First-class Architectural Changes in Dedal. Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture (WICSA / ECSA 2012).