Jean-Michel Bruel

102
Documents

Présentation

Publications

16
14
10
10
9
9
7
7
7
7
6
5
5
5
5
5
5
4
4
4
4
4
4
4
4
4
4
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
3
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
44
32
28
16
6
6
4
2
1

Publications

Integration of Architecture and Maintenance Points of View in an MBSE Context

Kim Loubat , Gwennole Boutet , Jean-Michel Bruel , Christophe Ducamp , Sophie Ebersold et al.

INSIGHT - International Council on Systems Engineering (INCOSE), 2025, 28 (6), pp.26-28. ⟨10.1002/inst.70021⟩

Article dans une revue hal-05466964v1
Deposit thumbnail

Engineering Decisions in MBSE: Insights for a Decision Capture Framework Development

Nidhal Selmi , Jean-Michel Bruel , Sébastien Mosser , Matthieu Crespo , Alain Kerbrat

INSIGHT - International Council on Systems Engineering (INCOSE), 2025, 28 (6), pp.19-21. ⟨10.1002/inst.70019⟩

Article dans une revue hal-05419020v1
Deposit thumbnail

Modeling and verification of natural language requirements based on states and modes

Yinling Liu , Jean-Michel Bruel

Formal Aspects of Computing, 2024, 36 (2), pp.1-47. ⟨10.1145/3640822⟩

Article dans une revue (article de synthèse) hal-04446384v1

Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements

Thuy Nguyen , Imen Sayar , Sophie Ebersold , Jean-Michel Bruel

Software and Systems Modeling, 2024, 23 (6), pp.1513-1545. ⟨10.1007/s10270-023-01142-0⟩

Article dans une revue hal-05465157v1

Gamifying model-based engineering: The PapyGame tool

Antonio Bucchiarone , Maxime Savary-Leblanc , Xavier Le Pallec , Jean-Michel Bruel , Antonio Cicchetti et al.

Science of Computer Programming, 2023, 230, pp.102974. ⟨10.1016/j.scico.2023.102974⟩

Article dans une revue hal-04151391v1
Deposit thumbnail

Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests

Maria Naumcheva , Sophie Ebersold , Alexandr Naumchev , Jean-Michel Bruel , Florian Galinier et al.

The Journal of Object Technology, 2023, 22 (1), pp.1-19. ⟨10.5381/jot.2023.22.1.a3⟩

Article dans une revue hal-04128273v1

The Role of Formalism in System Requirements

Jean-Michel Bruel , Sophie Ebersold , Florian Galinier , Manuel Mazzara , Alexandr Naumchev et al.

ACM Computing Surveys, 2022, 54 (5, article 93), pp.1-36. ⟨10.1145/3448975⟩

Article dans une revue hal-04278226v1
Deposit thumbnail

Model-Driven Engineering for End-Users in the Loop in Smart Ambient Systems

Sylvie Trouilhet , Jean-Paul Arcangeli , Jean-Michel Bruel , Maroun Koussaifi

Journal of Universal Computer Science, 2021, Advances and Challenges for Model and Data Engineering, 27 (7), pp.755 - 773. ⟨10.3897/jucs.70515⟩

Article dans une revue hal-03336164v1

The Role of Formalism in System Requirements

Jean-Michel Bruel , Sophie Ebersold , Florian Galinier , Manuel Mazzara , Alexandr Naumchev et al.

ACM Computing Surveys, 2021, 54 (5), pp.1-36. ⟨10.1145/3448975⟩

Article dans une revue hal-03261574v1
Deposit thumbnail

A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems

Benoit Combemale , Jörg Kienzle , Gunter Mussbacher , Hyacinth Ali , Daniel Amyot et al.

IEEE Software, 2021, 38 (4), pp.Pages 71-84. ⟨10.1109/MS.2020.2995125⟩

Article dans une revue hal-02612087v1
Deposit thumbnail

Towards Model-Driven Sustainability Evaluation

Jörg Kienzle , Gunter Mussbacher , Benoit Combemale , Lucy Bastin , Nelly Bencomo et al.

Communications of the ACM, 2020, 63 (3), pp.80-91. ⟨10.1145/3371906⟩

Article dans une revue hal-02146543v2
Deposit thumbnail

Comparing and Classifying Model Transformation Reuse Approaches across Metamodels

Jean-Michel Bruel , Benoit Combemale , Esther M Guerra , Jean-Marc Jézéquel , Jörg Kienzle et al.

Software and Systems Modeling, 2020, 19 (2), pp.441-465. ⟨10.1007/s10270-019-00762-9⟩

Article dans une revue hal-02317864v1
Deposit thumbnail

AutoReq: expressing and verifying requirements for control systems

Alexandr Naumchev , Bertrand Meyer , Manuel Mazzara , Florian Galinier , Jean-Michel Bruel et al.

Journal of Visual Languages and Computing, 2019, 51, pp.131-142. ⟨10.1016/j.cola.2019.02.004⟩

Article dans une revue hal-02878938v1
Deposit thumbnail

On the use of models for high-performance scientific computing applications: an experience report

Ileana Ober , Marc Palyart , Jean-Michel Bruel , David Lugato

Software and Systems Modeling, 2018, 17, pp.319-342. ⟨10.1007/s10270-016-0518-0⟩

Article dans une revue hal-02640704v1
Deposit thumbnail

Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems

Manzoor Ahmad , Nicolas Belloir , Jean-Michel Bruel

Journal of Systems and Software, 2015, vol. 107, pp. 50-70. ⟨10.1016/j.jss.2015.05.028⟩

Article dans une revue hal-01278903v1
Deposit thumbnail

Modélisation des exigences en UML/SysML

Nicolas Belloir , Jean-Michel Bruel , Raphaël Faudou

Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 111, pp.6-12

Article dans une revue hal-01085292v1

Introduction to special issue: papers from UML&FM'2009

Isabelle. Perseil , Jean-Michel Bruel , Agusti Canals , Robert de Simone , Sébastien Gérard et al.

Innovations in Systems and Software Engineering: A NASA Journal, 2010, 6 (1-2), pp.1-3

Article dans une revue hal-02286673v1

Composition logicielle à l'aide de machines à état. UML et AADL.

Jean-Michel Bruel

Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2007, pp.;

Article dans une revue hal-00389625v1

Components modeling in UML 2.

Jean-Michel Bruel , Ileana Ober

Studia Universitatis Babes-Bolyai. Informatica, 2006, pp.;

Article dans une revue hal-00399293v1

Développement basé composant : une approche centrée composition.

Nicolas Belloir , Jean-Michel Bruel

Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2005, pp.59-80

Article dans une revue hal-00402339v1

Test Intégré Dans Les Composants Logiciels

Nicolas Belloir , Jean-Michel Bruel , Franck Barbier

L'OBJET, 2004, 10 (1), pp.89-102. ⟨10.3166/objet.10.1.89-102⟩

Article dans une revue hal-01906779v1

Formalization of the Whole-Part Relationship in the Unified Modeling Language

Franck Barbier , Brian Henderson-Sellers , Annig Le Parc-Lacayrelle , Jean-Michel Bruel

IEEE Transactions on Software Engineering, 2003, 29 (5), pp.459-470. ⟨10.1109/TSE.2003.1199074⟩

Article dans une revue hal-01906781v1

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

Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2002, 21 (10), pp.1343-1370

Article dans une revue hal-01906782v1
Deposit thumbnail

On the Challenges of Integrating Digital Twins

Benoît Combemale , Jörg Kienzle , Gunter Mussbacher , Pascal Archambault , Jean-Michel Bruel et al.

EDTconf 2025 - 2nd International Conference on Engineering Digital Twins, Oct 2025, Grand Rapids, Michigan, United States. pp.1-7

Communication dans un congrès hal-05221809v1
Deposit thumbnail

Modeling: The Heart and Soul of Engineering Smart Ecosystems

Antonio Bucchiarone , Benoît Combemale , Alfonso Pierantonio , Nelly Bencomo , Mark van den Brand et al.

SAM 2025 - 17th System Analysis and Modelling conference, Oct 2025, Grand Rapids, Michigan, United States. pp.1-8

Communication dans un congrès hal-05229815v1
Deposit thumbnail

Towards Model-Based Decision-Telling: Design Evolution Through Decision Nodes

Nidhal Selmi , Jean-Michel Bruel , Sébastien Mosser , Matthieu Crespo

2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Oct 2025, Grand Rapids, France. pp.457-461, ⟨10.1109/MODELS-C68889.2025.00066⟩

Communication dans un congrès hal-05419036v1

Incorporating FATES Principles in Continuous Development of ML-Integrated Systems: Importance of Requirements

Jean-Michel Bruel , T. Gouaichault , Olivier Teste , M. Blay-Fornarino , N. Lacroix et al.

2025 IEEE 33rd International Requirements Engineering Conference Workshops (REW), Sep 2025, Valencia, France. pp.425-431, ⟨10.1109/REW66121.2025.00062⟩

Communication dans un congrès hal-05393692v1
Deposit thumbnail

Engineering Digital Twins: A Research Roadmap

Benoît Combemale , Pascale Vicat-Blanc , Arnaud Blouin , Hind Bril El Haouzi , Jean-Michel Bruel et al.

EDTconf 2025 - 2nd International Conference on Engineering Digital Twins, Oct 2025, Grand Rapids, Michigan, United States. pp.1-7

Communication dans un congrès hal-05223776v1

Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements

Thuy Nguyen , Sophie Ebersold , Imen Sayar , Jean-Michel Bruel

27 th International Conference on Model Driven Engineering Languages and Systems (MODELS 2024), ACM / IEEE, Sep 2024, Linz, Austria. à paraître, ⟨10.1007/s10270-023-01142-0⟩

Communication dans un congrès hal-04700472v1
Deposit thumbnail

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

18th European Conference on Technology Enhanced Learning (EC-TEL 2023), Sep 2023, Aveiro, Portugal. pp.611-617, ⟨10.1007/978-3-031-42682-7_50⟩

Communication dans un congrès hal-04347305v1
Deposit thumbnail

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

Mika Pons , Jean-Michel Bruel , Jean-Baptiste Raclet , Franck Silvestre

11ème Conférence sur les Environnements Informatiques pour l’Apprentissage Humain (EIAH 2023), ATIEF : Association des Technologies de l’Information pour l’Education et la Formation, Jun 2023, Brest, France. pp.68-79

Communication dans un congrès hal-04144980v1
Deposit thumbnail

Finding behavioral indicators from contextualized commits in software engineering courses with process mining

Mika Pons , Jean-Michel Bruel , Jean-Baptiste Raclet , Franck Silvestre

2nd International Workshop on Frontiers in Software Engineering Education (FISEE 2023), Jan 2023, Villebrumier, France. pp.56-68, ⟨10.1007/978-3-031-48639-5_5⟩

Communication dans un congrès hal-04332205v1
Deposit thumbnail

Modelling and Verification of Natural Language Requirements based on States and Modes

Yinling Liu , Jean-Michel Bruel

30th International Requirements Engineering Conference Workshops (REW 2022), IEEE, Aug 2022, Melbourne, Australia. ⟨10.1109/REW56159.2022.00043⟩

Communication dans un congrès hal-03941814v1

Artificial Intelligence Capabilities for Effective Model‐Based Systems Engineering: A Vision Paper

Mohammad Chami , Nabil Abdoun , Jean-Michel Bruel

INCOSE International Symposium, INCOSE, Jun 2022, Detroit (Michigan), France. pp.1160-1174, ⟨10.1002/iis2.12988⟩

Communication dans un congrès hal-05015373v1
Deposit thumbnail

RQCODE – Towards Object-Oriented Requirements in the Software Security Domain

Ildar Nigmatullin , Andrey Sadovykh , Nan Messe , Sophie Ebersold , Jean-Michel Bruel

IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2022), Apr 2022, Valencia, Spain. pp.2-6, ⟨10.1109/ICSTW55395.2022.00015⟩

Communication dans un congrès hal-03781938v1
Deposit thumbnail

Examining Requirements Documentation through the Focused Conversation Method

Hamna Aslam , Alexandr Naumchev , Jean-Michel Bruel , Joseph Brown

29th International Conference on Information Systems Development (ISD 2021), Sep 2021, València, Spain

Communication dans un congrès hal-03435282v1

Papyrus for gamers, let's play modeling

Antonio Bucchiarone , Maxime Savary-Leblanc , Xavier Le Pallec , Jean-Michel Bruel , Antonio Cicchetti et al.

MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Oct 2020, Virtual Event Canada, Canada. pp.1-5, ⟨10.1145/3417990.3422002⟩

Communication dans un congrès hal-03081980v1
Deposit thumbnail

Modeling and verification method for an early evaluation of Systems of Systems interactions

Ronan Baduel , Iulian Ober , Jean-Michel Bruel

35th Annual ACM Symposium on Applied Computing (SAC 2020), Mar 2020, Brno, Czech Republic. pp.1798-1805, ⟨10.1145/3341105.3373944⟩

Communication dans un congrès hal-02891673v1
Deposit thumbnail

Using Comp-O to Build and Describe Component-Based Services

Grégory Alary , Nathalie Jane Hernandez , Jean-Paul Arcangeli , Sylvie Trouilhet , Jean-Michel Bruel

Demos and Industry Tracks: From Novel Ideas to Industrial Practice (ISWC-Posters 2020 ) co-located with 19th International Semantic Web Conference, Nov 2020, virtual conference, Greece. pp.152-157

Communication dans un congrès hal-03120764v2
Deposit thumbnail

Comp-O: an OWL-S Extension for Composite Service Description

Grégory Alary , Nathalie Jane Hernandez , Jean-Paul Arcangeli , Sylvie Trouilhet , Jean-Michel Bruel

22nd International Conference, EKAW 2020, Sep 2020, Bolzano, Italy. p. 171-182, ⟨10.1007/978-3-030-61244-3_12⟩

Communication dans un congrès hal-02986555v2
Deposit thumbnail

Automated user-oriented description of emerging composite ambient applications

Maroun Koussaifi , Sylvie Trouilhet , Jean-Paul Arcangeli , Jean-Michel Bruel

31st International Conference on Software Engineering and Knowledge Engineering (SEKE 2019), Jul 2019, Lisbonne, Portugal. pp.473-478

Communication dans un congrès hal-02467549v1

Towards an Anatomy of Software Requirements

Bertrand Meyer , Jean-Michel Bruel , Sophie Ebersold , Florian Galinier , Alexandr Naumchev

51st International Conference on Software Technology: Methods and Tools (TOOLS 2019), Oct 2019, Innopolis, Russia. pp.10-40, ⟨10.1007/978-3-030-29852-4_2⟩

Communication dans un congrès hal-04182587v1
Deposit thumbnail

A Survey on MBSE Adoption Challenges

Mohammad Chami , Jean-Michel Bruel

INCOSE EMEA Sector Systems Engineering Conference (INCOSE EMEASEC 2018), Nov 2018, Berlin, Germany. pp.1-16

Communication dans un congrès hal-02124402v1
Deposit thumbnail

SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation

Ronan Baduel , Mohammad Chami , Jean-Michel Bruel , Iulian Ober

European Conference on Modelling Foundations and Applications, Jun 2018, Toulouse, France

Communication dans un congrès hal-01815510v1
Deposit thumbnail

Requirements Specific Modeling Language : un langage formel d'expression d'exigences

Florian Galinier , Sophie Ebersold , Jean-Michel Bruel

Conférence en IngénieriE du Logiciel, Jun 2018, Grenoble, France

Communication dans un congrès hal-01815467v1
Deposit thumbnail

Reconciling Requirements and Continuous Integration in an Agile Context

Sébastien Mosser , Jean-Michel Bruel

2018 IEEE 26th International Requirements Engineering Conference (RE), Aug 2018, Banff, Canada

Communication dans un congrès hal-01947831v1

Towards a Requirements Engineering Approach for Capturing Uncertainty in Cyber-Physical Systems Environment

Manzoor Ahmad , Christophe Gnaho , Jean-Michel Bruel , Régine Laleau

New Trends in Model and Data Engineering - MEDI 2018 International Workshops, Oct 2018, Marrackech, Morocco. pp.115-129, ⟨10.1007/978-3-030-02852-7_11⟩

Communication dans un congrès hal-04710698v1
Deposit thumbnail

Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap

Hugo Bruneliere , Romina Eramo , Abel Gomez , Valentin Besnard , Jean-Michel Bruel et al.

MDE@DeRun 2018 workshop, co-located with the Software Technologies: Applications and Foundations (STAF 2018) federation of conferences, Jun 2018, Toulouse, France. ⟨10.1007/978-3-030-04771-9_40⟩

Communication dans un congrès hal-01890878v1
Deposit thumbnail

Model-Based Systems Engineering for Systems Simulation

Renan Leroux-Beaudout , Marc Pantel , Ileana Ober , Jean-Michel Bruel

Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), Oct 2018, Limassol, Cyprus. pp.429-448

Communication dans un congrès hal-02124418v1
Deposit thumbnail

Towards Solving MBSE Adoption Challenges: The D3 MBSE Adoption Toolbox

Mohammad Chami , Aiste Aleksandraviciene , Aurelijus Morkevicius , Jean-Michel Bruel

Annual International Council on Systems Engineering Symposium (INCOSE 2018), Jul 2018, Washington DC, United States. pp.1463-1477

Communication dans un congrès hal-02124403v1

Definition of states and modes as general concepts for system design and validation

Ronan Baduel , Jean-Michel Bruel , Iulian Ober , Eddy Doba

12e Conference Internationale de Modelisation, Optimisation et Simulation (MOSIM 2018), Jun 2018, Toulouse, France

Communication dans un congrès hal-02943016v1
Deposit thumbnail

Ambient Intelligence Users in the Loop: Towards a Model-Driven Approach

Maroun Koussaifi , Sylvie Trouilhet , Jean-Paul Arcangeli , Jean-Michel Bruel

MSE (“Microservices: Science and Engineering”) Workshop (MSE@STAF 2018), Jun 2018, Toulouse, France

Communication dans un congrès hal-01815481v1
Deposit thumbnail

Model Transformation Reuse across Metamodels - A classification and comparison of approaches

Jean-Michel Bruel , Benoit Combemale , Esther Guerra , Jean-Marc Jézéquel , Jörg Kienzle et al.

ICMT 2018 - International Conference on Theory and Practice of Model Transformations, Jun 2018, Toulouse, France. pp.92-109, ⟨10.1007/978-3-319-93317-7_4⟩

Communication dans un congrès hal-01910113v1
Deposit thumbnail

Seamless Integration of Multirequirements in Complex Systems

Florian Galinier , Jean-Michel Bruel , Sophie Ebersold , Bertrand Meyer

25th International Requirements Engineering Conference Workshops (REW 2017), Sep 2017, Lisbon, Portugal. pp.1

Communication dans un congrès hal-03656674v1
Deposit thumbnail

Modeling co-simulation : a first experiment

Renan Leroux-Beaudout , Ileana Ober , Marc Pantel , Jean-Michel Bruel

5th International Workshop on the Globalization of Modeling Languages (GEMOC 2017) co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Sep 2017, Austin, TX, United States. pp.292-297

Communication dans un congrès hal-02603696v1
Deposit thumbnail

Intégration des (multi-)exigences tout au long du développement des systèmes complexes

Florian Galinier , Jean-Michel Bruel , Sophie Ebersold , Bertrand Meyer

16emes Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2017), Jun 2017, Montpellier, France. pp.57-63

Communication dans un congrès hal-02864409v1
Deposit thumbnail

Towards a MARTE Extension to Address Adaptation Mechanisms

Mohamed Naija , Jean-Michel Bruel , Samir Ben Ahmed

17th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2016), Jan 2016, Orlando, FL, United States. pp.240-243

Communication dans un congrès hal-02348228v1
Deposit thumbnail

Modeling for Sustainability

Benoit Combemale , Betty H.C. Cheng , Ana Moreira , Jean-Michel Bruel , Jeff Gray

Modeling in Software Engineering 2016 (MiSE'16), May 2016, Austin, United States. pp.62-66

Communication dans un congrès hal-01517387v3
Deposit thumbnail

Guiding the selection of security patterns for real-time systems

Anas Motii , Brahim Hamid , Agnes Lanusse , Jean-Michel Bruel

21st IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2016), Nov 2016, Dubaï, United Arab Emirates. pp. 155-164, ⟨10.1145/2855321.2855332⟩

Communication dans un congrès hal-01682979v1
Deposit thumbnail

Towards a Methodological Tool Support for Modeling Security-Oriented Processes

Jacob Geisel , Brahim Hamid , David Gonzalez , Jean-Michel Bruel

6th International Conference On Model and Data Engineering (MEDI 2016), Sep 2016, Almeria, Spain. pp. 31-41

Communication dans un congrès hal-01475034v1

Preface - OSS4MDE 2016

F. Bordeleau , J. Dingel , S. Voss , Jean-Michel Bruel , Sébastien Gerard

Joint 12th Educators Symposium and 3rd International Workshop on Open Source Software for Model Driven Engineering, EduSymp+OSS4MDE 2016, Oct 2016, Saint-Malo, France

Communication dans un congrès cea-01843178v1
Deposit thumbnail

Towards the integration of security patterns in UML Component-based Applications

Anas Motii , Brahim Hamid , Agnes Lanusse , Jean-Michel Bruel

Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, {PAME/VOLT} 2016, co-located with {ACM/IEEE}19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Oct 2016, Saint-Malo, France

Communication dans un congrès cea-01810097v1
Deposit thumbnail

Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study

Anas Motii , Agnes Lanusse , Brahim Hamid , Jean-Michel Bruel

TIPS Workshop in 35th International Conference on Computer Safety, Reliability and Security (Safecomp 2016), Sep 2016, Trondheim, Norway. pp. 375-389

Communication dans un congrès hal-01485025v1
Deposit thumbnail

Security Concepts as Add-On for Process Models

Jacob Geisel , Brahim Hamid , Jean-Michel Bruel

20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015), Dec 2015, Gold Coast, Australia. pp. 190-193

Communication dans un congrès hal-01316833v1
Deposit thumbnail

Towards an Integrated Conceptual Design Evaluation of Mechatronic Systems: The SysDICE Approach

Mohammad Chami , Jean-Michel Bruel

International Conference on Computational Science (ICCS 2015), Jun 2015, Reykjavik, Iceland. pp. 650-659

Communication dans un congrès hal-01327102v1
Deposit thumbnail

A Generic Traceability Framework for Model Composition Operation

Youness Laghouaouta , Adil Anwar , Mahmoud Nassar , Jean-Michel Bruel

16th International Conference on Business Process Modeling, Development, and Support (BPMDS 2015) @ CAiSE 2015, Jun 2015, Stockholm, Sweden. pp.461-475, ⟨10.1007/978-3-319-19237-6_29⟩

Communication dans un congrès hal-04077763v1
Deposit thumbnail

MDE in Practice for Computational Science

Jean-Michel Bruel , Benoit Combemale , Ileana Ober , Hélène Raynal

INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, Université de Reykjavik. Reykjavik, ISL., Jun 2015, Reykjavík, Iceland. 10 p., ⟨10.1016/j.procs.2015.05.182⟩

Communication dans un congrès hal-01141393v1

Papyrus for education

Jean-Michel Bruel , B. Maggi , C. Letavernier

2nd International Workshop on Open Source Software for Model Driven Engineering, OSS4MDE 2015, Sep 2015, Ottawa, Canada. pp.38-43

Communication dans un congrès cea-01844045v1
Deposit thumbnail

Guiding the selection of security patterns based on security requirements and pattern classification

Anas Motii , Brahim Hamid , Agnes Lanusse , Jean-Michel Bruel

20th European Conference on Pattern Language of Programs (EuroPlop 2015), Jul 2015, Kloster Irsee, Germany. pp. 1-17

Communication dans un congrès hal-01567086v1
Deposit thumbnail

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

Inforsid 2014, May 2014, Lyon, France. pp.113-128

Communication dans un congrès hal-01084878v1
Deposit thumbnail

On the use of graph transformations for model composition traceability

Youness Laghouaouta , Adil Anwar , Mahmoud Nassar , Jean-Michel Bruel

8th International Conference on Research Challenge in Information Science (RCIS 2014), May 2014, Marrakesh, Morocco. pp. 1-11

Communication dans un congrès hal-01387730v1
Deposit thumbnail

The relevance of model-driven engineering thirty years from now

Gunter Mussbacher , Daniel Amyot , Ruth Breu , Jean-Michel Bruel , Betty Cheng et al.

17th International Conference ACM/IEEE - Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2014, Valencia, Spain. pp. 183-200, ⟨10.1007/978-3-319-11653-2_12⟩

Communication dans un congrès hal-01156595v1
Deposit thumbnail

Using Relax Operators into an MDE Security Requirement Elicitation Process for Systems of Systems

Nicolas Belloir , Vanea Chiprianov , Manzoor Ahmad , Manuel Munier , Laurent Gallon et al.

ECSA 2nd International Workshop on Software Engineering for Systems-of-Systems (SESoS'2014), Aug 2014, Vienna, Austria. pp.32

Communication dans un congrès hal-01082400v1
Deposit thumbnail

Self-adaptive systems requirements modelling: Four related approaches comparison

M Ahmad , João Araújo , Nicolas Belloir , Jean-Michel Bruel , Christophe Gnaho et al.

Comparing *Requirements* Modeling Approaches (CMA@RE) workshop in the field of 21st IEEE International Requirements Engineering Conference, Jul 2013, Rio de Janeiro, Brazil. pp.37 - 42, ⟨10.1109/CMA-RE.2013.6664183⟩

Communication dans un congrès hal-01084985v1
Deposit thumbnail

How to Analyze Modeling Approach Comparison Criteria

Frédéric Mayart , Jean-Michel Bruel , Brahim Hamid

Comparing Modeling Approaches Workshop - CMA 2013, Oct 2013, Miami, United States. pp. 1-3

Communication dans un congrès hal-01143229v1
Deposit thumbnail

Model-Driven Engineering for Trusted Embedded Systems based on Security and Dependability Patterns

Brahim Hamid , Jacob Geisel , Adel Ziani , Jean-Michel Bruel , Jon Perez

16th System Design Languages Forum (SDL 2013), Jun 2013, Montreal, Canada. pp.72-90

Communication dans un congrès hal-01240715v1
Deposit thumbnail

Repository-Centric Process Modeling - Example of a Pattern Based Development Process

Jacob Geisel , Brahim Hamid , Jean-Michel Bruel

11th International Conference on Software Engineering Research, Management and Applications (SERA 2013), Aug 2013, Prague, Czech Republic. pp.247-261, ⟨10.1007/978-3-319-00948-3_16⟩

Communication dans un congrès hal-04083840v1
Deposit thumbnail

Early Analysis of Ambient Systems SysML Properties using OMEGA2-IFx

Manzoor Ahmad , Iulia Dragomir , Jean-Michel Bruel , Iulian Ober , Nicolas Belloir

SIMULTECH 2013, Jul 2013, Reykjavik, Iceland

Communication dans un congrès hal-01085410v1
Deposit thumbnail

A Model-based Repository of Security and Dependability Patterns for Trusted RCES

Adel Ziani , Brahim Hamid , Jacob Geisel , Jean-Michel Bruel

IEEE International Conference on Information Reuse and Integration (IRI), Aug 2013, San Francisco, United States. pp. 448-457

Communication dans un congrès hal-01146705v1
Deposit thumbnail

HPCML: A Modeling Language Dedicated to High-Performance Scientific Computing

Marc Palyart , David Lugato , Ileana Ober , Jean-Michel Bruel

1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing (MDHPCL), Feb 2012, Innsbruck, Austria. pp.1

Communication dans un congrès hal-00761340v1

Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling

Manzoor Ahmad , Jean-Michel Bruel , Régine Laleau , Christophe Gnaho

International Conference on Ambient Systems, Networks and Technologies/International Conference on Mobile Web Information Systems (ANT/MobiWIS), 2012, Unknown, Unknown Region. pp.474-481

Communication dans un congrès hal-01224634v1
Deposit thumbnail

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

ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2011, Wellington, New Zealand. pp.213-227

Communication dans un congrès hal-00760410v1

Utilisation de SysML pour la modélisation des réseaux de capteurs

Nicolas Belloir , Jean-Michel Bruel , Cong-Duc Pham

14e LM0 2008, 2008, Montréal, Québec, Canada. pp

Communication dans un congrès hal-00366919v1

Observability and Controllability of Wireless Software Components

F. Romeo , Franck Barbier , Jean-Michel Bruel

7th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2007, Paphos, Cyprus. pp.;

Communication dans un congrès hal-00389747v1

Autonomic Management of Component-Based Embedded Software

F. Romeo , Franck Barbier , Jean-Michel Bruel

10th IFIP/IEEE Symposium on Integrated Management, May 2007, Munich, Germany. pp.;

Communication dans un congrès hal-00390406v1

Component Based Development : a Composition Oriented Approach

Nicolas Belloir , Jean-Michel Bruel

5th International Conference on Research, Innovation and Vision fot the Futur, Mar 2007, Hanoi, Vietnam. pp.;

Communication dans un congrès hal-00390408v1

Implémentation d'un modèle UML de composition hiérarchique.

Nicolas Belloir , Jean-Michel Bruel , Eric Cariou

In Actes de la conférence Langages et Modèles à Objets, Mar 2007, Toulouse, France. pp.;

Communication dans un congrès hal-00395686v1

Aspect-based Testing of COTS Components

Jean-Michel Bruel , Albert Royer

GI, 2006, Germany. pp.;

Communication dans un congrès hal-00408551v1

Incorporation of Test Functionality into Software Components

Franck Barbier , Nicolas Belloir , Jean-Michel Bruel

COTS-Based Software Systems, Second International Conference, ICCBSS 2003, Ottawa, Canada, February 10-13, 2003, Proceedings, Feb 2003, Ottawa, Canada. pp.25-35, ⟨10.1007/3-540-36465-X\_3⟩

Communication dans un congrès hal-01908737v1

Whole-Part Relationships for Software Component Combination

Nicolas Belloir , Jean-Michel Bruel , Franck Barbier

29th EUROMICRO Conference 2003, New Waves in System Architecture, 3-5 September 2003, Belek-Antalya, Turkey, Sep 2003, Belek-Antalya, Turkey. pp.86-93, ⟨10.1109/EURMIC.2003.1231571⟩

Communication dans un congrès hal-01908735v1

Application de La Théorie de La Relation Tout-Partie à La Composition de Composants Logiciels

Nicolas Belloir , Jean-Michel Bruel , Franck Barbier

Actes Du XXIème Congrès INFORSID, Nancy, France, 24-27 Mai, 2003, May 2003, Nancy, France. pp.35-50

Communication dans un congrès hal-01908736v1

Improving the UML Metamodel to Rigorously Specify Aggregation and Composition

Jean-Michel Bruel , Brian Henderson-Sellers , Franck Barbier , Annig Le Parc-Lacayrelle , Robert B. France

OOIS'2001, 7th International Conference on Object Oriented Information Systems, 27-29 August 2001, Calgary, Canada. Proceedings, Aug 2001, Calgary, Canada. pp.5-14

Communication dans un congrès hal-01909114v1

Security Requirements Formalization with RQCODE in

Andrey Sadovykh , Nan Messe , Ildar Nigmatullin , Sophie Ebersold , Maria Naumcheva et al.

Andrey Sadovykh; Dragos Truscan; Wissam Mallouli; Ana Rosa Cavalli; Cristina Seceleanu; Alessandra Bagnato. CyberSecurity in a DevOps Environment From Requirements to Monitoring, Springer, In press, 978-3-031-42211-9

Chapitre d'ouvrage hal-04324243v1

Computing Education in the Age of AI-Based Assistants: Challenges and Opportunities

Alfredo Capozucca , Sophie Ebersold , Jean-Michel Bruel , Bertrand Meyer

Frontiers in Software Engineering Education, 14387, Springer Nature Switzerland, pp.108-115, 2023, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-48639-5_9⟩

Chapitre d'ouvrage hal-05487302v1

OOIS'02: Advances in Object-Oriented Information Systems

Jean-Michel Bruel , Zohra Bellahsene

n.d., 2426, Springer, pp.314, 2002, Lecture Notes in Computer Science, 3-540-44088-7

Chapitre d'ouvrage lirmm-00268658v1
Deposit thumbnail

Emergence of Composite Services in Smart Environments

Maroun Koussaifi , Walid Younes , Françoise Adreit , Jean-Paul Arcangeli , Jean-Michel Bruel et al.

8th EuroScience Open Forum (ESOF 2018), Jul 2018, Toulouse, France. pp.0, 2018

Poster de conférence hal-02280356v1

How to handle environmental uncertainty in goal-based requirements engineering

Manzoor Ahmad , Jean-Michel Bruel , Christophe Gnaho , Régine Laleau

40th International Conference on Software Engineering (ICSE 2018), May 2018, Gothenburg (online), Sweden. ACM, ICSE '18: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, pp.368--369, 2018, ⟨10.1145/3183440.3195013⟩

Poster de conférence hal-04353185v1
Deposit thumbnail

Putting the End-User in the Loop in Smart Ambient Systems: an Approach based on Model-Driven Engineering

Maroun Koussaifi , Jean-Paul Arcangeli , Sylvie Trouilhet , Jean-Michel Bruel

[Research Report] IRIT/RR–2020–06–FR, IRIT - Institut de Recherche en Informatique de Toulouse. 2020

Rapport (rapport de recherche) hal-03120776v1
Deposit thumbnail

A Comparative Study of RELAX and SysML/KAOS

Manzoor Ahmad , Jean-Michel Bruel

[Rapport de recherche] IRIT : Institut de Recherche Informatique de Toulouse. 2014, pp.1-10

Rapport (rapport de recherche) hal-03260606v1