Production year

Number of documents



Journal articles2 documents

  • Dominique Méry. Playing with State-Based Models for Designing Better Algorithms. Future Generation Computer Systems, Elsevier, 2017, 68, pp.445-455. ⟨10.1016/j.future.2016.04.019⟩. ⟨hal-01316026⟩
  • Dominique Méry, Mike Poppleton. Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems: with application to Population Protocols. Software and Systems Modeling, Springer Verlag, 2017, 16 (4), pp.1083--1115. ⟨hal-01245819⟩

Conference papers3 documents

  • Paul Gibson, Souad Kherroubi, Dominique Méry. Applying a Dependency Mechanism for Voting Protocol Models Using Event-B. 37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2017), Jun 2017, Neuchâtel, Switzerland. pp.124-138, ⟨10.1007/978-3-319-60225-7_9⟩. ⟨hal-01658423⟩
  • Souad Kherroubi, Dominique Méry. Contextualization and Dependency in State-Based Modelling - Application to Event-B. MEDI 2017 - International Conference on Model and Data Engineering, Oct 2017, Barcelona, Spain. pp.137--152, ⟨10.1007/978-3-319-66854-3_11⟩. ⟨hal-01631017⟩
  • Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem, Dominique Méry. A Formal Approach for Maintaining Forest Topologies in Dynamic Networks. ICIS 2017 - 16th IEEE/ACIS International Conference on Computer and Information Science, May 2017, Wuhan, China. pp.123-137, ⟨10.1007/978-3-319-60170-0_9⟩. ⟨hal-01495807⟩

Directions of work or proceedings1 document

  • Catherine Dubois, Paolo Masci, Dominique Méry. Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016. Nov 2016, Cyprus. Electronic Proceedings in Theoretical Computer Science, 240, 2017, ⟨10.4204/EPTCS.240⟩. ⟨hal-01652413⟩