Formal Methods and Software Engineering

16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings

  • Stephan Merz
  • Jun Pang
Conference proceedings ICFEM 2014

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

Table of contents

  1. Front Matter
  2. Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
    Pages 1-10
  3. Alexandre Boulgakov, Thomas Gibson-Robinson, A. W. Roscoe
    Pages 11-26
  4. Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi
    Pages 27-42
  5. Gustavo Carvalho, Ana Carvalho, Eduardo Rocha, Ana Cavalcanti, Augusto Sampaio
    Pages 43-58
  6. Xiaohong Chen, Jun Sun, Meng Sun
    Pages 59-74
  7. Ştefan Ciobâcă, Dorel Lucanu, Vlad Rusu, Grigore Roşu
    Pages 75-90
  8. Gabriel Ciobanu, Armand Stefan Rotaru
    Pages 91-106
  9. Francesco De Angelis, Maria Rita Di Berardini, Henry Muccini, Andrea Polini
    Pages 107-122
  10. Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini
    Pages 155-170
  11. Lin Gui, Jun Sun, Songzheng Song, Yang Liu, Jin Song Dong
    Pages 171-186
  12. Tobias Isenberg, Heike Wehrheim
    Pages 203-218
  13. Fatma Jebali, Frédéric Lang, Radu Mateescu
    Pages 219-234
  14. Mounira Kezadri Hamiaz, Marc Pantel, Benoit Combemale, Xavier Thirioux
    Pages 235-250
  15. Ton Chanh Le, Cristian Gherghina, Aquinas Hobor, Wei-Ngan Chin
    Pages 267-283
  16. Li Li, Hong Hu, Jun Sun, Yang Liu, Jin Song Dong
    Pages 284-299
  17. Li Li, Jun Sun, Yang Liu, Jin Song Dong
    Pages 300-315
  18. Liya Liu, Vincent Aravantinos, Osman Hasan, Sofiène Tahar
    Pages 316-331
  19. Si Liu, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta, José Meseguer
    Pages 332-347
  20. Su Liu, Reng Zeng, Zhuo Sun, Xudong He
    Pages 348-363
  21. Shohei Mochizuki, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
    Pages 364-379
  22. Cécile Braunstein, Anne E. Haxthausen, Wen-ling Huang, Felix Hübner, Jan Peleska, Uwe Schulze et al.
    Pages 380-395
  23. Zhimin Wu, Yang Liu, Yun Liang, Jun Sun
    Pages 413-429
  24. Gaogao Yan, Xue-Yang Zhu, Rongjie Yan, Guangyuan Li
    Pages 430-445
  25. Nan Zhang, Zhenhua Duan, Cong Tian
    Pages 446-458
  26. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.


concurrernt systems formal approaches to software testing formal methods formal methods and theory of security formal methods in biology and healthcare logic and verification model checking semantics and reasoning software certification software design and verification software reliability software safety specification languages symbolic computations system modeling

Editors and affiliations

  • Stephan Merz
    • 1
  • Jun Pang
    • 2
  1. 1.Inria Nancy - Grand EstVillers-lès-NancyFrance
  2. 2.Université du LuxembourgLuxembourgLuxembourg

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-11736-2
  • Online ISBN 978-3-319-11737-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site