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
    15. Si Liu, Peter Csaba Ölveczky, Jatin Ganhotra, Indranil Gupta, José Meseguer
      Pages 298-314
    16. Yunhao Liu, Xiaohong Li, Zhiyong Feng, Jianye Hao
      Pages 315-331
    17. Adnan Rashid, Osman Hasan
      Pages 345-361
    18. Manuel Töws, Heike Wehrheim
      Pages 362-378
    19. Jingyi Wang, Xiaohong Chen, Jun Sun, Shengchao Qin
      Pages 379-395
    20. Yuwei Wang, Yunqing Wen, Guoqiang Li, Shoji Yuen
      Pages 396-412
    21. Tingting Wu, Yunwei Dong, Tsong Yueh Chen, Mingyue Jiang, Man Lau, Fei-Ching Kuo et al.
      Pages 413-429
    22. Zhiwu Xu, Cheng Wen, Shengchao Qin
      Pages 430-446
    23. Yi Yin, Yuichiro Tateiwa, Yun Wang, Yoshiaki Katayama, Naohisa Takahashi
      Pages 447-463
    24. Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns
      Pages 481-495
  4. Back Matter
    Pages 497-498

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

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