Formal Methods and Software Engineering

18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

  • Kazuhiro Ogata
  • Mark Lawford
  • Shaoying Liu
Conference proceedings ICFEM 2016

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

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

Table of contents

  1. Front Matter
    Pages I-XVII
  2. Valentín Cassano, Thomas S. E. Maibaum, Silviya Grigorova
    Pages 1-17
  3. Weikai Miao, Geguang Pu, Yinbo Yao, Ting Su, Danzhu Bao, Yang Liu et al.
    Pages 26-40
  4. Takaya Saeki, Fuyuki Ishikawa, Shinichi Honiden
    Pages 41-56
  5. Dominic Scheurer, Reiner Hähnle, Richard Bubel
    Pages 57-73
  6. Guillaume Babin, Yamine Aït-Ameur, Neeraj Kumar Singh, Marc Pantel
    Pages 106-121
  7. Manman Chen, Tian Huat Tan, Jun Sun, Jingyi Wang, Yang Liu, Jing Sun et al.
    Pages 122-140
  8. Linas Laibinis, Elena Troubitsyna, Inna Pereverzeva, Ian Oliver, Silke Holtmanns
    Pages 141-158
  9. Nguyen Minh Hai, Quan Thanh Tho, Le Duc Anh
    Pages 159-174
  10. Marco Rocchetto, Nils Ole Tippenhauer
    Pages 175-192
  11. Francesco Marconi, Marcello M. Bersani, Madalina Erascu, Matteo Rossi
    Pages 193-209
  12. Alexei Iliasov, Paulius Stankaitis, Alexander Romanovsky
    Pages 210-225
  13. Waqar Ahmad, Osman Hasan
    Pages 226-242
  14. Akira Tanaka, Reynald Affeldt, Jacques Garrigue
    Pages 243-260
  15. Madiel S. Conserva Filho, Marcel Vinicius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti
    Pages 279-295
  16. Eduard Kamburjan, Crystal Chang Din, Tzu-Chun Chen
    Pages 296-312
  17. Badr Siala, Mohamed Tahar Bhiri, Jean-Paul Bodeveix, Mamoun Filali
    Pages 313-328
  18. Shuanglong Kan, Zhiqiu Huang, Zhe Chen
    Pages 329-345
  19. Peizun Liu, Thomas Wahl
    Pages 346-362
  20. Truong Khanh Nguyen, Tian Huat Tan, Jun Sun, Jiaying Li, Yang Liu, Manman Chen et al.
    Pages 363-382
  21. Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Félix Ingrand, Anthony Mallet
    Pages 383-399
  22. Étienne André, Didier Lime, Olivier H. Roux
    Pages 400-416
  23. Saurabh Gadia, Cyrille Artho, Gedare Bloom
    Pages 417-432
  24. Min Zhang, Frédéric Mallet, Huibiao Zhu
    Pages 433-449
  25. Nuno Amálio, Richard Payne, Ana Cavalcanti, Jim Woodcock
    Pages 450-465
  26. Manuel Töws, Heike Wehrheim
    Pages 466-483
  27. Back Matter
    Pages 485-486

About these proceedings


This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.


cloud computing distributed systems formal methods model checking self-adaptive systems

Editors and affiliations

  • Kazuhiro Ogata
    • 1
  • Mark Lawford
    • 2
  • Shaoying Liu
    • 3
  1. 1.School of Information ScienceJapan Advanced Institute of Science and Technology (JAIST)NomiJapan
  2. 2.Department of Computing and SoftwareMcMaster UniversityHamiltonCanada
  3. 3.Department of Computer ScienceHosei UniversityTokyoJapan

Bibliographic information