OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Bruel, Jean-Michel"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 41.

Article

Naumchev, Alexandr and Meyer, Bertrand and Mazzara, Manuel and Galinier, Florian and Bruel, Jean-Michel and Ebersold, Sophie. AutoReq: expressing and verifying requirements for control systems. (2019) Journal of Visual Languages and Computing, 51. 131-142. ISSN 1045-926X

Ober, Ileana and Palyart-Lamarche, Marc and Bruel, Jean-Michel and Lugato, David. On the use of models for high-performance scientific computing applications: an experience report. (2018) International Journal on Software and Systems Modeling, 17. 319-342. ISSN 1619-1366

Ahmad, Manzoor and Belloir, Nicolas and Bruel, Jean-Michel. Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems. (2015) Journal of Systems and Software, 107. 50-70. ISSN 0164-1212

Belloir, Nicolas and Bruel, Jean-Michel and Faudou, Raphaël. Modélisation des exigences en UML/SysML. (2014) Génie Logiciel, 111. 6-12. ISSN 1265-1397

Conference or Workshop Item

Baduel, Ronan and Ober, Iulian Sorin and Bruel, Jean-Michel. Modeling and verification method for an early evaluation of Systems of Systems interactions. (2020) In: 35th Annual ACM Symposium on Applied Computing (SAC 2020), 30 March 2020 - 3 April 2020 (Brno, Czech Republic).

Koussaifi, Maroun and Trouilhet, Sylvie and Arcangeli, Jean-Paul and Bruel, Jean-Michel. Automated user-oriented description of emerging composite ambient applications. (2019) In: 31st International Conference on Software Engineering and Knowledge Engineering (SEKE 2019), 10 July 2019 - 12 July 2019 (Lisbonne, Portugal).

Koussaifi, Maroun and Trouilhet, Sylvie and Arcangeli, Jean-Paul and Bruel, Jean-Michel. Ambient Intelligence Users in the Loop: Towards a Model-Driven Approach. (2018) In: International Workshop Microservices: Science and Engineering (MSE@STAF 2018), 25 June 2018 - 25 June 2018 (Toulouse, France).

Bruneliere, Hugo and Eramo, Romina and Gomez, Abel and Besnard, Valentin and Bruel, Jean-Michel and Gogolla, Martin and Kaestner, Andreas and Rutle, Adrian. Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap. (2018) In: 1st International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (MDE@DeRun 2018), 14 October 2018 - 19 October 2018 (Copenhagen, Denmark).

Leroux-Beaudout, Renan and Pantel, Marc and Ober, Ileana and Bruel, Jean-Michel. Model-Based Systems Engineering for Systems Simulation. (2018) In: Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), 30 October 2018 - 13 November 2018 (Limassol, Cyprus).

Bruel, Jean-Michel and Combemale, Benoît and Guerra, Esther and Jézéquel, Jean-Marc and Kienzle, Jörg and De Lara, Juan and Mussbacher, Gunter and Syriani, Eugene and Vangheluwe, Hans. Model Transformation Reuse across Metamodels. (2018) In: 11th International Conference on Model Transformation (ICMT 2018), 25 June 2018 - 26 June 2018 (Toulouse, France).

Baduel, Ronan and Chami, Mohammad and Bruel, Jean-Michel and Ober, Iulian Sorin. SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation. (2018) In: European Conference on Modelling Foundations and Applications (ECMFA 2018), 26 June 2018 - 28 June 2018 (Toulouse, France).

Chami, Mohammad and Bruel, Jean-Michel. A Survey on MBSE Adoption Challenges. (2018) In: INCOSE EMEA Sector Systems Engineering Conference (INCOSE EMEASEC 2018), 5 November 2018 - 7 November 2018 (Berlin, Germany).

Baduel, Ronan and Bruel, Jean-Michel and Ober, Iulian Sorin and Doba, Eddy. Definition of states and modes as general concepts for system design and validation. (2018) In: 12e Conference Internationale de Modelisation, Optimisation et Simulation (MOSIM 2018), 27 June 2018 - 29 June 2018 (Toulouse, France).

Koussaifi, Maroun and Younes, Walid and Adreit, Françoise and Arcangeli, Jean-Paul and Bruel, Jean-Michel and Trouilhet, Sylvie. Emergence of Composite Services in Smart Environments. (2018) In: 8th EuroScience Open Forum (ESOF 2018), 9 July 2018 - 14 July 2018 (Toulouse, France).

Galinier, Florian and Ebersold, Sophie and Bruel, Jean-Michel. Requirements Specific Modeling Language : un langage formel d'expression d'exigences. (2018) In: 7ème Conférence en Ingénierie du Logiciel (CIEL 2018), 14 June 2018 - 15 June 2018 (Grenoble, France).

Chami, Mohammad and Aleksandraviciene, Aiste and Morkevicius, Aurelijus and Bruel, Jean-Michel. Towards Solving MBSE Adoption Challenges: The D3 MBSE Adoption Toolbox. (2018) In: Annual International Council on Systems Engineering Symposium (INCOSE 2018), 7 July 2018 - 12 July 2018 (Washington DC, United States).

Galinier, Florian and Bruel, Jean-Michel and Ebersold, Sophie and Meyer, Bertrand. Seamless Integration of Multirequirements in Complex Systems. (2017) In: 25th International Requirements Engineering Conference Workshops (REW 2017), 4 September 2017 - 8 September 2017 (Lisbon, Portugal).

Galinier, Florian and Bruel, Jean-Michel and Ebersold, Sophie and Meyer, Bertrand. Intégration des (multi-)exigences tout au long du développement des systèmes complexes. (2017) In: 16emes Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2017), 13 June 2017 - 16 June 2017 (Montpellier, France).

Leroux-Beaudout, Renan and Ober, Ileana and Pantel, Marc and Bruel, Jean-Michel. Modeling co-simulation : a first experiment. (2017) In: 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), 17 September 2017 (Austin, TX, United States).

Motii, Anas and Lanusse, Agnes and Hamid, Brahim and Bruel, Jean-Michel. Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study. (2016) In: TIPS Workshop in 35th International Conference on Computer Safety, Reliability and Security (Safecomp 2016), 20 September 2016 - 23 September 2016 (Trondheim, Norway).

Naija, Mohamed and Bruel, Jean-Michel and Ben Ahmed, Samir. Towards a MARTE Extension to Address Adaptation Mechanisms. (2016) In: 17th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2016), 7 January 2016 - 9 January 2016 (Orlando, FL, United States).

Motii, Anas and Hamid, Brahim and Lanusse, Agnes and Bruel, Jean-Michel. Guiding the selection of security patterns for real-time systems. (2016) In: 21st IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2016), 6 November 2016 - 8 November 2016 (Dubaï, United Arab Emirates).

Combemale, Benoit and Cheng, Betty and Moreira, Ana and Bruel, Jean-Michel and Gray, Jeff. Modeling for sustainability. (2016) In: 8th IEEE/ACM International Workshop on Modeling in Software Engineering (MiSE 2016), 14 May 2016 - 22 May 2016 (Austin, Texas, United States).

Geisel, Jacob and Hamid, Brahim and Gonzalez, David and Bruel, Jean-Michel. Towards a Methodological Tool Support for Modeling Security-Oriented Processes. (2016) In: 6th International Conference On Model and Data Engineering (MEDI 2016), 21 September 2016 - 23 September 2016 (Almeria, Spain).

Laghouaouta, Youness and Anwar, Adil and Nassar, Mahmoud and Bruel, Jean-Michel. A Generic Traceability Framework for Model Composition Operation. (2015) In: 16th International Conference on Business Process Modeling, Development, and Support (BPMDS’15) held at CAiSE 2015, 8 June 2015 - 9 June 2015 (Stockholm, Sweden).

Motii, Anas and Hamid, Brahim and Lanusse, Agnes and Bruel, Jean-Michel. Guiding the selection of security patterns based on security requirements and pattern classification. (2015) In: 20th European Conference on Pattern Language of Programs (EuroPlop 2015), 6 July 2015 - 10 July 2015 (Kloster Irsee, Germany).

Bruel, Jean-Michel and Combemale, Benoit and Ober, Ileana and Raynal, Hélène. MDE in Practice for Computational Science. (2015) In: International Conference on Computational Science (ICCS 2015), 1 June 2015 - 3 June 2015 (Reykjavík, Iceland).

Naija, Mohamed and Ben Ahmed, Samir and Bruel, Jean-Michel. New Schedulability Analysis for Real-Time Systems based on MDE and Petri Nets Model at Early Design Stages. (2015) In: 10th International Conference on Software Technologies (ICSOFT 2015), 20 July 2015 - 22 July 2015 (Colmar, France).

Geisel, Jacob and Hamid, Brahim and Bruel, Jean-Michel. Security Concepts as Add-On for Process Models. (2015) In: 20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015), 9 December 2015 - 12 December 2015 (Gold Coast, Australia).

Chami, Mohammad and Bruel, Jean-Michel. Towards an Integrated Conceptual Design Evaluation of Mechatronic Systems: The SysDICE Approach. (2015) In: International Conference on Computational Science (ICCS 2015), 1 June 2015 - 3 June 2015 (Reykjavik, Iceland).

Wanderley, Fernando and Belloir, Nicolas and Bruel, Jean-Michel and Hameurlain, Nabil and Araujo, Joao. Des buts à la modélisation système : une approche de modélisation des exigences centrée utilisateur. (2014) In: INFormatique des Organisations et Systemes d'Information et de Decision - INFORSID 2014, 20 May 2014 - 23 May 2014 (Lyon, France).

Laghouaouta, Youness and Anwar, Adil and Nassar, Mahmoud and Bruel, Jean-Michel. On the use of graph transformations for model composition traceability. (2014) In: 8th International Conference on Research Challenge in Information Science (RCIS 2014), 28 May 2014 - 30 May 2014 (Marrakesh, Morocco).

Mussbacher, Gunter and Amyot, Daniel and Breu, Ruth and Bruel, Jean-Michel and Cheng, Betty and Collet, Philippe and Combemale, Benoit and France, Robert B. and Heldal, Rogardt and Hill, James and Kienzle, Jörg and Schöttle, Matthias and Steimann, Friedrich and Stikkolorum, Dave and Whittle, Jon. The relevance of model-driven engineering thirty years from now. (2014) In: 17th International Conference ACM/IEEE - Conference on Model Driven Engineering Languages and Systems (MODELS), 28 September 2014 - 3 October 2014 (Valencia, Spain).

Belloir, Nicolas and Chiprianov, Vanea and Ahmad, Manzoor and Munier, Manuel and Gallon, Laurent and Bruel, Jean-Michel. Using Relax Operators into an MDE Security Requirement Elicitation Process for Systems of Systems. (2014) In: 2nd International Worksop on Software Enginering for Systems-of-Systems (SeSoS 2014), 26 August 2014 (Vienna, Austria).

Ahmad, Manzoor and Araujo, Joao and Belloir, Nicolas and Bruel, Jean-Michel and Gnaho, Christophe and Laleau, Régine and Semmak, Farida. Self-Adaptive Systems Requirements Modelling: four related approaches comparison. (2013) In: International Wokshop Comparing Requirements Modeling Approaches (CMA@RE 2013) workshop in the field of 21st IEEE International Requirements Engineering Conference, 16 July 2013 (Rio de Janeiro, Brazil).

Ziani, Adel and Hamid, Brahim and Geisel, Jacob and Bruel, Jean-Michel. A Model-based Repository of Security and Dependability Patterns for Trusted RCES. (2013) In: IEEE International Conference on Information Reuse and Integration (IRI), 14 August 2013 - 16 August 2013 (San Francisco, United States).

Ahmad, Manzoor and Dragomir, Iulia and Bruel, Jean-Michel and Ober, Iulian and Belloir, Nicolas. Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx. (2013) In: 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2013), 29 July 2013 - 31 July 2013 (Reykjavik, Iceland).

Mayart, Frédéric and Bruel, Jean-Michel and Hamid, Brahim. How to Analyze Modeling Approach Comparison Criteria. (2013) In: Comparing Modeling Approaches Workshop - CMA 2013, 1 October 2013 (Miami, United States).

Hamid, Brahim and Geisel, Jacob and Ziani, Adel and Bruel, Jean-Michel and Perez, Jon. Model-Driven Engineering for Trusted Embedded Systems based on Security and Dependability Patterns. (2013) In: 16th System Design Languages Forum (SDL 2013), 26 June 2013 - 28 June 2013 (Montreal, Canada).

Geisel, Jacob and Hamid, Brahim and Bruel, Jean-Michel. Repository-Centric Process Modeling - Example of a Pattern Based Development Process. (2013) In: 11th International Conference on Software Engineering Research, Management and Applications (SERA 2013), 7 August 2013 - 9 August 2013 (Prague, Czech Republic).

Palyart, Marc and Ober, Ileana and Lugato, David and Bruel, Jean-Michel. HPCML: a modeling language dedicated to high-performance scientific computing. (2012) In: International Workshop on Model-Driven Engineering for High Performance and CLoud computing - MDHPCL 2012, 2 October 2012 (Innsbruck, Austria).

This list was generated on Sun Aug 9 00:16:21 2020 CEST.