© 2017

Formal Methods and Software Engineering

19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

  • Zhenhua Duan
  • Luke Ong
Conference proceedings ICFEM 2017

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

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

Table of contents

  1. Front Matter
    Pages I-XVII
  2. Invited Talk

  3. Contributed Papers

    1. Front Matter
      Pages 17-17
    2. Fabian Benduhn, Thomas Thüm, Ina Schaefer, Gunter Saake
      Pages 19-35
    3. Taolue Chen, Fu Song, Zhilin Wu
      Pages 36-53
    4. Yihai Chen, Bofang Zhang, Ridha Khedri, Huaikou Miao
      Pages 71-87
    5. Sylvain Conchon, David Declerck, Fatiha Zaïdi
      Pages 88-104
    6. Patrick Doolan, Graeme Smith, Chenyi Zhang, Padmanabhan Krishnan
      Pages 105-121
    7. Zhao Duan, Cong Tian, Zhenhua Duan
      Pages 122-139
    8. Marie Farrell, Rosemary Monahan, James F. Power
      Pages 140-156
    9. Long H. Pham, Ly Ly Tran Thi, Jun Sun
      Pages 174-191
    10. Hao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su, Jian Zhang, Jun Yan
      Pages 192-208
    11. Juliana K. F. Bowles, Marco B. Caminati
      Pages 209-225
    12. Xuan-Bach Le, Thanh-Toan Nguyen, Wei-Ngan Chin, Aquinas Hobor
      Pages 226-242
    13. Jiaying Li, Jun Sun, Bo Gao, Étienne André
      Pages 243-261
    14. Li Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu et al.
      Pages 262-280

About these proceedings


This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017. 
The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.


software engineering verification validation formal specification and modeling software security software reliability

Editors and affiliations

  • Zhenhua Duan
    • 1
  • Luke Ong
    • 2
  1. 1.Xidian UniversityXi’anChina
  2. 2.University of OxfordOxfordUnited Kingdom

Bibliographic information