Jean-Michel Bruel

Orcid: 0000-0002-3653-0148

Affiliations:
  • University of Toulouse, France


According to our database1, Jean-Michel Bruel authored at least 110 papers between 1996 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Modeling and Verification of Natural Language Requirements based on States and Modes.
Formal Aspects Comput., June, 2024

2023
Gamifying model-based engineering: The PapyGame tool.
Sci. Comput. Program., August, 2023

Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests.
J. Object Technol., 2023

Finding Behavioral Indicators from Contextualized Commits in Software Engineering Courses with Process Mining.
Proceedings of the Frontiers in Software Engineering Education, 2023

Traceability by Design: Design of an Interactive System to Improve the Automatic Generation of Git Traces During a Learning Activity.
Proceedings of the Responsive and Sustainable Educational Futures, 2023

2022
Special Issue on New Paradigms of Software Production and Deployment.
SN Comput. Sci., 2022

The Role of Formalism in System Requirements.
ACM Comput. Surv., 2022

Modeling of Natural Language Requirements based on States and Modes.
Proceedings of the 30th IEEE International Requirements Engineering Conference Workshops, 2022

RQCODE - Towards Object-Oriented Requirements in the Software Security Domain.
Proceedings of the 15th IEEE International Conference on Software Testing, 2022

The Intersection Between the CS Students' Perceived Ideal Workspace and the Actual One.
Proceedings of the Learning in the Age of Digital and Green Transition, 2022

2021
A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems.
IEEE Softw., 2021

Model-Driven Engineering for End-Users in the Loop in Smart Ambient Systems.
J. Univers. Comput. Sci., 2021

Requirements Engineering in the DevOps Era.
Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

Examining Requirements Documentation through the Focused Conversation Method.
Proceedings of the Information Systems Development: Crossing Boundaries between Development and Operations (DevOps) in Information Systems (ISD2021 Proceedings), 2021

2020
Comparing and classifying model transformation reuse approaches across metamodels.
Softw. Syst. Model., 2020

Toward model-driven sustainability evaluation.
Commun. ACM, 2020

Using Comp-O to Build and Describe Component-Based Services.
Proceedings of the ISWC 2020 Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 19th International Semantic Web Conference (ISWC 2020), 2020

Modeling and verification method for an early evaluation of systems of systems interactions.
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Papyrus for gamers, let's play modeling.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Comp-O: An OWL-S Extension for Composite Service Description.
Proceedings of the Knowledge Engineering and Knowledge Management, 2020

2019
AutoReq: Expressing and verifying requirements for control systems.
J. Comput. Lang., 2019

Formality in Software Requirements.
CoRR, 2019

Modeling and verification method for an early validation of a train system.
CoRR, 2019

The Anatomy of Requirements.
CoRR, 2019

Towards an Anatomy of Software Requirements.
Proceedings of the Software Technology: Methods and Tools - 51st International Conference, 2019

Automated user-oriented description of emerging composite ambient applications.
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Preface to the 1st Workshop on DevOps@MODELS.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Reflections on Teaching Formal Methods for Software Development in Higher Education.
Proceedings of the Frontiers in Software Engineering Education, 2019

2018
On the use of models for high-performance scientific computing applications: an experience report.
Softw. Syst. Model., 2018

A Domain-Specific Language to manage Requirements Traceability.
J. Softw., 2018

Ambient Intelligence Users in the Loop: Towards a Model-Driven Approach.
Proceedings of the Software Technologies: Applications and Foundations, 2018

Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap - Report on the MDE@DeRun 2018 Workshop.
Proceedings of the Software Technologies: Applications and Foundations, 2018

Reconciling Requirements and Continuous Integration in an Agile Context.
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

CPS simulation models categories in Extended Enterprises.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

Towards a Requirements Engineering Approach for Capturing Uncertainty in Cyber-Physical Systems Environment.
Proceedings of the New Trends in Model and Data Engineering, 2018

DevOps'18 Education Panel - Teaching Feedback and Challenges.
Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2018

Model-Based Systems Engineering for Systems Simulation.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

How to handle environmental uncertainty in goal-based requirements engineering.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Model Transformation Reuse Across Metamodels - A Classification and Comparison of Approaches.
Proceedings of the Theory and Practice of Model Transformation, 2018

SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation.
Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018

2017
Expressing and verifying embedded software requirements.
CoRR, 2017

A contract-based method to specify stimulus-response requirements.
CoRR, 2017

REQDL: A Requirements Description Language to Support Requirements Traces Generation.
Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

Seamless Integration of Multirequirements in Complex Systems.
Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

Modeling Co-simulation: A First Experiment.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

2016
Formal Requirements Engineering for Smart Industries: Toward a Model-Based Graphical Language.
Proceedings of the 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, 2016

Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study.
Proceedings of the Computer Safety, Reliability, and Security, 2016

An Industrial Feedback on Model-Based Requirements Engineering in Systems Engineering Context.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Towards Improved Requirements Engineering with SysML and the User Requirements Notation.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Towards the integration of security patterns in UML component-based applications.
Proceedings of the Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, 2016

Towards a Methodological Tool Support for Modeling Security-Oriented Processes.
Proceedings of the Model and Data Engineering - 6th International Conference, 2016

Modeling for sustainability.
Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

Guiding the Selection of Security Patterns for Real-Time Systems.
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

Towards a MARTE Extension to Address Adaptation Mechanisms.
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

2015
Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems.
J. Syst. Softw., 2015

Papyrus for Education (Invited Presentation).
Proceedings of the International Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

New Schedulability Analysis for Real-Time Systems based on MDE and Petri Nets Model at Early Design Stages.
Proceedings of the ICSOFT-EA 2015, 2015

Security Concepts as Add-On for Process Models.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Towards an Integrated Conceptual Design Evaluation of Mechatronic Systems: The SysDICE Approach.
Proceedings of the International Conference on Computational Science, 2015

MDE in Practice for Computational Science.
Proceedings of the International Conference on Computational Science, 2015

Guiding the selection of security patterns based on security requirements and pattern classification.
Proceedings of the 20th European Conference on Pattern Languages of Programs, 2015

A Generic Traceability Framework for Model Composition Operation.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2015

2014
On the use of graph transformations for model composition traceability.
Proceedings of the IEEE 8th International Conference on Research Challenges in Information Science, 2014

The Relevance of Model-Driven Engineering Thirty Years from Now.
Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Des buts à la modélisation système : une approche de modélisation des exigences centrée utilisateur.
Proceedings of the Actes du XXXIIème Congrès INFORSID, Lyon, France, 20-23 Mai 2014., 2014

Using Relax Operators into an MDE Security Requirement Elicitation Process for Systems of Systems.
Proceedings of the ECSA 2014 Workshops & Tool Demos Track, 2014

2013
Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx.
Proceedings of the SIMULTECH 2013, 2013

Repository-Centric Process Modeling - Example of a Pattern Based Development Process.
Proceedings of the Software Engineering Research, 2013

Model-Driven Engineering for Trusted Embedded Systems Based on Security and Dependability Patterns.
Proceedings of the SDL 2013: Model-Driven Dependability Engineering, 2013

How to Analyze Modeling Approach Comparison Criteria.
Proceedings of the Fourth International Comparing Modeling Approaches Workshop 2013 co-located with the ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems ( MODELS 2013), 2013

A model-based repository of security and dependability patterns for trusted RCES.
Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

2012
Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling.
Proceedings of the 3rd International Conference on Ambient Systems, 2012

HPCML: a modeling language dedicated to high-performance scientific computing.
Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing co-located with 15th International Conference on Model Driven Engineering Languages and Systems (MODELS 2012), Innsbruck, Austria, October 01, 2012

<i>MDHPCL 2012</i> workshop summary.
Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing co-located with 15th International Conference on Model Driven Engineering Languages and Systems (MODELS 2012), Innsbruck, Austria, October 01, 2012

A Model-Driven Engineering Framework for Fault Tolerance in Dependable Embedded Systems Design.
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012

2011
MDE4HPC: An Approach for Using Model-Driven Engineering in High-Performance Computing.
Proceedings of the SDL 2011: Integrating System and Software Modeling, 2011

Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

2010
RELAX: a language to address uncertainty in self-adaptive systems requirement.
Requir. Eng., 2010

Introduction to special issue: papers from UML&FM'2009.
Innov. Syst. Softw. Eng., 2010

2009
Introduction to special issue: papers from UML&FM.
Innov. Syst. Softw. Eng., 2009

RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems.
Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

2008
Utilisation de SysML pour la modélisation des réseaux de capteurs.
Proceedings of the Langages et Modèles à Objets, 2008

2007
Panels at MODELS 2007.
Proceedings of the Model Driven Engineering Languages and Systems, 2007

Implémentation d'un modèle UML de composition hiérarchique.
Proceedings of the Actes des journées Langages et Modèles à Objets, 2007

Autonomic Management of Component-Based Embedded Software.
Proceedings of the Integrated Network Management, 2007

Observability and Controllability of Wireless Software Components.
Proceedings of the Distributed Applications and Interoperable Systems, 2007

2006
Aspect-based Testing of COTS Components.
Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

Composition logicielle et maintenance.
Proceedings of the 1er Conférence francophone sur les Architectures Logicielles (CAL 2006), 2006

2005
Développement basé composant. Une approche centrée composition.
Ingénierie des Systèmes d Inf., 2005

Workshops at the MODELS 2005 Conference.
Proceedings of the Model Driven Engineering Languages and Systems, 2005

2004
Test intégré dans les composants logiciels.
Obj. Logiciel Base données Réseaux, 2004

Models for Non-functional Aspects of Component-Based Software (NfC'04).
Proceedings of the UML Modeling Languages and Applications, 2004

Whole-Part based Composition Approach: A Case Study.
Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004

2003
Formalization of the Whole-Part Relationship in the Unified Modeling Language.
IEEE Trans. Software Eng., 2003

Application de la théorie de la relation Tout-Partie à la composition de composants logiciels.
Proceedings of the Actes du XXIème Congrès INFORSID, Nancy, France, 24-27 mai, 2003, 2003

Incorporation of Test Functionality into Software Components.
Proceedings of the COTS-Based Software Systems, Second International Conference, 2003

Whole-Part Relationships for Software Component Combination.
Proceedings of the 29th EUROMICRO Conference 2003, 2003

2002
Agrégation et composition dans UML. Révision basée sur la théorie Tout-Partie.
Tech. Sci. Informatiques, 2002

Active Objects for Coordination in Distributed Testing.
Proceedings of the Object-Oriented. Information Systems, 8th International Conference, 2002

2001
Improving the UML Metamodel to Rigorously Specify Aggregation and Composition.
Proceedings of the 7th International Conference on Object Oriented Information Systems, 2001

2000
A Semantic Comparison of Fusion and Syntropy.
Comput. J., 2000

UML2Z: An UML-Based Object-Oriented Modeling Tool for an Internet Integrated Formalization Process.
Proceedings of the 6th International Conference on Object Oriented Information Systems, 2000

Defining Precise Semantics for UML.
Proceedings of the Object-Oriented Technology, 2000

1998
Integrating Formal and Informal Specification Techniques. Why? How?
Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

1997
An Integrated Object-Oriented and Formal Modeling Environment.
J. Object Oriented Program., 1997

Towards a Rigorous Object-Oriented Analysis and Design Method.
Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

Integrated Informal Object-Oriented and Formal Modeling Techniques.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations.
Proceedings of the Algebraic Methodology and Software Technology, 1997

1996
A Z-based Approach to Specifying and Analyzing Complex Systems.
Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

Guidelines for Formalizing Fusion Object-Oriented Analysis Methods .
Proceedings of the Advances Information System Engineering, 8th International Conference, 1996


  Loading...