Formal Methods and Software Engineering

21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

  • Yamine Ait-Ameur
  • Shengchao Qin
Conference proceedings ICFEM 2019

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

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

Table of contents

  1. Front Matter
    Pages i-xxi
  2. Invited Talk

    1. Front Matter
      Pages 1-1
  3. Regular Papers

    1. Front Matter
      Pages 17-17
    2. Marko Kleine Büning, Tomáš Balyo, Carsten Sinz
      Pages 19-35
    3. Yueling Zhang, Geguang Pu, Min Zhang
      Pages 36-51
    4. Hui Feng, Farhad Arbab, Marcello Bonsangue
      Pages 69-85
    5. Bohua Zhan, Zhenyan Ji, Wenfan Zhou, Chaozhu Xiang, Jie Hou, Wenhui Sun
      Pages 86-103
    6. Ximeng Li, Zhiping Shi, Qianying Zhang, Guohui Wang, Yong Guan, Ning Han
      Pages 121-137
    7. Patrick Gardy, Yuxin Deng
      Pages 138-153
    8. Leandro Gomes, Alexandre Madeira, Manisha Jain, Luis S. Barbosa
      Pages 154-169
    9. Yuan Fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin
      Pages 170-185
    10. Marko Kleine Büning, Carsten Sinz
      Pages 186-202
    11. Shuangqing Xiang, Marcello Bonsangue, Huibiao Zhu
      Pages 203-218
    12. Bai Xue, Martin Fränzle, Hengjun Zhao, Naijun Zhan, Arvind Easwaran
      Pages 236-252
    13. Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
      Pages 253-269
    14. Sylvain Conchon, Mattias Roux
      Pages 270-285
    15. Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Yan Cai, Zijiang Yang
      Pages 286-304
    16. Boubacar Demba Sall, Frédéric Peschanski, Emmanuel Chailloux
      Pages 305-321
    17. Xilong Zhuo, Chenyi Zhang
      Pages 322-335
    18. Allison Sullivan, Darko Marinov, Sarfraz Khurshid
      Pages 336-352
    19. Nikola Beneš, Luboš Brim, Samuel Pastva, Jakub Poláček, David Šafránek
      Pages 353-369
    20. Denis Poitrenaud, Etienne Renault
      Pages 370-386
    21. Junnan Xu, Wanwei Liu, David N. Jansen, Lijun Zhang
      Pages 420-437
    22. Yi Li, Xuechao Sun, Yong Li, Andrea Turrini, Lijun Zhang
      Pages 438-454
    23. Salwa Souaf, Frédéric Loulergue
      Pages 455-469
    24. Steve Jeffrey Tueno Fotso, Régine Laleau, Marc Frappier, Amel Mammar, Francois Thibodeau, Mama Nsangou Mouchili
      Pages 470-486
  4. Doctoral Symposium Papers

    1. Front Matter
      Pages 487-487
    2. Cheng-Hao Cai, Jing Sun, Gillian Dobbie
      Pages 489-492
    3. Ruitao Feng, Yang Liu, Shangwei Lin
      Pages 493-497
    4. Zhengqi Yu, Armin Biere, Keijo Heljanko
      Pages 498-502
    5. Hamid Jahanian
      Pages 503-506
  5. Back Matter
    Pages 527-528

About these proceedings


This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. 
The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the recent progress in the use and development of formal engineering methods for software and system design and record the latest development in formal engineering methods. 


Computer systems artificial intelligence software design software engineering embedded systems formal logic mathematics software architecture architecture verification and validation model checking computer hardware database systems engineering network protocols software quality

Editors and affiliations

  1. 1.IRIT/INPT - ENSEEIHTToulouseFrance
  2. 2.Teesside UniversityMiddlesbroughUK

Bibliographic information