Guidelines for Formalizing Fusion Object-Oriented Analysis Methods . - B. W. Bates; Jean-Michel Bruel; Robert B. France; Maria M. Larrondo-Petrie (CAiSE, 1996)

A Z-based Approach to Specifying and Analyzing Complex Systems. - Jean-Michel Bruel; Robert B. France; Abdelmalek Benzekri (ICECCS, 1996)

Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations. - Robert B. France; Jean-Michel Bruel; Maria M. Larrondo-Petrie; Emanuel S. Grant (AMAST, 1997)

Integrated Informal Object-Oriented and Formal Modeling Techniques. - Robert B. France; Jean-Michel Bruel (ECOOP Workshops, 1997)

Towards a Rigorous Object-Oriented Analysis and Design Method. - Robert B. France; Jean-Michel Bruel; Maria M. Larrondo-Petrie; Emanuel S. Grant; Minika Saksena (ICFEM, 1997)

An Integrated Object-Oriented and Formal Modeling Environment. - Robert B. France; Jean-Michel Bruel; Maria M. Larrondo-Petrie (J. Object Oriented Program., 1997)

Integrating Formal and Informal Specification Techniques. Why? How? - Jean-Michel Bruel (WIFT, 1998)

Defining Precise Semantics for UML. - Jean-Michel Bruel; Johan Lilius; Ana M. D. Moreira; Robert B. France (ECOOP Workshops, 2000)

UML2Z: An UML-Based Object-Oriented Modeling Tool for an Internet Integrated Formalization Process. - Emanuel S. Grant; Robert B. France; Ramchander Varadarajan; Adam Carheden; Jean-Michel Bruel (OOIS, 2000)

A Semantic Comparison of Fusion and Syntropy. - Kevin Lano; Robert B. France; Jean-Michel Bruel (Comput. J., 2000)

Improving the UML Metamodel to Rigorously Specify Aggregation and Composition. - Jean-Michel Bruel; Brian Henderson-Sellers; Franck Barbier; Annig Le Parc; Robert B. France (OOIS, 2001)

Active Objects for Coordination in Distributed Testing. - Mohammed Benattou; Jean-Michel Bruel (OOIS, 2002)

Agrégation et composition dans UML. Révision basée sur la théorie Tout-Partie. - Franck Barbier; Annig Le Parc-Lacayrelle; Jean-Michel Bruel (Tech. Sci. Informatiques, 2002)

Whole-Part Relationships for Software Component Combination. - Nicolas Belloir; Jean-Michel Bruel; Franck Barbier (EUROMICRO, 2003)

Incorporation of Test Functionality into Software Components. - Franck Barbier; Nicolas Belloir; Jean-Michel Bruel (ICCBSS, 2003)

Application de la théorie de la relation Tout-Partie à la composition de composants logiciels. - Nicolas Belloir; Jean-Michel Bruel; Franck Barbier (INFORSID, 2003)

Formalization of the Whole-Part Relationship in the Unified Modeling Language. - Franck Barbier; Brian Henderson-Sellers; Annig Le Parc; Jean-Michel Bruel (IEEE Trans. Software Eng., 2003)

Whole-Part based Composition Approach: A Case Study. - Nicolas Belloir; Fabien Romeo; Jean-Michel Bruel (EUROMICRO, 2004)

Models for Non-functional Aspects of Component-Based Software (NfC'04). - Jean-Michel Bruel; Geri Georg; Heinrich Hußmann; Ileana Ober; Christoph Pohl; Jon Whittle 001; Steffen Zschaler (UML Satellite Activities, 2004)

Test intégré dans les composants logiciels. - Nicolas Belloir; Jean-Michel Bruel; Franck Barbier (Obj. Logiciel Base données Réseaux, 2004)

Workshops at the MODELS 2005 Conference. - Jean-Michel Bruel (MoDELS, 2005)

Développement basé composant. Une approche centrée composition. - Nicolas Belloir; Jean-Michel Bruel (Ingénierie des Systèmes d Inf., 2005)

Composition logicielle et maintenance. - Jean-Michel Bruel (CAL, 2006)

Aspect-based Testing of COTS Components. - Jean-Michel Bruel; Albert Royer (GI Jahrestagung (2), 2006)

Observability and Controllability of Wireless Software Components. - Fabien Romeo; Franck Barbier; Jean-Michel Bruel (DAIS, 2007)

Autonomic Management of Component-Based Embedded Software. - Fabien Romeo; Franck Barbier; Jean-Michel Bruel (Integrated Network Management, 2007)

Implémentation d'un modèle UML de composition hiérarchique. - Nicolas Belloir; Jean-Michel Bruel; Eric Cariou (LMO, 2007)

Panels at MODELS 2007. - Jean-Michel Bruel (MoDELS, 2007)

Utilisation de SysML pour la modélisation des réseaux de capteurs. - Nicolas Belloir; Jean-Michel Bruel; Natacha Hoang; Congduc Pham (LMO, 2008)

RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems. - Jon Whittle 001; Peter Sawyer; Nelly Bencomo; Betty H. C. Cheng; Jean-Michel Bruel (RE, 2009)

Introduction to special issue: papers from UML&FM. - Jean-Michel Bruel; Agusti Canals; Sébastien Gérard; Isabelle Perseil (Innov. Syst. Softw. Eng., 2009)

Introduction to special issue: papers from UML&FM'2009. - Isabelle Perseil; Jean-Michel Bruel; Agusti Canals; Robert de Simone; Sébastien Gérard; Elie Najm (Innov. Syst. Softw. Eng., 2010)

RELAX: a language to address uncertainty in self-adaptive systems requirement. - Jon Whittle 001; Peter Sawyer; Nelly Bencomo; Betty H. C. Cheng; Jean-Michel Bruel (Requir. Eng., 2010)

Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks. - Marc Palyart; David Lugato; Ileana Ober; Jean-Michel Bruel (MoDELS, 2011)

MDE4HPC: An Approach for Using Model-Driven Engineering in High-Performance Computing. - Marc Palyart; David Lugato; Ileana Ober; Jean-Michel Bruel (SDL Forum, 2011)

A Model-Driven Engineering Framework for Fault Tolerance in Dependable Embedded Systems Design. - Adel Ziani; Brahim Hamid; Jean-Michel Bruel (EUROMICRO-SEAA, 2012)

MDHPCL 2012 workshop summary. - Ileana Ober; Aniruddha S. Gokhale; Geri Georg; Michael Felderer; Jean-Michel Bruel; David Lugato (MDHPCL@MoDELS, 2012)

HPCML: a modeling language dedicated to high-performance scientific computing. - Marc Palyart; Ileana Ober; David Lugato; Jean-Michel Bruel (MDHPCL@MoDELS, 2012)

Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling. - Manzoor Ahmad; Jean-Michel Bruel; Régine Laleau; Christophe Gnaho (ANT/MobiWIS, 2012)

A model-based repository of security and dependability patterns for trusted RCES. - Adel Ziani; Brahim Hamid; Jacob Geisel; Jean-Michel Bruel (IRI, 2013)

How to Analyze Modeling Approach Comparison Criteria. - Frédéric Mayart; Jean-Michel Bruel; Brahim Hamid (CMA@MoDELS, 2013)

Model-Driven Engineering for Trusted Embedded Systems Based on Security and Dependability Patterns. - Brahim Hamid; Jacob Geisel; Adel Ziani; Jean-Michel Bruel; Jon Pérez 001 (SDL Forum, 2013)

Repository-Centric Process Modeling - Example of a Pattern Based Development Process. - Jacob Geisel; Brahim Hamid; Jean-Michel Bruel (SERA (selected papers), 2013)

Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx. - Manzoor Ahmad; Iulia Dragomir; Jean-Michel Bruel; Iulian Ober; Nicolas Belloir (SIMULTECH, 2013)

Using Relax Operators into an MDE Security Requirement Elicitation Process for Systems of Systems. - Nicolas Belloir; Vanea Chiprianov; Manzoor Ahmad; Manuel Munier; Laurent Gallon; Jean-Michel Bruel (ECSA Workshops, 2014)

Des buts à la modélisation système : une approche de modélisation des exigences centrée utilisateur. - Fernando Wanderley; Nicolas Belloir; Jean-Michel Bruel; Nabil Hameurlain; João Araújo 001 (INFORSID, 2014)

The Relevance of Model-Driven Engineering Thirty Years from Now. - Gunter Mussbacher; Daniel Amyot; Ruth Breu; Jean-Michel Bruel; Betty H. C. Cheng; Philippe Collet; Benoît Combemale; Robert B. France; Rogardt Heldal; James H. Hill; Jörg Kienzle; Matthias Schöttle; et al. (MoDELS, 2014)

On the use of graph transformations for model composition traceability. - Youness Laghouaouta; Mahmoud Nassar; Adil Anwar; Jean-Michel Bruel (RCIS, 2014)

A Generic Traceability Framework for Model Composition Operation. - Youness Laghouaouta; Adil Anwar; Mahmoud Nassar; Jean-Michel Bruel (BMMDS/EMMSAD, 2015)

Guiding the selection of security patterns based on security requirements and pattern classification. - Anas Motii; Brahim Hamid; Agnes Lanusse; Jean-Michel Bruel (EuroPLoP, 2015)

MDE in Practice for Computational Science. - Jean-Michel Bruel; Benoît Combemale; Ileana Ober; Hélène Raynal (ICCS, 2015)

Towards an Integrated Conceptual Design Evaluation of Mechatronic Systems: The SysDICE Approach. - Mohammad Chami; Jean-Michel Bruel (ICCS, 2015)

Security Concepts as Add-On for Process Models. - Jacob Geisel; Brahim Hamid; Jean-Michel Bruel (ICECCS, 2015)

New Schedulability Analysis for Real-Time Systems based on MDE and Petri Nets Model at Early Design Stages. - Mohamed Naija; Samir Ben Ahmed; Jean-Michel Bruel (ICSOFT-EA, 2015)

Papyrus for Education (Invited Presentation). - Jean-Michel Bruel; Benoit Maggi; Camille Letavernier (OSS4MDE@MoDELS, 2015)

Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems. - Manzoor Ahmad; Nicolas Belloir; Jean-Michel Bruel (J. Syst. Softw., 2015)

Towards a MARTE Extension to Address Adaptation Mechanisms. - Mohamed Naija; Jean-Michel Bruel; Samir Ben Ahmed (HASE, 2016)

Guiding the Selection of Security Patterns for Real-Time Systems. - Anas Motii; Brahim Hamid; Agnes Lanusse; Jean-Michel Bruel (ICECCS, 2016)

Modeling for sustainability. - Benoît Combemale; Betty H. C. Cheng; Ana Moreira 001; Jean-Michel Bruel; Jeffrey G. Gray (MiSE@ICSE, 2016)

Towards a Methodological Tool Support for Modeling Security-Oriented Processes. - Jacob Geisel; Brahim Hamid; David González; Jean-Michel Bruel (MEDI, 2016)

Towards the integration of security patterns in UML component-based applications. - Anas Motii; Brahim Hamid; Agnes Lanusse; Jean-Michel Bruel (PAME/VOLT@MoDELS, 2016)

Towards Improved Requirements Engineering with SysML and the User Requirements Notation. - Daniel Amyot; Amal Ahmed Anda; Malak Baslyman; Lysanne Lessard; Jean-Michel Bruel (RE, 2016)

An Industrial Feedback on Model-Based Requirements Engineering in Systems Engineering Context. - Raphaël Faudou; Jean-Michel Bruel (RE Workshops, 2016)

Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study. - Anas Motii; Agnes Lanusse; Brahim Hamid; Jean-Michel Bruel (SAFECOMP Workshops, 2016)

Formal Requirements Engineering for Smart Industries: Toward a Model-Based Graphical Language. - Alexandre Le Borgne; Nicolas Belloir; Jean-Michel Bruel; Thuy Nguyen (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld, 2016)

Modeling Co-simulation: A First Experiment. - Renan Leroux; Ileana Ober; Marc Pantel; Jean-Michel Bruel (MoDELS (Satellite Events), 2017)

Seamless Integration of Multirequirements in Complex Systems. - Florian Galinier; Jean-Michel Bruel; Sophie Ebersold; Bertrand Meyer 001 (RE Workshops, 2017)

REQDL: A Requirements Description Language to Support Requirements Traces Generation. - Saida Haidrar; Hatime Bencharqui; Adil Anwar; Jean-Michel Bruel; Ounsa Roudiès (RE Workshops, 2017)

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

Expressing and verifying embedded software requirements. - Alexandr Naumchev; Bertrand Meyer 001; Manuel Mazzara; Florian Galinier; Jean-Michel Bruel; Sophie Ebersold (CoRR, 2017)

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

Model Transformation Reuse Across Metamodels - A Classification and Comparison of Approaches. - 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 (ICMT, 2018)

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

Model-Based Systems Engineering for Systems Simulation. - Renan Leroux; Marc Pantel; Ileana Ober; Jean-Michel Bruel (ISoLA (3), 2018)

DevOps'18 Education Panel - Teaching Feedback and Challenges. - Jean-Michel Bruel; Miguel Jiménez 003 (DEVOPS, 2018)

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

CPS simulation models categories in Extended Enterprises. - Renan Leroux; Marc Pantel; Ileana Ober; Jean-Michel Bruel (MoDELS (Workshops), 2018)

Reconciling Requirements and Continuous Integration in an Agile Context. - Sébastien Mosser 001; Jean-Michel Bruel (RE, 2018)

Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap - Report on the MDE@DeRun 2018 Workshop. - Hugo Bruneliere; Romina Eramo; Abel Gómez 001; Valentin Besnard; Jean-Michel Bruel; Martin Gogolla; Andreas Kästner; Adrian Rutle (STAF Workshops, 2018)

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

A Domain-Specific Language to manage Requirements Traceability. - Saida Haidrar; Adil Anwar; Jean-Michel Bruel; Ounsa Roudiès (J. Softw., 2018)

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

Reflections on Teaching Formal Methods for Software Development in Higher Education. - Mansur Khazeev; Hamna Aslam; Daniel de Carvalho; Manuel Mazzara; Jean-Michel Bruel; Joseph Alexander Brown (FISEE, 2019)

Preface to the 1st Workshop on DevOps@MODELS. - Francis Bordeleau; Jean-Michel Bruel; Jordi Cabot; Juergen Dingel; Sébastien Mosser 001 (MoDELS (Companion), 2019)

Automated user-oriented description of emerging composite ambient applications. - Maroun Koussaifi; Sylvie Trouilhet; Jean-Paul Arcangeli; Jean-Michel Bruel (SEKE, 2019)

Towards an Anatomy of Software Requirements. - Bertrand Meyer 001; Jean-Michel Bruel; Sophie Ebersold; Florian Galinier; Alexandr Naumchev (TOOLS, 2019)

The Anatomy of Requirements. - Bertrand Meyer 001; Jean-Michel Bruel; Sophie Ebersold; Florian Galinier; Alexandr Naumchev (CoRR, 2019)

Modeling and verification method for an early validation of a train system. - Ronan Baduel; Iulian Ober; Jean-Michel Bruel (CoRR, 2019)

Formality in Software Requirements. - Jean-Michel Bruel; Sophie Ebersold; Florian Galinier; Alexandr Naumchev; Manuel Mazzara; Bertrand Meyer 001 (CoRR, 2019)

AutoReq: Expressing and verifying requirements for control systems. - Alexandr Naumchev; Bertrand Meyer 001; Manuel Mazzara; Florian Galinier; Jean-Michel Bruel; Sophie Ebersold (J. Comput. Lang., 2019)

Comp-O: An OWL-S Extension for Composite Service Description. - Grégory Alary; Nathalie Hernandez; Jean-Paul Arcangeli; Sylvie Trouilhet; Jean-Michel Bruel (EKAW, 2020)

Papyrus for gamers, let's play modeling. - Antonio Bucchiarone; Maxime Savary-Leblanc; Xavier Le Pallec; Jean-Michel Bruel; Antonio Cicchetti; Jordi Cabot; Sebastien Gerard; Hamna Aslam; Annapaola Marconi; Mirko Perillo (MoDELS (Companion), 2020)

Modeling and verification method for an early evaluation of systems of systems interactions. - Ronan Baduel; Iulian Ober; Jean-Michel Bruel (SAC, 2020)

Using Comp-O to Build and Describe Component-Based Services. - Grégory Alary; Nathalie Hernandez; Jean-Paul Arcangeli; Sylvie Trouilhet; Jean-Michel Bruel (ISWC (Demos/Industry), 2020)

Toward model-driven sustainability evaluation. - Jörg Kienzle; Gunter Mussbacher; Benoît Combemale; Lucy Bastin; Nelly Bencomo; Jean-Michel Bruel; Christoph Becker 001; Stefanie Betz; Ruzanna Chitchyan; Betty H. C. Cheng; Sonja Klingert; Richard F. Paige; et al. (Commun. ACM, 2020)

Comparing and classifying model transformation reuse approaches across metamodels. - 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 (Softw. Syst. Model., 2020)

Examining Requirements Documentation through the Focused Conversation Method. - Hamna Aslam; Alexandr Naumchev; Jean-Michel Bruel; Joseph Alexander Brown (ISD, 2021)

Requirements Engineering in the DevOps Era. - Sébastien Mosser 001; Jean-Michel Bruel (RE, 2021)

Model-Driven Engineering for End-Users in the Loop in Smart Ambient Systems. - Sylvie Trouilhet; Jean-Paul Arcangeli; Jean-Michel Bruel; Maroun Koussaifi (J. Univers. Comput. Sci., 2021)

A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems. - Benoît Combemale; Jörg Kienzle; Gunter Mussbacher; Hyacinth Ali; Daniel Amyot; Mojtaba Bagherzadeh; Edouard Batot; Nelly Bencomo; Benjamin Benni; Jean-Michel Bruel; Jordi Cabot; Betty H. C. Cheng; et al. (IEEE Softw., 2021)

The Intersection Between the CS Students' Perceived Ideal Workspace and the Actual One. - Hamna Aslam; Eleonora Ilina; Joseph Alexander Brown; Jean-Michel Bruel (ICL (2), 2022)

RQCODE - Towards Object-Oriented Requirements in the Software Security Domain. - Ildar Nigmatullin; Andrey Sadovykh; Nan Messe; Sophie Ebersold; Jean-Michel Bruel (ICST Workshops, 2022)

Modeling of Natural Language Requirements based on States and Modes. - Yinling Liu; Jean-Michel Bruel (RE Workshops, 2022)

The Role of Formalism in System Requirements. - Jean-Michel Bruel; Sophie Ebersold; Florian Galinier; Manuel Mazzara; Alexandr Naumchev; Bertrand Meyer 001 (ACM Comput. Surv., 2022)

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

Traceability by Design: Design of an Interactive System to Improve the Automatic Generation of Git Traces During a Learning Activity. - Mika Pons; Jean-Michel Bruel; Jean-Baptiste Raclet; Franck Silvestre (EC-TEL, 2023)

Finding Behavioral Indicators from Contextualized Commits in Software Engineering Courses with Process Mining. - Mika Pons; Jean-Michel Bruel; Jean-Baptiste Raclet; Franck Silvestre (FISEE, 2023)

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

Gamifying model-based engineering: The PapyGame tool. - Antonio Bucchiarone; Maxime Savary-Leblanc; Xavier Le Pallec; Jean-Michel Bruel; Antonio Cicchetti; Jordi Cabot; Sébastien Gérard (Sci. Comput. Program., 2023)

Modeling and Verification of Natural Language Requirements based on States and Modes. - Yinling Liu; Jean-Michel Bruel (Formal Aspects Comput., 2024)

Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements. - Thuy Nguyen; Imen Sayar; Sophie Ebersold; Jean-Michel Bruel (Softw. Syst. Model., 2024)

UOOR: Seamless and Traceable Requirements. - Maria Naumcheva; Sophie Ebersold; Jean-Michel Bruel; Bertrand Meyer 001 (CoRR, 2025)

From What to How: A Taxonomy of Formalized Security Properties. - Imen Sayar; Nan Messe; Sophie Ebersold; Jean-Michel Bruel (CoRR, 2025)