Publications

Thuy Nguyen, Imen Sayar, Sophie Ebersold-Marcaillou, Jean-Michel Bruel (2024). Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements. Software and Systems Modeling.

PDF Cite Project DOI URL

Mika Pons, Jean-Michel Bruel, Jean-Baptiste Raclet, Franck Silvestre (2023). Traçabilité by design : conception d'un système interactif pour améliorer la génération automatique de traces Git pendant une activité d'apprentissage. 11ème Conférence sur les Environnements Informatiques pour l’Apprentissage Humain (EIAH 2023).

Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev, Jean-Michel Bruel, Florian Galinier, Bertrand Meyer (2023). Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests. Journal of Object Technology.

Yinling Liu, Jean-Michel Bruel (2022). Modelling and Verification of Natural Language Requirements based on States and Modes. 30th International Requirements Engineering Conference Workshops (REW 2022).

Mohammad Chami, Nabil Abdoun, Jean‐Michel Bruel (2022). Artificial Intelligence Capabilities for Effective Model‐Based Systems Engineering: A Vision Paper. INCOSE International Symposium.

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-Marcaillou, 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, Florian Galinier, Manuel Mazzara, Alexandr Naumchev, Bertrand Meyer (2021). The Role of Formalism in System Requirements. ACM Comput. Surv..

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.

Ronan Baduel, Iulian Ober, Jean-Michel Bruel (2020). Modeling and verification method for an early evaluation of Systems of Systems interactions. ACM Symposium on Applied Computing (SAC 2020), Brno, Czech Republic, 30/03/2020-03/04/2020.

Antonio Bucchiarone, Maxime Savary-Leblanc, Xavier Le Pallec, Jean-Michel Bruel, Antonio Cicchetti, Jordi Cabot, Sebastien Gerard, 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.

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.

Jean-Michel Bruel, Benoît 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..

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.

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.

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.

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.

(2018). Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap. MDE@DeRun 2018 Workshop.

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.

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.

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.

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.

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.