© 2019

Integrated Formal Methods

15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

  • Wolfgang Ahrendt
  • Silvia Lizeth Tapia Tarifa
Conference proceedings IFM 2019

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

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

Table of contents

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

    1. Front Matter
      Pages 1-1
    2. Tiziana Margaria, Alexander Schieweck
      Pages 3-24
  3. Regular Papers

    1. Front Matter
      Pages 25-25
    2. Nikola Beneš, Luboš Brim, Martin Geletka, Samuel Pastva, David Šafránek
      Pages 27-45
    3. Achim D. Brucker, Burkhart Wolff
      Pages 65-82
    4. Richard Bubel, Reiner Hähnle, Asmae Heydari Tabar
      Pages 83-100
    5. Marek Chalupa, Jan Strejček
      Pages 101-119
    6. Carlos Diego N. Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simao
      Pages 138-156
    7. Frank S. de Boer, Hans-Dieter A. Hiep
      Pages 157-174
    8. Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre
      Pages 175-193
    9. Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
      Pages 194-211
    10. Renáta Hodován, Dániel Vince, Ákos Kiss
      Pages 212-226
    11. Ramon Janssen, Frits Vaandrager, Jan Tretmans
      Pages 246-264
    12. Sebastian Krings, Michael Leuschel
      Pages 265-283
    13. J. Bowles, M. B. Caminati
      Pages 284-302
    14. Ruggero Lanotte, Simone Tini
      Pages 303-321

About these proceedings


This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.

The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.


artificial intelligence computer architecture data security formal logic formal methods formal specification graph theory internet model checking programming languages robotics semantics software engineering software evaluation specifications theorem proving verification web services World Wide Web

Editors and affiliations

  1. 1.Chalmers University of TechnologyGothenburgSweden
  2. 2.University of OsloOsloNorway

Bibliographic information