Number of documents

5

Jérôme Delatour


"Cedrick Lelionnais"   

Journal articles1 document

  • 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⟩

Conference papers4 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⟩
  • 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⟩
  • Jérôme Delatour, Cedrick Lelionnais. Towards a Behavioral Modeling of Real-Time Kernel in a Model-Driven Development Approach. 4th Junior Researcher Workshop on Real-Time Computing, JRWRTC'2010 (in conjunction with the 18th International Conference on Real-Time and Network Systems (RTNS'2010), Nov 2010, Toulouse, France. ⟨hal-01179852⟩