Number of documents

11

Jérôme Delatour


"Matthias Brun"   

Journal articles3 documents

  • Cédrick Lelionnais, Jérôme Delatour, Matthias Brun, Olivier Henri Roux, Charlotte Seidner. Formal Synthesis of Real-Time System Models in a MDE Approach. IARIA Journals, 2014, International Journal on Advances in Systems and Measurements, 7 (1&2), pp.115-128. ⟨hal-01093769⟩
  • Matthias Brun, Jérôme Delatour, Yvon Trinquet, Frédéric Thomas, Sébastien Gerard. Etude comparative pour la modélisation de plates-formes d'exécution - Application au temps réel embarqué. Techniques et Sciences Informatiquess, Editions Hermès, 2010, 29 (4-5), pp.421-451. ⟨hal-00537626⟩
  • Frédéric Thomas, Jérôme Delatour, François Terrier, Matthias Brun, Sébastien Gérard. Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDM. Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2007, 13 (4), pp.9-31. ⟨hal-01045009⟩

Conference papers8 documents

  • Cedrick Lelionnais, Matthias Brun, Jérôme Delatour, Olivier Henri Roux, Charlotte Seidner. Formal composition based on roles within a model driven engineering approach. The 5th International Conference on Advances in System Testing and Validation Lifecycle (VALID 2013), Nov 2013, Venice, Italy. pp.27-32. ⟨hal-00941024⟩
  • Cédrick Lelionnais, Matthias Brun, Jérôme Delatour, Olivier Henri Roux, Charlotte Seidner. Formal Behavioral Modeling of Real-Time Operating Systems. The 14th International Conference on Enterprise Information Systems (ICEIS (2) 2012), Jun 2012, Wroclaw, Poland. ⟨hal-01093794⟩
  • Matthias Brun, Jérôme Delatour. Contribution on the Software Execution platform integration during an application deployment process. First Topcased Day, Feb 2011, Toulouse, France. ⟨hal-01179760⟩
  • Jérôme Delatour, Matthias Brun, Guillaume Savaton, Jonathan Ilias-Pillet, Cedrick Lelionnais. Les platesformes d'exécution dans l'IDM : Quelles modélisations pour quelles utilisations ?. programme des journées nationales du GDR GPL 2010, Mar 2010, Pau, France. ⟨hal-01179877⟩
  • Matthias Brun, Jérôme Delatour, Yvon Trinquet. Code Generation from AADL to a Real-time Operating System: An Experimentation Feedback on the Use of Model Transformation. Engineering of Complex Computer Systems, 2008. ICECCS 2008. 13th IEEE International Conference on, Mar 2008, Belfast, Ireland. pp.257-262, ⟨10.1109/ICECCS.2008.19 ⟩. ⟨hal-01179673⟩
  • Matthias Brun, Thomas Vergnaud, Madeleine Faugere, Jérôme Delatour. From UML to AADL: an Explicit Execution Semantics Modelling with MARTE. ERTS 2008, 2008, Toulouse, France. ⟨hal-01179680⟩
  • Matthias Brun, Madeleine Faugère, Jérôme Delatour, Thomas Vergnaud. From UML to AADL: a Need for an Explicit Execution Semantics Modeling with MARTE. Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France. ⟨hal-02270284⟩
  • Matthias Brun, Jérôme Delatour, Sébastien Faucou, Guillaume Savaton. Retour d’expérience sur l’utilisation déclarative d’un langage de transformation pour la génération de code : de AADL vers OSEK/VDX OS. IDM07, Mar 2007, Toulouse, France. pp.132-148. ⟨hal-01179695⟩