Production year

Number of documents

6


2018   

Conference papers3 documents

  • John Paul Gibson, Dominique Méry. Explicit modelling of physical measures: from Event-B to Java. IMPEX 2017: 1st International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development, Nov 2017, Xi’An, China. pp.64 - 79, ⟨10.4204/EPTCS.271.5⟩. ⟨hal-01798224⟩
  • Dominique Méry. Modelling by Patterns for Correct-by-Construction Process.. ISOLA 2018 - 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Nov 2018, Limassol, Cyprus. pp.399-423. ⟨hal-01933971⟩
  • Neeraj Kumar Singh, Yamine Ait Ameur, Dominique Méry. Formal Ontological Driven Model Refactoring. ICECCS 2018 - 23rd International Conference on Engineering of Complex Computer Systems, Dec 2018, Melbourne, Australia. ⟨hal-01939006⟩

Directions of work or proceedings3 documents

  • El Hassan Abdelwahed, Ladjel Bellatreche, Matteo Golfarelli, Dominique Méry, Carlos Ordonez. Model and Data Engineering. MEDI 2018 - International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Oct 2018, Marrakech, Morocco. 11163, ⟨Springer⟩, 2018, Lecture Notes in Computer Science, 978-3-030-00855-0. ⟨hal-01933977⟩
  • Régine Laleau, Dominique Méry, Shin Nakajima, Elena Troubitsyna. Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD). Electronic Proceedings in Theoretical Computer Science, 271, 2018, ⟨10.4204/EPTCS.271⟩. ⟨hal-01933762⟩
  • El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, et al.. New Trends in Model and Data Engineering. MEDI 2018 - International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Oct 2018, Marrakesh, Morocco. Communications in Computer and Information Science, Communications in Computer and Information Science (929), Springer, 2018, 978-3-030-02851-0. ⟨10.1007/978-3-030-02852-7⟩. ⟨hal-01933975⟩