
Jean-Michel Bruel
91
Documents
Présentation
Publications
14
13
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
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
3
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
41
28
28
16
6
2
1
Publications
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⟩
Communication dans un congrès
hal-04700472
v1
|
|
|
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-04347305
v1
|
|
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-04144980
v1
|
|
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-04332205
v1
|
|
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-03941814
v1
|
|
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-03781938
v1
|
|
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-03435282
v1
|
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-03081980
v1
|
|
|
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-03120764
v2
|
|
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-02891673
v1
|
|
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-02986555
v2
|
|
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-02467549
v1
|
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-04182587
v1
|
|
|
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-01815510
v1
|
|
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-02124402
v1
|
|
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-01815467
v1
|
|
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-01947831
v1
|
|
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-02124403
v1
|
|
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-02124418
v1
|
|
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-01890878
v1
|
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-02943016
v1
|
|
|
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-01815481
v1
|
|
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-01910113
v1
|
|
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-03656674
v1
|
|
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-02603696
v1
|
|
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-02864409
v1
|
|
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-02348228
v1
|
|
Modeling for SustainabilityModeling in Software Engineering 2016 (MiSE'16), May 2016, Austin, United States. pp.62-66
Communication dans un congrès
hal-01517387
v3
|
|
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-01682979
v1
|
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-01843178
v1
|
|
|
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-01475034
v1
|
|
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-01485025
v1
|
|
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-01810097
v1
|
|
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-01316833
v1
|
|
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-01327102
v1
|
|
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-01141393
v1
|
|
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-04077763
v1
|
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-01844045
v1
|
|
|
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-01567086
v1
|
|
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-01387730
v1
|
|
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-01084878
v1
|
|
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-01156595
v1
|
|
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-01082400
v1
|
|
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-01084985
v1
|
|
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-01143229
v1
|
|
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-01240715
v1
|
|
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-04083840
v1
|
|
Early Analysis of Ambient Systems SysML Properties using OMEGA2-IFxSIMULTECH 2013, Jul 2013, Reykjavik, Iceland
Communication dans un congrès
hal-01085410
v1
|
|
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-01146705
v1
|
|
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-00761340
v1
|
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-01224634
v1
|
|
|
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-00760410
v1
|
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-00366919
v1
|
|
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-00389747
v1
|
|
Autonomic Management of Component-Based Embedded Software10th IFIP/IEEE Symposium on Integrated Management, May 2007, Munich, Germany. pp.;
Communication dans un congrès
hal-00390406
v1
|
|
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-00390408
v1
|
|
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-00395686
v1
|
|
Aspect-based Testing of COTS ComponentsGI, 2006, Germany. pp.;
Communication dans un congrès
hal-00408551
v1
|
|
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-01908735
v1
|
|
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-01908737
v1
|
|
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-01908736
v1
|
|
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-01909114
v1
|
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
Chapitre d'ouvrage
hal-04324243
v1
|
|
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-00268658
v1
|
|
Emergence of Composite Services in Smart Environments8th EuroScience Open Forum (ESOF 2018), Jul 2018, Toulouse, France. pp.0, 2018
Poster de conférence
hal-02280356
v1
|
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-04353185
v1
|
|
A contract-based method to specify stimulus-response requirements2017
Autre publication scientifique
hal-03120284
v1
|
|
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
(rapport de recherche)
hal-03120776
v1
|
|
A Comparative Study of RELAX and SysML/KAOS[Rapport de recherche] IRIT : Institut de Recherche Informatique de Toulouse. 2014, pp.1-10
Rapport
(rapport de recherche)
hal-03260606
v1
|
Chargement...
Chargement...