Publications of Jean-Michel BRUEL
Thuy Nguyen, Imen Sayar, Sophie Ebersold, Jean-Michel Bruel
Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements
Software and Systems Modeling, 2024, ⟨10.1007/s10270-023-01142-0⟩
Yinling Liu, Jean-Michel Bruel
Modeling and verification of natural language requirements based on states and modes
Formal Aspects of Computing, In press, ⟨10.1145/3640822⟩
Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev, Jean-Michel Bruel, Florian Galinier, Bertrand Meyer
Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests
The Journal of Object Technology, 2023, 22 (1), pp.1-19. ⟨10.5381/jot.2023.22.1.a3⟩
Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Manuel Mazzara, Alexandr Naumchev, Bertrand Meyer
The Role of Formalism in System Requirements
ACM Computing Surveys, 2022, 54 (5, article 93), pp.1-36. ⟨10.1145/3448975⟩
Sylvie Trouilhet, Jean-Paul Arcangeli, Jean-Michel Bruel, Maroun Koussaifi
Model-Driven Engineering for End-Users in the Loop in Smart Ambient Systems
Journal of Universal Computer Science, 2021, Advances and Challenges for Model and Data Engineering, 27 (7), pp.755 – 773. ⟨10.3897/jucs.70515⟩
Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Manuel Mazzara, Alexandr Naumchev, Bertrand Meyer
The Role of Formalism in System Requirements
ACM Computing Surveys, 2021, 54 (5), pp.1-36. ⟨10.1145/3448975⟩
Benoit Combemale, Jörg Kienzle, Gunter Mussbacher, Hyacinth Ali, Daniel Amyot, Mojtaba Bagherzadeh, Edouard Batot, Nelly Bencomo, Benjamin Benni, Jean-Michel Bruel, Jordi Cabot, Betty H C Cheng, Philippe Collet, Gregor Engels, Robert Heinrich, Jean-Marc Jézéquel, Anne Koziolek, Sébastien Mosser, Ralf Reussner, Houari Sahraoui, Rijul Saini, June Sallou, Serge Stinckwich, Eugene Syriani, Manuel Wimmer
A Hitchhiker’s Guide to Model-Driven Engineering for Data-Centric Systems
IEEE Software, 2021, 38 (4), ⟨10.1109/MS.2020.2995125⟩
Jean-Michel Bruel, Benoit Combemale, Esther M Guerra, Jean-Marc Jézéquel, Jörg Kienzle, Juan de Lara, Gunter Mussbacher, Eugene Syriani, Hans Vangheluwe
Comparing and Classifying Model Transformation Reuse Approaches across Metamodels
Software and Systems Modeling, 2020, 19 (2), pp.441-465. ⟨10.1007/s10270-019-00762-9⟩
Jörg Kienzle, Gunter Mussbacher, Benoit Combemale, Lucy Bastin, Nelly Bencomo, Jean-Michel Bruel, Christoph Becker, Stefanie Betz, Ruzanna Chitchyan, Betty Cheng, Sonja Klingert, Richard Paige, Birgit Penzenstadler, Norbert Seyff, Eugene Syriani, Colin C Venters
Towards Model-Driven Sustainability Evaluation
Communications of the ACM, 2020, 63 (3), pp.80-91. ⟨10.1145/3371906⟩
Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold
AutoReq: expressing and verifying requirements for control systems
Journal of Visual Languages and Computing, 2019, 51, pp.131-142. ⟨10.1016/j.cola.2019.02.004⟩
Ileana Ober, Marc Palyart, Jean-Michel Bruel, David Lugato
On the use of models for high-performance scientific computing applications: an experience report
Software and Systems Modeling, 2018, 17, pp.319-342. ⟨10.1007/s10270-016-0518-0⟩
Manzoor Ahmad, Nicolas Belloir, Jean-Michel Bruel
Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems
Journal of Systems and Software, 2015, vol. 107, pp. 50-70. ⟨10.1016/j.jss.2015.05.028⟩
Nicolas Belloir, Jean-Michel Bruel, Raphaël Faudou
Modélisation des exigences en UML/SysML
Génie logiciel : le magazine de l’ingénierie du logiciel et des systèmes, 2014, 111, pp.6-12
Manzoor Ahmad, Jean-Michel Bruel, Régine Laleau, Christophe Gnaho
Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling
In : Procedia Computer Science, Science Direct, Special issue The 3rd International Conference on Ambient Systems, Networks and Technologies (ANT) proceedings, Vol. 10, pp. 474-481, August 2012.
Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel
Le calcul hautes performances: un nouveau champ d’application pour l’ingénierie de modèles
In : Génie Logiciel, GL & IS, Meudon – France, Vol. 97, pp. 41-46, June 2011.
Jon Whittle, Pete Sawyer, Nelly Bencomo, Betty H. C. Cheng, Jean-Michel Bruel
RELAX: A Language to Address Uncertainty in Self-Adaptive Systems Requirements
In : Requirements Engineering Journal, Springer-Verlag, Heidelberg, Allemagne, Vol. 15 N. 2, pp. 177-196, March 2010.
URL : http://www.springer.com/west/home/computer/programming?SGWID=4-40007-70-1116 135-0&detailsPage=journal|contactProduction
BibTeXComposition logicielle à l’aide de machine à états
In : Génie Logiciel, GL & IS, Meudon – France, Vol. 80, pp. 2-6, March 2007.
Jean-Michel Bruel, Ileana Ober
Components modeling in UML 2
In : Studia Jurnal, Babes-Bolyai University, Cluj-Napoca (Roumanie), Vol. 1, pp. 79-90, 2006.
Nicolas Belloir, Jean-Michel Bruel
Développement basé composant : une approche centrée composition
In : Ingénierie des Systèmes d’Information (ISI), Hermès Science, Special issue Méthodes Avancées de Développement des SI, Vol. 10, N. 6, pp. 59-80, October 2005.
Abstract URL : http://isi.revuesonline.com/article.jsp?articleId=7659
BibTeXAbdelmalek Benzekri, Jean-François Berdjugin, Jean-Michel Bruel
Logiciels distribués temps réel : approches de spécification Z
In : Revue Electronique sur les Réseaux et l’Informatique Répartie, Laboratoire de Téléinformatique et Analyse des Systèmes Communicants de l’université de Pau, France, Laboratoire TASC Université de Pau, Vol. Volume, N. 8, pp. 39-57, July 1999.
Jean-Michel Bruel, Robert B. France, Maria M. Larrondo-Petrie
An Integrated Object-Oriented and Formal Modeling Environment
In : The Journal of Object-Oriented Programming (JOOP), Vol. 10 N. 7, pp. 25-34, 1997.
Robert B. France, Jean-Michel Bruel
FuZE: A Fusion/Z Environment
In : Fusion Newsletter, Vol. 4 N. 3, pp. 14-18, July 1996.
URL : http://www.hpl.hp.com/fusion/md\_newsletters.html
BibTeX
Mika Pons, Jean-Michel Bruel, Jean-Baptiste Raclet, Franck Silvestre
Traceability by design: design of an interactive system to improve the automatic generation of Git traces during a learning activity
18th European Conference on Technology Enhanced Learning (EC-TEL 2023), Sep 2023, Aveiro, Portugal. pp.611-617, ⟨10.1007/978-3-031-42682-7_50⟩
Mika Pons, Jean-Michel Bruel, Jean-Baptiste Raclet, Franck Silvestre
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’apprentissage
11è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
Mika Pons, Jean-Michel Bruel, Jean-Baptiste Raclet, Franck Silvestre
Finding behavioral indicators from contextualized commits in software engineering courses with process mining
2nd 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⟩
Yinling Liu, Jean-Michel Bruel
Modelling and Verification of Natural Language Requirements based on States and Modes
30th International Requirements Engineering Conference Workshops (REW 2022), IEEE, Aug 2022, Melbourne, Australia. ⟨10.1109/REW56159.2022.00043⟩
Ildar Nigmatullin, Andrey Sadovykh, Nan Messe, Sophie Ebersold, Jean-Michel Bruel
RQCODE – Towards Object-Oriented Requirements in the Software Security Domain
IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2022), Apr 2022, Valencia, Spain. pp.2-6, ⟨10.1109/ICSTW55395.2022.00015⟩
Hamna Aslam, Alexandr Naumchev, Jean-Michel Bruel, Joseph Brown
Examining Requirements Documentation through the Focused Conversation Method
29th International Conference on Information Systems Development (ISD 2021), Sep 2021, València, Spain
Grégory Alary, Nathalie Jane Hernandez, Jean-Paul Arcangeli, Sylvie Trouilhet, Jean-Michel Bruel
Using Comp-O to Build and Describe Component-Based Services
Demos 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
Grégory Alary, Nathalie Jane Hernandez, Jean-Paul Arcangeli, Sylvie Trouilhet, Jean-Michel Bruel
Comp-O: an OWL-S Extension for Composite Service Description
22nd International Conference, EKAW 2020, Sep 2020, Bolzano, Italy. p. 171-182, ⟨10.1007/978-3-030-61244-3_12⟩
Ronan Baduel, Iulian Ober, Jean-Michel Bruel
Modeling and verification method for an early evaluation of Systems of Systems interactions
35th Annual ACM Symposium on Applied Computing (SAC 2020), Mar 2020, Brno, Czech Republic. pp.1798-1805, ⟨10.1145/3341105.3373944⟩
Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev
Towards an Anatomy of Software Requirements
51st 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⟩
Maroun Koussaifi, Sylvie Trouilhet, Jean-Paul Arcangeli, Jean-Michel Bruel
Automated user-oriented description of emerging composite ambient applications
31st International Conference on Software Engineering and Knowledge Engineering (SEKE 2019), Jul 2019, Lisbonne, Portugal. pp.473-478
Mohammad Chami, Jean-Michel Bruel
A Survey on MBSE Adoption Challenges
INCOSE EMEA Sector Systems Engineering Conference (INCOSE EMEASEC 2018), Nov 2018, Berlin, Germany. pp.1-16
Renan Leroux-Beaudout, Marc Pantel, Ileana Ober, Jean-Michel Bruel
Model-Based Systems Engineering for Systems Simulation
Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), Oct 2018, Limassol, Cyprus. pp.429-448
Sébastien Mosser, Jean-Michel Bruel
Reconciling Requirements and Continuous Integration in an Agile Context
2018 IEEE 26th International Requirements Engineering Conference (RE), Aug 2018, Banff, Canada
Mohammad Chami, Aiste Aleksandraviciene, Aurelijus Morkevicius, Jean-Michel Bruel
Towards Solving MBSE Adoption Challenges: The D3 MBSE Adoption Toolbox
Annual International Council on Systems Engineering Symposium (INCOSE 2018), Jul 2018, Washington DC, United States. pp.1463-1477
Hugo Bruneliere, Romina Eramo, Abel Gomez, Valentin Besnard, Jean-Michel Bruel, Martin Gogolla, Andreas Kästner, Adrian Rutle
Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap
MDE@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⟩
Ronan Baduel, Jean-Michel Bruel, Iulian Ober, Eddy Doba
Definition of states and modes as general concepts for system design and validation
12e Conference Internationale de Modelisation, Optimisation et Simulation (MOSIM 2018), Jun 2018, Toulouse, France
Maroun Koussaifi, Sylvie Trouilhet, Jean-Paul Arcangeli, Jean-Michel Bruel
Ambient Intelligence Users in the Loop: Towards a Model-Driven Approach
MSE (“Microservices: Science and Engineering”) Workshop (MSE@STAF 2018), Jun 2018, Toulouse, France
Jean-Michel Bruel, Benoit Combemale, Esther Guerra, Jean-Marc Jézéquel, Jörg Kienzle, Juan de Lara, Gunter Mussbacher, Eugene Syriani, Hans Vangheluwe
Model Transformation Reuse across Metamodels – A classification and comparison of approaches
ICMT 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⟩
Ronan Baduel, Mohammad Chami, Jean-Michel Bruel, Iulian Ober
SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation
European Conference on Modelling Foundations and Applications, Jun 2018, Toulouse, France
Florian Galinier, Sophie Ebersold, Jean-Michel Bruel
Requirements Specific Modeling Language : un langage formel d’expression d’exigences
Conférence en IngénieriE du Logiciel, Jun 2018, Grenoble, France
Renan Leroux-Beaudout, Ileana Ober, Marc Pantel, Jean-Michel Bruel
Modeling co-simulation : a first experiment
5th 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
Florian Galinier, Jean-Michel Bruel, Sophie Ebersold, Bertrand Meyer
Seamless Integration of Multirequirements in Complex Systems
25th International Requirements Engineering Conference Workshops (REW 2017), Sep 2017, Lisbon, Portugal. pp.1
Florian Galinier, Jean-Michel Bruel, Sophie Ebersold, Bertrand Meyer
Intégration des (multi-)exigences tout au long du développement des systèmes complexes
16emes Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2017), Jun 2017, Montpellier, France. pp.57-63
Anas Motii, Brahim Hamid, Agnes Lanusse, Jean-Michel Bruel
Guiding the selection of security patterns for real-time systems
21st IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2016), Nov 2016, Dubaï, United Arab Emirates. pp. 155-164, ⟨10.1145/2855321.2855332⟩
Anas Motii, Brahim Hamid, Agnes Lanusse, Jean-Michel Bruel
Towards the integration of security patterns in UML Component-based Applications
Joint 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
Jacob Geisel, Brahim Hamid, David Gonzalez, Jean-Michel Bruel
Towards a Methodological Tool Support for Modeling Security-Oriented Processes
6th International Conference On Model and Data Engineering (MEDI 2016), Sep 2016, Almeria, Spain. pp. 31-41
Anas Motii, Agnes Lanusse, Brahim Hamid, Jean-Michel Bruel
Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study
TIPS Workshop in 35th International Conference on Computer Safety, Reliability and Security (Safecomp 2016), Sep 2016, Trondheim, Norway. pp. 375-389
Benoit Combemale, Betty H.C. Cheng, Ana Moreira, Jean-Michel Bruel, Jeff Gray
Modeling for Sustainability
Modeling in Software Engineering 2016 (MiSE’16), May 2016, Austin, United States. pp.62-66
Mohamed Naija, Jean-Michel Bruel, Samir Ben Ahmed
Towards a MARTE Extension to Address Adaptation Mechanisms
17th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2016), Jan 2016, Orlando, FL, United States. pp.240-243
Jacob Geisel, Brahim Hamid, Jean-Michel Bruel
Security Concepts as Add-On for Process Models
20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015), Dec 2015, Gold Coast, Australia. pp. 190-193
Jean-Michel Bruel, B. Maggi, C. Letavernier
Papyrus for education
2nd International Workshop on Open Source Software for Model Driven Engineering, OSS4MDE 2015, Sep 2015, Ottawa, Canada. pp.38-43
Anas Motii, Brahim Hamid, Agnes Lanusse, Jean-Michel Bruel
Guiding the selection of security patterns based on security requirements and pattern classification
20th European Conference on Pattern Language of Programs (EuroPlop 2015), Jul 2015, Kloster Irsee, Germany. pp. 1-17
Youness Laghouaouta, Adil Anwar, Mahmoud Nassar, Jean-Michel Bruel
A Generic Traceability Framework for Model Composition Operation
16th 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⟩
Jean-Michel Bruel, Benoit Combemale, Ileana Ober, Hélène Raynal
MDE in Practice for Computational Science
INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, Université de Reykjavik. Reykjavik, ISL., Jun 2015, Reykjavík, Iceland. 10 p., ⟨10.1016/j.procs.2015.05.182⟩
Mohammad Chami, Jean-Michel Bruel
Towards an Integrated Conceptual Design Evaluation of Mechatronic Systems: The SysDICE Approach
International Conference on Computational Science (ICCS 2015), Jun 2015, Reykjavik, Iceland. pp. 650-659
Gunter Mussbacher, Daniel Amyot, Ruth Breu, Jean-Michel Bruel, Betty Cheng, Philippe Collet, Benoit Combemale, Robert B. France, Rogardt Heldal, James Hill, Jörg Kienzle, Matthias Schöttle, Friedrich Steimann, Dave Stikkolorum, Jon Whittle
The relevance of model-driven engineering thirty years from now
17th 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⟩
Nicolas Belloir, Vanea Chiprianov, Manzoor Ahmad, Manuel Munier, Laurent Gallon, Jean-Michel Bruel
Using Relax Operators into an MDE Security Requirement Elicitation Process for Systems of Systems
ECSA 2nd International Workshop on Software Engineering for Systems-of-Systems (SESoS’2014), Aug 2014, Vienna, Austria. pp.32
Youness Laghouaouta, Adil Anwar, Mahmoud Nassar, Jean-Michel Bruel
On the use of graph transformations for model composition traceability
8th International Conference on Research Challenge in Information Science (RCIS 2014), May 2014, Marrakesh, Morocco. pp. 1-11
Fernando Wanderley, Nicolas Belloir, Jean-Michel Bruel, Nabil Hameurlain, João Araújo
Des buts à la modélisation système : une approche de modélisation des exigences centrée utilisateur
Inforsid 2014, May 2014, Lyon, France. pp.113-128
Manzoor Ahmad, Joao Araujo, Nicolas Belloir, Jean-Michel Bruel, Christophe Gnaho, Régine Laleau, Farida Semmak
Self-Adaptive Systems Requirements Modelling: four related approaches comparison (regular paper)
In : International Wokshop Comparing *Requirements* Modeling Approaches (CMA@RE 2013), Rio de Janeiro, Brazil, 16/07/13-16/07/13, IEEExplore digital library, (electronic medium), 2013.
Frédéric Mayart, Jean-Michel Bruel, Brahim Hamid
How to Analyze Modeling Approach Comparison Criteria (short paper)
In : Comparing Modeling Approaches Workshop, Miami, 01/10/13, Vol. 1076, CEUR-WS : Workshop proceedings, (on line), October 2013.
URL : http://ceur-ws.org/Vol-1076/paper7.pdf – https://oatao.univ-toulouse.fr/12759/
BibTeXManzoor Ahmad, Iulia Dragomir, Jean-Michel Bruel, Iulian Ober, Nicolas Belloir
Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx (regular paper)
In : International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2013), Reykjavik, Iceland, 29/07/13-31/07/13, SciTePress, pp. 147-154, September 2013.
URL : http://www.scitepress.org/DigitalLibrary/Link.aspx?doi=10.5220/0004483101470154 – https://oatao.univ-toulouse.fr/12709/
BibTeXAdel Ziani, Brahim Hamid, Jacob Geisel, Jean-Michel Bruel
A Model-based Repository of Security and Dependability Patterns for Trusted RCES (regular paper)
In : IEEE International Conference on Information Reuse and Integration (IRI 2013), San Francisco, CA. USA, 14/08/13-16/08/13, IEEE : Institute of Electrical and Electronics Engineers, pp. 448-457, 2013.
Brahim Hamid, Jacob Geisel, Adel Ziani, Jean-Michel Bruel, Jon Perez
Model-Driven Engineering for Trusted Embedded Systems based on Security and Dependability Patterns (regular paper)
In : System Design Languages Forum, Montreal, Canada, 26/06/13-28/06/13, Springer, LNCS, pp. 73-91, June 2013.
Marc Palyart, Ileana Ober, David Lugato, Jean-Michel Bruel
HPCML: a modeling language dedicated to high-performance scientific computing (regular paper)
In : International Workshop on Model-Driven Engineering for High Performance and CLoud computing (MDHPCL 2012), Innsbruck, Austria}, 02/10/12-02/10/12, ACM Digital Library, (on line), 2012.
URL : http://dx.doi.org/10.1145/2446224.2446230 – https://oatao.univ-toulouse.fr/12879/
BibTeXAdel Ziani, Brahim Hamid, Jean-Michel Bruel
A Model-Driven Engineering Framework for Fault Tolerance in Dependable Embedded Systems Design (regular paper)
In : Euromicro conference on Software Engineering and Advanced Applications, Cesme, Izmir, Turkey, 05/09/12-08/09/12, IEEE : Institute of Electrical and Electronics Engineers, pp. 166-169, September 2012.
Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel
Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks (regular paper)
In : ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2011), Wellington, New Zealand, 16/10/11-21/10/11, Vol. 6981, Jon Whittle, Tony Clark, Thomas Kühne (Eds.), Springer, LNCS, pp. 213-227, September 2011.
Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel
MDE4HPC : An Approach for Using Model-Driven Engineering in High-Performance Computing (regular paper)
In : International Conference on System Design Languages, Toulouse, 05/07/11-07/07/11, Ileana Ober, Iulian Ober (Eds.), Springer, LNCS 7083, pp. 245-259, October 2011.
Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel
MDE4HPC: An approach for Using Model-Drieven-Engineering in High Performance Computing (regular paper)
In : International Conference on System Design Languages, Toulouse, 05/07/11-07/07/11, Ileana Ober, Iulian Ober (Eds.), IRIT, pp. 213-228, June 2011.
Ana Moreira, Jean-Michel Bruel, Joao Araujo
Adding Behavior Description Support to COTS Components through the use of Aspects
In : International Workshop on Models for Non-functional Aspects of Component-Based Software, Toulouse, 05/09/05-05/09/05, Vol. IRIT-RR-2005-01-FR, IRIT, pp. 9-19, September 2009.
Jon Whittle, Pete Sawyer, Nelly Bencomo, Betty H. C. Cheng, Jean-Michel Bruel
RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems (regular paper)
In : IEEE International Requirements Engineering conference (RE 2009), Atlanta, Goergia, USA, 31/08/09-04/09/09, IEEE Computer Society, pp. 79-88, 2009.
Jean-Michel Bruel, Nicolas Belloir, Manzoor Ahmad
SPAS : un profil SysML pour les systèmes auto-adaptatifs
In : 15ème Colloque National de la Recherche en IUT (CNRIUT), Lille, 08/06/09-10/06/09.
Abstract URL : http://www.irit.fr/publis/MACAO/Bruel-etal-CNRIUT2009.pdf
BibTeXManzoor Ahmad, Jean-Michel Bruel, Antoine Beugnard
From Composition to Connectors
In : MDD4DRES 2009, Aussois, France, 20/04/09-24/04/09.
Abstract URL : http://www.irit.fr/publis/MACAO/Ahmad-etal-MDD4DRES2009.pdf
BibTeXNicolas Belloir, Jean-Michel Bruel, Natacha Hoang, Congduc Pham
Utilisation de SysML pour la modélisation des réseaux de capteurs sans fil (regular paper)
In : Conférence sur les Langages et Modèles à Objets (LMO 2008), Montréal, Canada, 03/03/08-07/03/08, Cépaduès Editions, pp. 171-186, March 2008.
Abstract URL : http://www.irit.fr/publis/MACAO/LMO08.pdf
BibTeXNicolas Belloir, Jean-Michel Bruel
Component based development: a composition oriented approach
In : IEEE International Conference on Research, Innovation and Vision for the Futur (RIVF 2007), Hanoi, Vietnam, 07/03/07-09/03/07, IEEE Computer Society, pp. 101-106, 2007.
URL : http://www.rivf.org/
BibTeXNicolas Belloir, Jean-Michel Bruel, Eric Cariou
Implémentation d’un modèle UML de composition hiérarchique
In : Conférence sur les Langages et Modèles à Objets (LMO 2007), Toulouse, 27/03/07-29/03/07, Hermès, pp. 35-47, 2007.
Fabien Romeo, Franck Barbier, Jean-Michel Bruel
Observability and controllability of wireless software components
In : IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2007), Paphos, Cyprus, 06/06/07-08/06/07, Springer, LNCS 4531, pp. 48-61, 2007.
URL : http://web.univ-pau.fr/~fromeo/pub/ROMEO_DAIS07.pdf
BibTeXFabien Romeo, Franck Barbier, Jean-Michel Bruel
Autonomic management of component-based embedded software
In : IFIP/IEEE International Symposium on Integrated Network Management (IM 2007), Munich, Germany, 21/05/07-25/05/07, IEEE Computer Society, pp. 860-863, 2007.
URL : http://web.univ-pau.fr/~fromeo/pub/ROMEO_DAIS07.pdf
BibTeXAbdelmalek Benzekri, Jean-François Berdjugin, Jean-Michel Bruel
Z, langage de spécification de systèmes répartis temps réel
In : Conférence Francophone sur l’Ingénierie des Protocoles (CFIP’97), Liège, Belgique, 29/09/97-02/10/97, Hermès. ISBN 2-86601-639-4, September 1997.
Abdelmalek Benzekri, Jean-Michel Bruel
Controller Area Network: a formal case study
In : 2nd IEEE International Workshop on Factory Communication Systems (WFCS’97), Barcelona, Catalonia, Spain, 01/10/97-03/10/97, J.M. Fuertes and G. Juanole, October 1997.
Jean-Michel Bruel, Abdelmalek Benzekri
A Formal Study of the Controller Aera Network properties
In : Proceedings of the ISCA 10th International Conference on Computer Applications in Industry and Engineering (CAiNE’97), San Antonio, Texas USA, 10/12/97-12/12/97, Gordon K. Lee, December 1997.
Robert B. France, Jean-Michel Bruel
Integrated Graphical Object-Oriented and formal Modeling Techniques
In : Models, Formalisms and Methods for Distributed Object-Oriented Computing, A workshop within ECOOP’97 11th European Conference on Object-Oriented Programming, Jyva, Finland, 09/06/97-13/06/97, -, June 1997.
Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emmanuel Grant
Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations
In : 6th International Conference on Algebraic Methodology and Software Technology, Sydney, Australia, 03/12/97-17/12/97, -, December 1997.
Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Malcom Shroff
Exploring The Semantics of UML Type Structures with Z
In : Proceedings of the Second IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, Canterbury, United Kingdom, 21/07/97-23/07/97, Chapman & Hall, London, UK, July 1997.
Robert B. France, Jean-Michel Bruel, Gopal K. Raghavan
Towards Rigorous Analysis of Fusion Models
In : Proceedings of the Second Northern Formal Methods Workshop, Ilkley, UK, 14/07/97-15/07/97, -, July 1997.
Robert B. France, Jean-Michel Bruel, Gopal K. Raghavan
Taming the Octopus: Using Formal Models to Integrate the Octopus Object Oriented Analysis Models
In : Proceedings of the 2nd IEEE High-Assurance Systems Engineering Workshop (HASE’97), Bethesda, Maryland USA, 10/08/97-12/08/97, EEE Computer Society Press, Los Alamitos, CA, August 1997.
Brian W. Bates, Jean-Michel Bruel, Robert B. France, Maria M. Larrondo-Petrie
Formalizing Fusion Object-Oriented Analysis Models
In : Formal Methods for Open Object-based Distributed Systems, –, Chapman & Hall, London, UK, pp. 47-62, January 1997.
URL : http://itp.thomson.com:2345/chaphall/catalogs/srch_isbn?0412797704
BibTeXAbdo Abdulmalak, Abdelmalek Benzekri, Jean-Michel Bruel
Quality of Service analysis using Formal Methods
In : Quality of Service – Description, Modelling and Management (Proceedings of the 4th International IFIP Workshop on QoS), Paris, France, 06/03/96-08/03/96, Andreas Vogel and Jan de Meer, GMD-Studien Nr 282, pp. 151-160, March 1996.
Jean-Michel Bruel, Robert B. France, Abdelmalek Benzekri
Real-Time and Safety Critical Systems Specification: a Z-based Specification Environment
In : Proceedings of the ISCA 9th International Conference on Computer Applications in Industry and Engineering (CAiNE’96), Orlando, Florida, 11/12/96-13/12/96, ISCA, Raleigh, N, pp. 44-47, December 1996.
Jean-Michel Bruel, Robert B. France, Maria M. Larrondo-Petrie
CASE-based Rigorous Object-Oriented Modeling
In : Proceedings of the Northern Formal Methods Workshop, Bradford, UK, 23/09/96-24/09/96, -, September 1996.
Jean-Michel Bruel, Robert B. France, Abdelmalek Benzekri
A Z-based Approach to Specifying and Analyzing ComplexSystems
In : Proceedings of the Second IEEE International Conferenceon Engineering of Complex Computer Systems (ICECCS’96), Montreal, Canada, 21/10/96-25/10/96, IEEE Computer Society Press, Los Alamitos, CA, pp. 336-343, October 1996.
Jean-Michel Bruel, Robert B. France, Abdelmalek Benzekri, Yves Raynaud
A Real-Time Specification Environment based on Z and Graphical Object-Oriented Modeling Techniques
In : Proceedings of the IEEE High-Assurance Systems Engineering Workshop (HASE’96), Niagara-on-the-Lake, Canada, 21/10/96-22/10/96, IEEE Computer Society Press, Los Alamitos, CA, October 1996.
Jean-Michel Bruel, Robert B. France, Eduardo B. Fernandez
Formal Specification of a Multimedia Conferencing System
In : OOPSLA’96 — Fifth Workshop on Specifications of Behavioral Semantics, San Jose, CA, 06/10/96-10/10/96, Institute for Information Management, PA, pp. 19-32, October 1996.
Maria M. Larrondo-Petrie, Robert B. France, Jean-Michel Bruel
Introducing Formal Specification Techniques into the Undergraduate Software Engineering Curriculum
In : Proceedings of “Exploring Formal Methods in the Computer Science Curriculum” Workshop, New York, USA, 24/07/96-26/07/96, -, July 1996.
Jean-Michel Bruel, Robert B. France
A Formal Object-Oriented CASE Tool for the Development of Complex Systems
In : Proceedings of the 7th European Workshop on the Next Generation of CASE Tools (NGCT’96), Crete, Greece, 20/05/96-21/05/96, -, May 1996.
Robert B. France, Jean-Michel Bruel
The Role of Integrated Specification Techniques in Complex System Modeling and Analysis
In : Proceedings of the Workshop on Real-Time Systems Education (RTSE’96), Daytona Beach, Florida, USA, 20/04/96, -, April 1996.
Robert B. France, Maria M. Larrondo-Petrie, Jean-Michel Bruel, Jie. Wu
A Tale of Two Case Studies: Using Integrated Methods to Support Rigorous Requirements Specification
In : Proceedings of the BCS FACS Methods Integration Workshop, Leeds, UK, 25/03/96-26/03/96, -, March 1996.
Jean-Michel Bruel, Robert B. France, Maria M. Larrondo-Petrie, Brian W. Bates
Guidelines for Formalizing Fusion Object-Oriented Analysis Models
In : Advanced Information Systems Engineering – 8th International Conference, CAiSE’96, Heraklion, Crete, Greece, 20/05/96-24/05/96, Springer-Verlag LNCS 1080, May 1996.
Robert B. France, Jean-Michel Bruel
Formal Analysis of Information Systems using an Integrated Approach based on Extended Petri Nets
In : Proceedings of The International Conference on Information Systems Analysis and Synthesis (ISAS’96), Orlando, USA, 22/07/96-26/07/96, -, July 1996.
Jean-Michel Bruel, Robert B. France, Bharat Chintapally, Gopal K. Raghavan
A Tool for Rigorous Analysis of Object Model
In : Proceedings of the 20th Intl. Conf. on Technology of Object-Oriented Languages and Systems (TOOLS’96), Santa Barbara, California, 29/07/96-02/08/96, -, July 1996.
Abdelmalek Benzekri, Jean-Michel Bruel, Yves Raynaud
Z for the Specification of Real-Time Systems
In : Real-Time Systems’95, zklarska, Proeba, Poland, Oficyna Wydawnicza Politechniki Wroclawskiej, pp. 81-96, September 1995.
Jean-Michel Bruel, Abdelmalek Benzekri, Yves Raynaud
Z and the Specification of Real-Time Systems
In : Proceedings of the 7th International Conference on Putting into Practice Methods and Tools for Information System Design – Z Twenty Years On, What Is Its Future?, Université de Nantes, France, 10/10/95-12/10/95, -, October 1995.
Jean-Michel Bruel, Yves Raynaud, Abdo Abdulmalak
Validation of an Adaptive Leaky Bucket Algorithm
In : International Conference on Computer Applications in Industry and Engineering, Honolulu, Hawaii, USA, 29/11/95-01/12/95, A. Goel, November 1995.
Andrey Sadovykh, Nan Messe, Ildar Nigmatullin, Sophie Ebersold, Maria Naumcheva, Jean-Michel Bruel
Security Requirements Formalization with RQCODE in
Andrey 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
Jean-Michel Bruel, Pascal Roques
Présentation des concepts de SysML
In : Modélisation et analyse de systèmes embarqués. Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet (Eds.) , Hermès, 4, pp. 65-89, May 2013.
Jean-Michel Bruel, Franck Barbier, Nicolas Belloir, Fabien Romeo
Test de composants logiciels
In : Ingénierie des Composants : Concepts, techniques et outils. Mourad Oussalah (Eds.) , Vuibert, 8, pp. 229-245, June 2005.
Jean-Michel Bruel, Georg Geri, Ileana Ober
Models for Non-functional Aspects of Component-Based Software (NfC’04)
In : UML 2004 Satellite Activities. N. J. Nuntes (Eds.) , Springer-Verlag, pp. 62-66, Vol. 3297, LNCS, 2005.
Jean-Michel Bruel, Georg Geri, Hussmann Heinrich, Pohl Christoph , Whittle Jon
Models for Non-functional Aspects of Component-Based Software (NfC’04)
In : UML 2004 Modeling Languages and Applications, UML Satellite Activities. Jardim Nunes Nuno, Bran Selic, Alberto Rodrigues da Silva (Eds.) , Springer 2005, LNCS 3297, pp. 62-66, 2005.
FuZE : un environnement intégré pour l’analyse formelle de logiciels distribués temps réel
Master’s Thesis, Université Paul Sabatier, December 1996.
Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment
Bruel; Jean-Michel and Mazzara; Manuel and Meyer; Bertrand. Lecture Notes in Computer Science, 11350, pp.1-226, 2019, Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 978-3030060183
Jean-Michel Bruel, Agusti Canals, Sébastien Gérard, Isabelle Perseil
Special Issue on papers from UML&FM
Dans : Innovations in Systems and Software Engineering, Springer, Vol. 4 N. 3, septembre 2008.
URL : http://www.springerlink.com/content/xl76082v7751/?p=1792852be10742999b855b18a52bd980&pi=0
BibTeX
Alfredo Capozucca, Sophie Ebersold, Jean-Michel Bruel, Bertrand Meyer
Frontiers in Software Engineering Education: Second International Workshop, FISEE 2023, Villebrumier, France, January 23–25, 2023, Invited Papers
Lecture Notes in Computer Science, 14387, Springer Nature Switzerland, pp.XV, 1–109, 2023, Lecture Notes in Computer Science (LNCS), 978-3-031-48638-8. ⟨10.1007/978-3-031-48639-5⟩
Ileana Ober, Aniruddha Gokhale, James Hill, Jean-Michel Bruel, Michael Felderer, Akshay Dabholkar
MDHPCL 2013: Proceedings of the 2nd International Workshop on Model-Driven Engineering for High Performance and CLoud computing , Miami, Florida, USA, 29/09/2013 – 29/09/2013
Ober, Ileana; Gokhale, Aniruddha; Hill, James; Bruel, Jean-Michel; Felderer, Michael; Dabholkar, Akshay. 2nd International Workshop on Model-Driven Engineering for High Performance and CLoud computing (MDHPCL 2013), Sep 2013, Miami, Florida, United States. CEUR-WS.org, 2014, 118, ISSN: 1613-0073
Ileana Ober, Aniruddha Gokhale, Georg Geri, Michael Felderer, Jean-Michel Bruel, David Lugato
Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing (MDHPCL), Innsbruck, Autriche, 02/10/12 – 02/10/12, ACM Digital Library, DL 10.1145/2446224.2446225, 2013.
Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl, Markus Völter
11th International Conference Model Driven Engineering Languages and Systems, Toulouse, France, 28/09/08 – 03/10/08, Springer-Verlag, LNCS 5301, September 2008.
Abstract URL : http://www.springer.com/computer/programming/book/978-3-540-87874-2
BibTeXSatellite Events at the MoDELS 2005 Conference, Montego Bay, Jamaica, 02/10/05 – 07/10/05, Springer, Lecture Notes in Computer Science 3844, 2006.
Maroun Koussaifi, Walid Younes, Françoise Adreit, Jean-Paul Arcangeli, Jean-Michel Bruel, Sylvie Trouilhet
Emergence of Composite Services in Smart Environments
8th EuroScience Open Forum (ESOF 2018), Jul 2018, Toulouse, France. pp.0, 2018
Manzoor Ahmad, Jean-Michel Bruel, Christophe Gnaho, Régine Laleau
How to handle environmental uncertainty in goal-based requirements engineering
40th 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⟩
Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer, Jean-Michel Bruel, Florian Galinier, Sophie Ebersold
A contract-based method to specify stimulus-response requirements
2017
Mika Pons, Jean-Michel Bruel, Jean-Baptiste Raclet, Franck Silvestre
Extended version of the paper “Traceability by design: design of an interactive system to improve the automatic generation of Git traces during a learning activity
2023