Jean-Michel Bruel
76
Documents
Presentation
Publications
- 14
- 10
- 9
- 7
- 7
- 7
- 6
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 29
- 27
- 23
- 16
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
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⟩
Conference papers
hal-03941814v1
|
|
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⟩
Conference papers
hal-03781938v1
|
|
Examining Requirements Documentation through the Focused Conversation Method29th International Conference on Information Systems Development (ISD 2021), Sep 2021, València, Spain
Conference papers
hal-03435282v1
|
|
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
Conference papers
hal-03120764v2
|
|
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⟩
Conference papers
hal-02891673v1
|
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⟩
Conference papers
hal-03081980v1
|
|
|
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⟩
Conference papers
hal-02986555v2
|
|
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
Conference papers
hal-02467549v1
|
|
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⟩
Conference papers
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
Conference papers
hal-02124403v1
|
|
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
Conference papers
hal-02124418v1
|
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
Conference papers
hal-02943016v1
|
|
|
Ambient Intelligence Users in the Loop: Towards a Model-Driven ApproachMSE (“Microservices: Science and Engineering”) Workshop (MSE@STAF 2018), Jun 2018, Toulouse, France
Conference papers
hal-01815481v1
|
|
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⟩
Conference papers
hal-01910113v1
|
|
SysML Models Verification and Validation in an Industrial Context: Challenges and ExperimentationEuropean Conference on Modelling Foundations and Applications, Jun 2018, Toulouse, France
Conference papers
hal-01815510v1
|
|
A Survey on MBSE Adoption ChallengesINCOSE EMEA Sector Systems Engineering Conference (INCOSE EMEASEC 2018), Nov 2018, Berlin, Germany. pp.1-16
Conference papers
hal-02124402v1
|
|
Requirements Specific Modeling Language : un langage formel d'expression d'exigencesConférence en IngénieriE du Logiciel, Jun 2018, Grenoble, France
Conference papers
hal-01815467v1
|
|
Reconciling Requirements and Continuous Integration in an Agile Context2018 IEEE 26th International Requirements Engineering Conference (RE), Aug 2018, Banff, Canada
Conference papers
hal-01947831v1
|
|
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
Conference papers
hal-02864409v1
|
|
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
Conference papers
hal-02603696v1
|
|
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
Conference papers
hal-01475034v1
|
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
Conference papers
cea-01843178v1
|
|
|
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
Conference papers
hal-01485025v1
|
|
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
Conference papers
cea-01810097v1
|
|
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
Conference papers
hal-02348228v1
|
|
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⟩
Conference papers
hal-01682979v1
|
|
Modeling for SustainabilityModeling in Software Engineering 2016 (MiSE'16), May 2016, Austin, United States. pp.62-66
Conference papers
hal-01517387v3
|
|
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
Conference papers
hal-01316833v1
|
Papyrus for education2nd International Workshop on Open Source Software for Model Driven Engineering, OSS4MDE 2015, Sep 2015, Ottawa, Canada. pp.38-43
Conference papers
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
Conference papers
hal-01567086v1
|
|
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
Conference papers
hal-01327102v1
|
|
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⟩
Conference papers
hal-01141393v1
|
|
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⟩
Conference papers
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
Conference papers
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
Conference papers
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
Conference papers
hal-01387730v1
|
|
Early Analysis of Ambient Systems SysML Properties using OMEGA2-IFxSIMULTECH 2013, Jul 2013, Reykjavik, Iceland
Conference papers
hal-01085410v1
|
|
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⟩
Conference papers
hal-01084985v1
|
|
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
Conference papers
hal-01240715v1
|
|
How to Analyze Modeling Approach Comparison CriteriaComparing Modeling Approaches Workshop - CMA 2013, Oct 2013, Miami, United States. pp. 1-3
Conference papers
hal-01143229v1
|
|
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
Conference papers
hal-01146705v1
|
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
Conference papers
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
Conference papers
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
Conference papers
hal-00760410v1
|
Utilisation de SysML pour la modélisation des réseaux de capteurs14e LM0 2008, 2008, Montréal, Québec, Canada. pp
Conference papers
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.;
Conference papers
hal-00395686v1
|
|
Component Based Development : a Composition Oriented Approach5th International Conference on Research, Innovation and Vision fot the Futur, Mar 2007, Hanoi, Vietnam. pp.;
Conference papers
hal-00390408v1
|
|
Observability and Controllability of Wireless Software Components7th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2007, Paphos, Cyprus. pp.;
Conference papers
hal-00389747v1
|
|
Autonomic Management of Component-Based Embedded Software10th IFIP/IEEE Symposium on Integrated Management, May 2007, Munich, Germany. pp.;
Conference papers
hal-00390406v1
|
|
Aspect-based Testing of COTS ComponentsGI, 2006, Germany. pp.;
Conference papers
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
Conference papers
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⟩
Conference papers
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⟩
Conference papers
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
Conference papers
hal-01909114v1
|
Repository-Centric Process Modeling - Example of a Pattern Based Development ProcessLee, Roger. Software Engineering Research, Management and Applications, 16, Springer, pp.247--261, 2014, Studies in Computational Intelligence book series (SCI), 978-3-319-00947-6. ⟨10.1007/978-3-319-00948-3_16⟩
Book sections
hal-03266923v1
|
|
OOIS'02: Advances in Object-Oriented Information Systemsn.d., 2426, Springer, pp.314, 2002, Lecture Notes in Computer Science, 3-540-44088-7
Book sections
lirmm-00268658v1
|
|
Emergence of Composite Services in Smart Environments8th EuroScience Open Forum (ESOF 2018), Jul 2018, Toulouse, France. pp.0, 2018
Conference poster
hal-02280356v1
|
A contract-based method to specify stimulus-response requirements2017
Other publications
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
Reports
hal-03120776v1
|
|
A Comparative Study of RELAX and SysML/KAOS[Rapport de recherche] IRIT : Institut de Recherche Informatique de Toulouse. 2014, pp.1-10
Reports
hal-03260606v1
|