Jean-Michel Bruel
90
Documents
Présentation
Publications
- 14
- 12
- 10
- 9
- 9
- 7
- 7
- 7
- 7
- 7
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 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
- 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
- 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
- 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
- 40
- 28
- 27
- 16
- 2
- 2
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
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⟩
Communication dans un congrès
hal-04332205v1
|
|
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⟩
Communication dans un congrès
hal-04347305v1
|
|
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
Communication dans un congrès
hal-04144980v1
|
|
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⟩
Communication dans un congrès
hal-03781938v1
|
|
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⟩
Communication dans un congrès
hal-03941814v1
|
|
Examining Requirements Documentation through the Focused Conversation Method29th International Conference on Information Systems Development (ISD 2021), Sep 2021, València, Spain
Communication dans un congrès
hal-03435282v1
|
|
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⟩
Communication dans un congrès
hal-02891673v1
|
|
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
Communication dans un congrès
hal-03120764v2
|
|
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⟩
Communication dans un congrès
hal-02986555v2
|
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⟩
Communication dans un congrès
hal-03081980v1
|
|
|
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
Communication dans un congrès
hal-02467549v1
|
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⟩
Communication dans un congrès
hal-04182587v1
|
|
|
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⟩
Communication dans un congrès
hal-01910113v1
|
|
Reconciling Requirements and Continuous Integration in an Agile Context2018 IEEE 26th International Requirements Engineering Conference (RE), Aug 2018, Banff, Canada
Communication dans un congrès
hal-01947831v1
|
|
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⟩
Communication dans un congrès
hal-01890878v1
|
|
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
Communication dans un congrès
hal-02124403v1
|
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
Communication dans un congrès
hal-02943016v1
|
|
|
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
Communication dans un congrès
hal-02124418v1
|
|
Ambient Intelligence Users in the Loop: Towards a Model-Driven ApproachMSE (“Microservices: Science and Engineering”) Workshop (MSE@STAF 2018), Jun 2018, Toulouse, France
Communication dans un congrès
hal-01815481v1
|
|
SysML Models Verification and Validation in an Industrial Context: Challenges and ExperimentationEuropean Conference on Modelling Foundations and Applications, Jun 2018, Toulouse, France
Communication dans un congrès
hal-01815510v1
|
|
A Survey on MBSE Adoption ChallengesINCOSE EMEA Sector Systems Engineering Conference (INCOSE EMEASEC 2018), Nov 2018, Berlin, Germany. pp.1-16
Communication dans un congrès
hal-02124402v1
|
|
Requirements Specific Modeling Language : un langage formel d'expression d'exigencesConférence en IngénieriE du Logiciel, Jun 2018, Grenoble, France
Communication dans un congrès
hal-01815467v1
|
|
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
Communication dans un congrès
hal-02603696v1
|
|
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
Communication dans un congrès
hal-02864409v1
|
|
Seamless Integration of Multirequirements in Complex Systems25th International Requirements Engineering Conference Workshops (REW 2017), Sep 2017, Lisbon, Portugal. pp.1
Communication dans un congrès
hal-03656674v1
|
|
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
Communication dans un congrès
cea-01810097v1
|
|
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
Communication dans un congrès
hal-01485025v1
|
|
Modeling for SustainabilityModeling in Software Engineering 2016 (MiSE'16), May 2016, Austin, United States. pp.62-66
Communication dans un congrès
hal-01517387v3
|
|
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⟩
Communication dans un congrès
hal-01682979v1
|
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
Communication dans un congrès
cea-01843178v1
|
|
|
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
Communication dans un congrès
hal-01475034v1
|
|
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
Communication dans un congrès
hal-02348228v1
|
|
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⟩
Communication dans un congrès
hal-01141393v1
|
|
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⟩
Communication dans un congrès
hal-04077763v1
|
Papyrus for education2nd 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
|
|
|
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
Communication dans un congrès
hal-01567086v1
|
|
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
Communication dans un congrès
hal-01316833v1
|
|
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
Communication dans un congrès
hal-01327102v1
|
|
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⟩
Communication dans un congrès
hal-01156595v1
|
|
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
Communication dans un congrès
hal-01082400v1
|
|
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
Communication dans un congrès
hal-01084878v1
|
|
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
Communication dans un congrès
hal-01387730v1
|
|
Early Analysis of Ambient Systems SysML Properties using OMEGA2-IFxSIMULTECH 2013, Jul 2013, Reykjavik, Iceland
Communication dans un congrès
hal-01085410v1
|
|
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⟩
Communication dans un congrès
hal-04083840v1
|
|
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
Communication dans un congrès
hal-01146705v1
|
|
How to Analyze Modeling Approach Comparison CriteriaComparing Modeling Approaches Workshop - CMA 2013, Oct 2013, Miami, United States. pp. 1-3
Communication dans un congrès
hal-01143229v1
|
|
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
Communication dans un congrès
hal-01240715v1
|
|
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⟩
Communication dans un congrès
hal-01084985v1
|
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
Communication dans un congrès
hal-01224634v1
|
|
|
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
Communication dans un congrès
hal-00761340v1
|
|
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
Communication dans un congrès
hal-00760410v1
|
Utilisation de SysML pour la modélisation des réseaux de capteurs14e LM0 2008, 2008, Montréal, Québec, Canada. pp
Communication dans un congrès
hal-00366919v1
|
|
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.;
Communication dans un congrès
hal-00395686v1
|
|
Autonomic Management of Component-Based Embedded Software10th IFIP/IEEE Symposium on Integrated Management, May 2007, Munich, Germany. pp.;
Communication dans un congrès
hal-00390406v1
|
|
Component Based Development : a Composition Oriented Approach5th International Conference on Research, Innovation and Vision fot the Futur, Mar 2007, Hanoi, Vietnam. pp.;
Communication dans un congrès
hal-00390408v1
|
|
Observability and Controllability of Wireless Software Components7th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2007, Paphos, Cyprus. pp.;
Communication dans un congrès
hal-00389747v1
|
|
Aspect-based Testing of COTS ComponentsGI, 2006, Germany. pp.;
Communication dans un congrès
hal-00408551v1
|
|
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
Communication dans un congrès
hal-01908736v1
|
|
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⟩
Communication dans un congrès
hal-01908735v1
|
|
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⟩
Communication dans un congrès
hal-01908737v1
|
|
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
Communication dans un congrès
hal-01909114v1
|
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, inPress, 978-3-031-42211-9
Chapitre d'ouvrage
hal-04324243v1
|
|
OOIS'02: Advances in Object-Oriented Information Systemsn.d., 2426, Springer, pp.314, 2002, Lecture Notes in Computer Science, 3-540-44088-7
Chapitre d'ouvrage
lirmm-00268658v1
|
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⟩
Poster de conférence
hal-04353185v1
|
|
|
Emergence of Composite Services in Smart Environments8th EuroScience Open Forum (ESOF 2018), Jul 2018, Toulouse, France. pp.0, 2018
Poster de conférence
hal-02280356v1
|
A contract-based method to specify stimulus-response requirements2017
Autre publication scientifique
hal-03120284v1
|
|
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
Rapport
hal-03120776v1
|
|
A Comparative Study of RELAX and SysML/KAOS[Rapport de recherche] IRIT : Institut de Recherche Informatique de Toulouse. 2014, pp.1-10
Rapport
hal-03260606v1
|