Jean-Michel Bruel
Présentation
Publications
Publications
|
|
On the Challenges of Integrating Digital TwinsEDTconf 2025 - 2nd International Conference on Engineering Digital Twins, Oct 2025, Grand Rapids, Michigan, United States. pp.1-7 |
|
|
Modeling: The Heart and Soul of Engineering Smart EcosystemsSAM 2025 - 17th System Analysis and Modelling conference, Oct 2025, Grand Rapids, Michigan, United States. pp.1-8 |
|
|
Towards Model-Based Decision-Telling: Design Evolution Through Decision Nodes2025 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⟩ |
Incorporating FATES Principles in Continuous Development of ML-Integrated Systems: Importance of Requirements2025 IEEE 33rd International Requirements Engineering Conference Workshops (REW), Sep 2025, Valencia, France. pp.425-431, ⟨10.1109/REW66121.2025.00062⟩ |
|
|
|
Engineering Digital Twins: A Research RoadmapEDTconf 2025 - 2nd International Conference on Engineering Digital Twins, Oct 2025, Grand Rapids, Michigan, United States. pp.1-7 |
Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements27 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⟩ |
|
|
|
Traceability by design: design of an interactive system to improve the automatic generation of Git traces during a learning activity18th European Conference on Technology Enhanced Learning (EC-TEL 2023), Sep 2023, Aveiro, Portugal. pp.611-617, ⟨10.1007/978-3-031-42682-7_50⟩ |
|
|
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'apprentissage11è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 |
|
|
Finding behavioral indicators from contextualized commits in software engineering courses with process mining2nd 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⟩ |
|
|
Modelling and Verification of Natural Language Requirements based on States and Modes30th International Requirements Engineering Conference Workshops (REW 2022), IEEE, Aug 2022, Melbourne, Australia. ⟨10.1109/REW56159.2022.00043⟩ |
Artificial Intelligence Capabilities for Effective Model‐Based Systems Engineering: A Vision PaperINCOSE International Symposium, INCOSE, Jun 2022, Detroit (Michigan), France. pp.1160-1174, ⟨10.1002/iis2.12988⟩ |
|
|
|
RQCODE – Towards Object-Oriented Requirements in the Software Security DomainIEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2022), Apr 2022, Valencia, Spain. pp.2-6, ⟨10.1109/ICSTW55395.2022.00015⟩ |
|
|
Examining Requirements Documentation through the Focused Conversation Method29th International Conference on Information Systems Development (ISD 2021), Sep 2021, València, Spain |
Papyrus for gamers, let's play modelingMODELS '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⟩ |
|
|
|
Modeling and verification method for an early evaluation of Systems of Systems interactions35th Annual ACM Symposium on Applied Computing (SAC 2020), Mar 2020, Brno, Czech Republic. pp.1798-1805, ⟨10.1145/3341105.3373944⟩ |
|
|
Using Comp-O to Build and Describe Component-Based ServicesDemos 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 |
|
|
Comp-O: an OWL-S Extension for Composite Service Description22nd International Conference, EKAW 2020, Sep 2020, Bolzano, Italy. p. 171-182, ⟨10.1007/978-3-030-61244-3_12⟩ |
|
|
Automated user-oriented description of emerging composite ambient applications31st International Conference on Software Engineering and Knowledge Engineering (SEKE 2019), Jul 2019, Lisbonne, Portugal. pp.473-478 |
Towards an Anatomy of Software Requirements51st 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⟩ |
|
|
|
A Survey on MBSE Adoption ChallengesINCOSE EMEA Sector Systems Engineering Conference (INCOSE EMEASEC 2018), Nov 2018, Berlin, Germany. pp.1-16 |
|
|
SysML Models Verification and Validation in an Industrial Context: Challenges and ExperimentationEuropean Conference on Modelling Foundations and Applications, Jun 2018, Toulouse, France |
|
|
Requirements Specific Modeling Language : un langage formel d'expression d'exigencesConférence en IngénieriE du Logiciel, Jun 2018, Grenoble, France |
|
|
Reconciling Requirements and Continuous Integration in an Agile Context2018 IEEE 26th International Requirements Engineering Conference (RE), Aug 2018, Banff, Canada |
Towards a Requirements Engineering Approach for Capturing Uncertainty in Cyber-Physical Systems EnvironmentNew 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⟩ |
|
|
|
Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and RoadmapMDE@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⟩ |
|
|
Model-Based Systems Engineering for Systems SimulationSymposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), Oct 2018, Limassol, Cyprus. pp.429-448 |
|
|
Towards Solving MBSE Adoption Challenges: The D3 MBSE Adoption ToolboxAnnual International Council on Systems Engineering Symposium (INCOSE 2018), Jul 2018, Washington DC, United States. pp.1463-1477 |
Definition of states and modes as general concepts for system design and validation12e Conference Internationale de Modelisation, Optimisation et Simulation (MOSIM 2018), Jun 2018, Toulouse, France |
|
|
|
Ambient Intelligence Users in the Loop: Towards a Model-Driven ApproachMSE (“Microservices: Science and Engineering”) Workshop (MSE@STAF 2018), Jun 2018, Toulouse, France |
|
|
Model Transformation Reuse across Metamodels - A classification and comparison of approachesICMT 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⟩ |
|
|
Seamless Integration of Multirequirements in Complex Systems25th International Requirements Engineering Conference Workshops (REW 2017), Sep 2017, Lisbon, Portugal. pp.1 |
|
|
Modeling co-simulation : a first experiment5th 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 |
|
|
Intégration des (multi-)exigences tout au long du développement des systèmes complexes16emes Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2017), Jun 2017, Montpellier, France. pp.57-63 |
|
|
Towards a MARTE Extension to Address Adaptation Mechanisms17th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2016), Jan 2016, Orlando, FL, United States. pp.240-243 |
|
|
Modeling for SustainabilityModeling in Software Engineering 2016 (MiSE'16), May 2016, Austin, United States. pp.62-66 |
|
|
Guiding the selection of security patterns for real-time systems21st IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2016), Nov 2016, Dubaï, United Arab Emirates. pp. 155-164, ⟨10.1145/2855321.2855332⟩ |
|
|
Towards a Methodological Tool Support for Modeling Security-Oriented Processes6th International Conference On Model and Data Engineering (MEDI 2016), Sep 2016, Almeria, Spain. pp. 31-41 |
Preface - OSS4MDE 2016Joint 12th Educators Symposium and 3rd International Workshop on Open Source Software for Model Driven Engineering, EduSymp+OSS4MDE 2016, Oct 2016, Saint-Malo, France |
|
|
|
Towards the integration of security patterns in UML Component-based ApplicationsJoint 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 |
|
|
Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case StudyTIPS Workshop in 35th International Conference on Computer Safety, Reliability and Security (Safecomp 2016), Sep 2016, Trondheim, Norway. pp. 375-389 |
|
|
Security Concepts as Add-On for Process Models20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015), Dec 2015, Gold Coast, Australia. pp. 190-193 |
|
|
Towards an Integrated Conceptual Design Evaluation of Mechatronic Systems: The SysDICE ApproachInternational Conference on Computational Science (ICCS 2015), Jun 2015, Reykjavik, Iceland. pp. 650-659 |
|
|
A Generic Traceability Framework for Model Composition Operation16th 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⟩ |
|
|
MDE in Practice for Computational ScienceINTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, Université de Reykjavik. Reykjavik, ISL., Jun 2015, Reykjavík, Iceland. 10 p., ⟨10.1016/j.procs.2015.05.182⟩ |
Papyrus for education2nd International Workshop on Open Source Software for Model Driven Engineering, OSS4MDE 2015, Sep 2015, Ottawa, Canada. pp.38-43 |
|
|
|
Guiding the selection of security patterns based on security requirements and pattern classification20th European Conference on Pattern Language of Programs (EuroPlop 2015), Jul 2015, Kloster Irsee, Germany. pp. 1-17 |
|
|
Des buts à la modélisation système : une approche de modélisation des exigences centrée utilisateurInforsid 2014, May 2014, Lyon, France. pp.113-128 |
|
|
On the use of graph transformations for model composition traceability8th International Conference on Research Challenge in Information Science (RCIS 2014), May 2014, Marrakesh, Morocco. pp. 1-11 |
|
|
The relevance of model-driven engineering thirty years from now17th 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⟩ |
|
|
Using Relax Operators into an MDE Security Requirement Elicitation Process for Systems of SystemsECSA 2nd International Workshop on Software Engineering for Systems-of-Systems (SESoS'2014), Aug 2014, Vienna, Austria. pp.32 |
|
|
Self-adaptive systems requirements modelling: Four related approaches comparisonComparing *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⟩ |
|
|
How to Analyze Modeling Approach Comparison CriteriaComparing Modeling Approaches Workshop - CMA 2013, Oct 2013, Miami, United States. pp. 1-3 |
|
|
Model-Driven Engineering for Trusted Embedded Systems based on Security and Dependability Patterns16th System Design Languages Forum (SDL 2013), Jun 2013, Montreal, Canada. pp.72-90 |
|
|
Repository-Centric Process Modeling - Example of a Pattern Based Development Process11th 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⟩ |
|
|
Early Analysis of Ambient Systems SysML Properties using OMEGA2-IFxSIMULTECH 2013, Jul 2013, Reykjavik, Iceland |
|
|
A Model-based Repository of Security and Dependability Patterns for Trusted RCESIEEE International Conference on Information Reuse and Integration (IRI), Aug 2013, San Francisco, United States. pp. 448-457 |
|
|
HPCML: A Modeling Language Dedicated to High-Performance Scientific Computing1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing (MDHPCL), Feb 2012, Innsbruck, Austria. pp.1 |
Using RELAX, SysML and KAOS for Ambient Systems Requirements ModelingInternational Conference on Ambient Systems, Networks and Technologies/International Conference on Mobile Web Information Systems (ANT/MobiWIS), 2012, Unknown, Unknown Region. pp.474-481 |
|
|
|
Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and FrameworksACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2011, Wellington, New Zealand. pp.213-227 |
Utilisation de SysML pour la modélisation des réseaux de capteurs14e LM0 2008, 2008, Montréal, Québec, Canada. pp |
|
Observability and Controllability of Wireless Software Components7th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2007, Paphos, Cyprus. pp.; |
|
Autonomic Management of Component-Based Embedded Software10th IFIP/IEEE Symposium on Integrated Management, May 2007, Munich, Germany. pp.; |
|
Component Based Development : a Composition Oriented Approach5th International Conference on Research, Innovation and Vision fot the Futur, Mar 2007, Hanoi, Vietnam. pp.; |
|
Implémentation d'un modèle UML de composition hiérarchique.In Actes de la conférence Langages et Modèles à Objets, Mar 2007, Toulouse, France. pp.; |
|
Aspect-based Testing of COTS ComponentsGI, 2006, Germany. pp.; |
|
Incorporation of Test Functionality into Software ComponentsCOTS-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⟩ |
|
Whole-Part Relationships for Software Component Combination29th 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⟩ |
|
Application de La Théorie de La Relation Tout-Partie à La Composition de Composants LogicielsActes Du XXIème Congrès INFORSID, Nancy, France, 24-27 Mai, 2003, May 2003, Nancy, France. pp.35-50 |
|
Improving the UML Metamodel to Rigorously Specify Aggregation and CompositionOOIS'2001, 7th International Conference on Object Oriented Information Systems, 27-29 August 2001, Calgary, Canada. Proceedings, Aug 2001, Calgary, Canada. pp.5-14 |
Applying Requirements and Business AnalysisSpringer Nature Switzerland, 2025, 978-3-031-92160-5. ⟨10.1007/978-3-031-92160-5⟩ |
Security Requirements Formalization with RQCODE inAndrey 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 |
|
Computing Education in the Age of AI-Based Assistants: Challenges and OpportunitiesFrontiers 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⟩ |
|
OOIS'02: Advances in Object-Oriented Information Systemsn.d., 2426, Springer, pp.314, 2002, Lecture Notes in Computer Science, 3-540-44088-7 |
|
|
Emergence of Composite Services in Smart Environments8th EuroScience Open Forum (ESOF 2018), Jul 2018, Toulouse, France. pp.0, 2018 |
How to handle environmental uncertainty in goal-based requirements engineering40th 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⟩ |
|
|
A contract-based method to specify stimulus-response requirements2017 |
|
|
Putting the End-User in the Loop in Smart Ambient Systems: an Approach based on Model-Driven Engineering[Research Report] IRIT/RR–2020–06–FR, IRIT - Institut de Recherche en Informatique de Toulouse. 2020 |
|
|
A Comparative Study of RELAX and SysML/KAOS[Rapport de recherche] IRIT : Institut de Recherche Informatique de Toulouse. 2014, pp.1-10 |