© 2016

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

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

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment