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
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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-319-11737-9
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-11736-2
  • Online ISBN 978-3-319-11737-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349