Publications de Jean-Michel BRUEL
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-Lamarche, 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
Dans : Procedia Computer Science, Science Direct, Numéro spécial The 3rd International Conference on Ambient Systems, Networks and Technologies (ANT) proceedings, Vol. 10, p. 474-481, août 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
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 97, p. 41-46, juin 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
Dans : Requirements Engineering Journal, Springer-Verlag, Heidelberg, Allemagne, Vol. 15 N. 2, p. 177-196, mars 2010.
Accès : 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
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 80, p. 2-6, mars 2007.
Jean-Michel Bruel, Ileana Ober
Components modeling in UML 2
Dans : Studia Jurnal, Babes-Bolyai University, Cluj-Napoca (Roumanie), Vol. 1, p. 79-90, 2006.
Nicolas Belloir, Jean-Michel Bruel
Développement basé composant : une approche centrée composition
Dans : Ingénierie des Systèmes d’Information (ISI), Hermès Science, Numéro spécial Méthodes Avancées de Développement des SI, Vol. 10, N. 6, p. 59-80, octobre 2005.
Résumé Accès : 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
Dans : 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, p. 39-57, juillet 1999.
Accès : http://rerir.univ-pau.fr
BibTeXJean-Michel Bruel, Robert B. France, Maria M. Larrondo-Petrie
An Integrated Object-Oriented and Formal Modeling Environment
Dans : The Journal of Object-Oriented Programming (JOOP), Vol. 10 N. 7, p. 25-34, 1997.
Robert B. France, Jean-Michel Bruel
FuZE: A Fusion/Z Environment
Dans : Fusion Newsletter, Vol. 4 N. 3, p. 14-18, juillet 1996.
Accès : http://www.hpl.hp.com/fusion/md\_newsletters.html
BibTeX
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
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
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
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⟩
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)
Dans : International Wokshop Comparing *Requirements* Modeling Approaches (CMA@RE 2013), Rio de Janeiro, Brazil, 16/07/13-16/07/13, IEEExplore digital library, (support électronique), 2013.
Frédéric Mayart, Jean-Michel Bruel, Brahim Hamid
How to Analyze Modeling Approach Comparison Criteria (short paper)
Dans : Comparing Modeling Approaches Workshop, Miami, 01/10/13, Vol. 1076, CEUR-WS : Workshop proceedings, (en ligne), octobre 2013.
Accès : 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)
Dans : International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2013), Reykjavik, Iceland, 29/07/13-31/07/13, SciTePress, p. 147-154, septembre 2013.
Accès : 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)
Dans : 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, p. 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)
Dans : System Design Languages Forum, Montreal, Canada, 26/06/13-28/06/13, Springer, LNCS, p. 73-91, juin 2013.
Marc Palyart, Ileana Ober, David Lugato, Jean-Michel Bruel
HPCML: a modeling language dedicated to high-performance scientific computing (regular paper)
Dans : 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, (en ligne), 2012.
Accès : 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)
Dans : Euromicro conference on Software Engineering and Advanced Applications, Cesme, Izmir, Turkey, 05/09/12-08/09/12, IEEE : Institute of Electrical and Electronics Engineers, p. 166-169, septembre 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)
Dans : 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, p. 213-227, septembre 2011.
Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel
MDE4HPC : An Approach for Using Model-Driven Engineering in High-Performance Computing (regular paper)
Dans : International Conference on System Design Languages, Toulouse, 05/07/11-07/07/11, Ileana Ober, Iulian Ober (Eds.), Springer, LNCS 7083, p. 245-259, octobre 2011.
Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel
MDE4HPC: An approach for Using Model-Drieven-Engineering in High Performance Computing (regular paper)
Dans : International Conference on System Design Languages, Toulouse, 05/07/11-07/07/11, Ileana Ober, Iulian Ober (Eds.), IRIT, p. 213-228, juin 2011.
Ana Moreira, Jean-Michel Bruel, Joao Araujo
Adding Behavior Description Support to COTS Components through the use of Aspects
Dans : 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, p. 9-19, septembre 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)
Dans : IEEE International Requirements Engineering conference (RE 2009), Atlanta, Goergia, USA, 31/08/09-04/09/09, IEEE Computer Society, p. 79-88, 2009.
Résumé Accès : http://www.re09.org/
BibTeXJean-Michel Bruel, Nicolas Belloir, Manzoor Ahmad
SPAS : un profil SysML pour les systèmes auto-adaptatifs
Dans : 15ème Colloque National de la Recherche en IUT (CNRIUT), Lille, 08/06/09-10/06/09.
Résumé Accès : http://www.irit.fr/publis/MACAO/Bruel-etal-CNRIUT2009.pdf
BibTeXManzoor Ahmad, Jean-Michel Bruel, Antoine Beugnard
From Composition to Connectors
Dans : MDD4DRES 2009, Aussois, France, 20/04/09-24/04/09.
Résumé Accès : 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)
Dans : Conférence sur les Langages et Modèles à Objets (LMO 2008), Montréal, Canada, 03/03/08-07/03/08, Cépaduès Editions, p. 171-186, mars 2008.
Résumé Accès : http://www.irit.fr/publis/MACAO/LMO08.pdf
BibTeXNicolas Belloir, Jean-Michel Bruel
Component based development: a composition oriented approach
Dans : IEEE International Conference on Research, Innovation and Vision for the Futur (RIVF 2007), Hanoi, Vietnam, 07/03/07-09/03/07, IEEE Computer Society, p. 101-106, 2007.
Accès : http://www.rivf.org/
BibTeXNicolas Belloir, Jean-Michel Bruel, Eric Cariou
Implémentation d’un modèle UML de composition hiérarchique
Dans : Conférence sur les Langages et Modèles à Objets (LMO 2007), Toulouse, 27/03/07-29/03/07, Hermès, p. 35-47, 2007.
Fabien Romeo, Franck Barbier, Jean-Michel Bruel
Observability and controllability of wireless software components
Dans : IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2007), Paphos, Cyprus, 06/06/07-08/06/07, Springer, LNCS 4531, p. 48-61, 2007.
Accès : http://web.univ-pau.fr/~fromeo/pub/ROMEO_DAIS07.pdf
BibTeXFabien Romeo, Franck Barbier, Jean-Michel Bruel
Autonomic management of component-based embedded software
Dans : IFIP/IEEE International Symposium on Integrated Network Management (IM 2007), Munich, Germany, 21/05/07-25/05/07, IEEE Computer Society, p. 860-863, 2007.
Accès : 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
Dans : 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, septembre 1997.
Abdelmalek Benzekri, Jean-Michel Bruel
Controller Area Network: a formal case study
Dans : 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, octobre 1997.
Jean-Michel Bruel, Abdelmalek Benzekri
A Formal Study of the Controller Aera Network properties
Dans : 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, décembre 1997.
Accès : http://www.webpress.net/isca/Caine-97-Call.htm
BibTeXRobert B. France, Jean-Michel Bruel
Integrated Graphical Object-Oriented and formal Modeling Techniques
Dans : 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, -, juin 1997.
Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emmanuel Grant
Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations
Dans : 6th International Conference on Algebraic Methodology and Software Technology, Sydney, Australia, 03/12/97-17/12/97, -, décembre 1997.
Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Malcom Shroff
Exploring The Semantics of UML Type Structures with Z
Dans : 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, juillet 1997.
Robert B. France, Jean-Michel Bruel, Gopal K. Raghavan
Towards Rigorous Analysis of Fusion Models
Dans : Proceedings of the Second Northern Formal Methods Workshop, Ilkley, UK, 14/07/97-15/07/97, -, juillet 1997.
Robert B. France, Jean-Michel Bruel, Gopal K. Raghavan
Taming the Octopus: Using Formal Models to Integrate the Octopus Object Oriented Analysis Models
Dans : 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, août 1997.
Accès : http://www.cs.uh.edu/%7Ehase97
BibTeXBrian W. Bates, Jean-Michel Bruel, Robert B. France, Maria M. Larrondo-Petrie
Formalizing Fusion Object-Oriented Analysis Models
Dans : Formal Methods for Open Object-based Distributed Systems, –, Chapman & Hall, London, UK, p. 47-62, janvier 1997.
Accès : http://itp.thomson.com:2345/chaphall/catalogs/srch_isbn?0412797704
BibTeXAbdo Abdulmalak, Abdelmalek Benzekri, Jean-Michel Bruel
Quality of Service analysis using Formal Methods
Dans : 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, p. 151-160, mars 1996.
Jean-Michel Bruel, Robert B. France, Abdelmalek Benzekri
Real-Time and Safety Critical Systems Specification: a Z-based Specification Environment
Dans : 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, p. 44-47, décembre 1996.
Jean-Michel Bruel, Robert B. France, Maria M. Larrondo-Petrie
CASE-based Rigorous Object-Oriented Modeling
Dans : Proceedings of the Northern Formal Methods Workshop, Bradford, UK, 23/09/96-24/09/96, -, septembre 1996.
Jean-Michel Bruel, Robert B. France, Abdelmalek Benzekri
A Z-based Approach to Specifying and Analyzing ComplexSystems
Dans : 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, p. 336-343, octobre 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
Dans : 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, octobre 1996.
Jean-Michel Bruel, Robert B. France, Eduardo B. Fernandez
Formal Specification of a Multimedia Conferencing System
Dans : OOPSLA’96 — Fifth Workshop on Specifications of Behavioral Semantics, San Jose, CA, 06/10/96-10/10/96, Institute for Information Management, PA, p. 19-32, octobre 1996.
Maria M. Larrondo-Petrie, Robert B. France, Jean-Michel Bruel
Introducing Formal Specification Techniques into the Undergraduate Software Engineering Curriculum
Dans : Proceedings of “Exploring Formal Methods in the Computer Science Curriculum” Workshop, New York, USA, 24/07/96-26/07/96, -, juillet 1996.
Jean-Michel Bruel, Robert B. France
A Formal Object-Oriented CASE Tool for the Development of Complex Systems
Dans : Proceedings of the 7th European Workshop on the Next Generation of CASE Tools (NGCT’96), Crete, Greece, 20/05/96-21/05/96, -, mai 1996.
Robert B. France, Jean-Michel Bruel
The Role of Integrated Specification Techniques in Complex System Modeling and Analysis
Dans : Proceedings of the Workshop on Real-Time Systems Education (RTSE’96), Daytona Beach, Florida, USA, 20/04/96, -, avril 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
Dans : Proceedings of the BCS FACS Methods Integration Workshop, Leeds, UK, 25/03/96-26/03/96, -, mars 1996.
Jean-Michel Bruel, Robert B. France, Maria M. Larrondo-Petrie, Brian W. Bates
Guidelines for Formalizing Fusion Object-Oriented Analysis Models
Dans : Advanced Information Systems Engineering – 8th International Conference, CAiSE’96, Heraklion, Crete, Greece, 20/05/96-24/05/96, Springer-Verlag LNCS 1080, mai 1996.
Robert B. France, Jean-Michel Bruel
Formal Analysis of Information Systems using an Integrated Approach based on Extended Petri Nets
Dans : Proceedings of The International Conference on Information Systems Analysis and Synthesis (ISAS’96), Orlando, USA, 22/07/96-26/07/96, -, juillet 1996.
Jean-Michel Bruel, Robert B. France, Bharat Chintapally, Gopal K. Raghavan
A Tool for Rigorous Analysis of Object Model
Dans : 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, -, juillet 1996.
Abdelmalek Benzekri, Jean-Michel Bruel, Yves Raynaud
Z for the Specification of Real-Time Systems
Dans : Real-Time Systems’95, zklarska, Proeba, Poland, Oficyna Wydawnicza Politechniki Wroclawskiej, p. 81-96, septembre 1995.
Jean-Michel Bruel, Abdelmalek Benzekri, Yves Raynaud
Z and the Specification of Real-Time Systems
Dans : 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, -, octobre 1995.
Jean-Michel Bruel, Yves Raynaud, Abdo Abdulmalak
Validation of an Adaptive Leaky Bucket Algorithm
Dans : International Conference on Computer Applications in Industry and Engineering, Honolulu, Hawaii, USA, 29/11/95-01/12/95, A. Goel, novembre 1995.
Jean-Michel Bruel, Pascal Roques
Présentation des concepts de SysML
Dans : Modélisation et analyse de systèmes embarqués. Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet (Eds.) , Hermès, 4, p. 65-89, mai 2013.
Jean-Michel Bruel, Franck Barbier, Nicolas Belloir, Fabien Romeo
Test de composants logiciels
Dans : Ingénierie des Composants : Concepts, techniques et outils. Mourad Oussalah (Eds.) , Vuibert, 8, p. 229-245, juin 2005.
Jean-Michel Bruel, Georg Geri, Ileana Ober
Models for Non-functional Aspects of Component-Based Software (NfC’04)
Dans : UML 2004 Satellite Activities. N. J. Nuntes (Eds.) , Springer-Verlag, p. 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)
Dans : UML 2004 Modeling Languages and Applications, UML Satellite Activities. Jardim Nunes Nuno, Bran Selic, Alberto Rodrigues da Silva (Eds.) , Springer 2005, LNCS 3297, p. 62-66, 2005.
FuZE : un environnement intégré pour l’analyse formelle de logiciels distribués temps réel
Thèse de doctorat, Université Paul Sabatier, décembre 1996.
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
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