Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

  • Michael Butler
  • Sylvain Conchon
  • Fatiha Zaïdi
Conference proceedings ICFEM 2015

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9407)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9407)

Table of contents

  1. Front Matter
    Pages I-XXV
  2. Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata
    Pages 1-16
  3. Hiroyuki Yoshida, Kazuhiro Ogata, Kokichi Futatsugi
    Pages 33-49
  4. Thai Son Hoang, Shinji Itoh, Kyohei Oyama, Kunihiko Miyazaki, Hironobu Kuruma, Naoto Sato
    Pages 50-66
  5. Wouter Smeenk, Joshua Moerman, Frits Vaandrager, David N. Jansen
    Pages 67-83
  6. Oana F. Andreescu, Thomas Jensen, Stéphane Lescuyer
    Pages 116-133
  7. Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux
    Pages 134-152
  8. Lukas Ladenberger, Michael Leuschel
    Pages 153-169
  9. Sumesh Divakaran, Deepak D’Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock
    Pages 170-186
  10. Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang, Conghao Zhou
    Pages 187-200
  11. Lina Ye, Philippe Dague, Farid Nouioua
    Pages 201-216
  12. Crystal Chang Din, S. Lizeth Tapia Tarifa, Reiner Hähnle, Einar Broch Johnsen
    Pages 217-233
  13. Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl
    Pages 234-251
  14. Juliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain
    Pages 252-269
  15. Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar
    Pages 270-286
  16. Olga Kouchnarenko, Jean-François Weber
    Pages 287-303
  17. Dennis Guck, Jip Spel, Mariëlle Stoelinga
    Pages 304-311
  18. Akram Idani, Yves Ledru
    Pages 312-318
  19. Étienne André, Camille Coti, Hoang Gia Nguyen
    Pages 319-335
  20. Pablo F. Castro, Cecilia Kilmurray, Nir Piterman
    Pages 336-348
  21. Asankhaya Sharma, Aquinas Hobor, Wei-Ngan Chin
    Pages 349-365
  22. Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi
    Pages 366-381
  23. Shuling Wang, Naijun Zhan, Liang Zou
    Pages 382-399
  24. Gabriel Ciobanu, Eneia Nicolae Todoran
    Pages 400-416
  25. Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir
    Pages 417-433
  26. Back Matter
    Pages 435-436

About these proceedings


This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.


Concurrent systems Distributed algorithms Model checking Software product lines Specification languages Consistency verification Constraint solving Domain specific visualization Evaluation Language design Logic Model-driven engineering Reliability Security Semantics Software design Software verification Specification System modeling Theorem proving

Editors and affiliations

  • Michael Butler
    • 1
  • Sylvain Conchon
    • 2
  • Fatiha Zaïdi
    • 3
  1. 1.Electronics and Computer ScienceUniversity of SouthamptonSouthamptonUnited Kingdom
  2. 2.Université Paris-SudOrsayFrance
  3. 3.Université Paris-SudOrsayFrance

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-25422-7
  • Online ISBN 978-3-319-25423-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site