Skip to main content
SpringerLink
Log in

Integrated Formal Methods

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

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Wolfgang Ahrendt

    1. Chalmers University of Technology, Gothenburg, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Silvia Lizeth Tapia Tarifa

    1. University of Oslo, Oslo, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: IFM 2019.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (35 papers)

  1. Front Matter

    Pages i-xvii
    Download chapter PDF

  2. Invited Talk

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. The Digital Thread in Industry 4.0

      • Tiziana Margaria, Alexander Schieweck
      Pages 3-24

  3. Regular Papers

    1. Front Matter

      Pages 25-25
      Download chapter PDF

    2. Accelerating Parameter Synthesis Using Semi-algebraic Constraints

      • Nikola Beneš, Luboš Brim, Martin Geletka, Samuel Pastva, David Šafránek
      Pages 27-45

    3. Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming

      • Tuur Benoit, Bart Jacobs
      Pages 46-64

    4. Using Ontologies in Formal Developments Targeting Certification

      • Achim D. Brucker, Burkhart Wolff
      Pages 65-82

    5. A Program Logic for Dependence Analysis

      • Richard Bubel, Reiner Hähnle, Asmae Heydari Tabar
      Pages 83-100

    6. Evaluation of Program Slicing in Software Verification

      • Marek Chalupa, Jan Strejček
      Pages 101-119

    7. Integrated Model-Checking for the Design of Safe and Efficient Distributed Software Commissioning

      • Helene Coullon, Claude Jard, Didier Lime
      Pages 120-137

    8. Learning to Reuse: Adaptive Model Learning for Evolving Systems

      • Carlos Diego N. Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simao
      Pages 138-156

    9. Axiomatic Characterization of Trace Reachability for Concurrent Objects

      • Frank S. de Boer, Hans-Dieter A. Hiep
      Pages 157-174

    10. Dynamic Reconfigurations in Frequency Constrained Data Flow

      • Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre
      Pages 175-193

    11. Ontology-Mediated Probabilistic Model Checking

      • Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
      Pages 194-211

    12. Fuzzing JavaScript Environment APIs with Interdependent Function Calls

      • Renáta Hodován, Dániel Vince, Ákos Kiss
      Pages 212-226

    13. Dione: A Protocol Verification System Built with Dafny for I/O Automata

      • Chiao Hsieh, Sayan Mitra
      Pages 227-245

    14. Relating Alternating Relations for Conformance and Refinement

      • Ramon Janssen, Frits Vaandrager, Jan Tretmans
      Pages 246-264

    15. Embedding SMT-LIB into B for Interactive Proof and Constraint Solving

      • Sebastian Krings, Michael Leuschel
      Pages 265-283

    16. An Integrated Approach to a Combinatorial Optimisation Problem

      • J. Bowles, M. B. Caminati
      Pages 284-302

    17. Computing Bisimilarity Metrics for Probabilistic Timed Automata

      • Ruggero Lanotte, Simone Tini
      Pages 303-321
Back to top

Other volumes

  1. Integrated Formal Methods

Keywords

About this book

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.


Editors and Affiliations

  • Chalmers University of Technology, Gothenburg, Sweden

    Wolfgang Ahrendt

  • University of Oslo, Oslo, Norway

    Silvia Lizeth Tapia Tarifa

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation