Number of documents

3

Jérôme Delatour


Charlotte Seidner   

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