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
    15. Debasmita Lohar, Milos Prokop, Eva Darulova
      Pages 322-340
    16. Bjørnar Luteberget, Koen Claessen, Christian Johansen
      Pages 341-359
    17. Lina Marsso, Radu Mateescu, Ioannis Parissis, Wendelin Serwe
      Pages 360-378
    18. Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly
      Pages 379-398
    19. A. Laura Voinea, Ornela Dardha, Simon J. Gay
      Pages 437-455
    20. Fabian Vu, Dominik Hansen, Philipp Körner, Michael Leuschel
      Pages 456-473
    21. Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz
      Pages 474-492
  4. Short Papers

    1. Front Matter
      Pages 493-493
    2. Matteo Camilli, Angelo Gargantini, Rosario Madaudo, Patrizia Scandurra
      Pages 495-503
    3. Bernhard Gleiss, Laura Kovács, Lena Schnedlitz
      Pages 504-513
    4. Muhammad Osama, Anton Wijs
      Pages 514-522
  5. Journal-First Extended Abstracts

    1. Front Matter
      Pages 523-523
    2. Christian Johansen, Olaf Owe
      Pages 525-528
    3. Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani
      Pages 529-533
    4. Michael Lienhardt, Ferruccio Damiani, Lorenzo Testa, Gianluca Turin
      Pages 534-537
    5. Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
      Pages 538-541
    6. Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
      Pages 542-546
    7. Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente, Andrea Vandin
      Pages 547-551
  6. Back Matter
    Pages 553-554

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

  • DOI
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-34967-7
  • Online ISBN 978-3-030-34968-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site