Skip to main content
SpringerLink
Log in
Book cover

Formal Methods for Industrial Critical Systems

23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Falk Howar

    1. Technical University of Dortmund, Dortmund, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jiří Barnat

    1. Masaryk University, Brno, Czech Republic

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

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

Included in the following conference series:

Conference proceedings info: FMICS 2018.

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 (19 papers)

  1. Front Matter

    Pages I-XVI
    Download chapter PDF

  2. Invited Talks

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds

      • Tiziana Margaria
      Pages 3-18

    3. Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory

      • Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gössler
      Pages 19-31

  3. Formal Methods for Industrial Critical Systems

    1. Front Matter

      Pages 33-33
      Download chapter PDF

    2. Automated Functional Safety Analysis of Automated Driving Systems

      • Martin Kölbl, Stefan Leue
      Pages 35-51

    3. Safety Interlocking as a Distributed Mutual Exclusion Problem

      • Alessandro Fantechi, Anne E. Haxthausen
      Pages 52-66

    4. Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL

      • Jan Toennemann, Andreas Rausch, Falk Howar, Benjamin Cool
      Pages 67-82

    5. Formal Verification of a Programmable Hypersurface

      • Panagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julius Georgiou, Loukas Petrou, Andreas Pitsillides
      Pages 83-97

    6. Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset

      • Maarten Bartholomeus, Bas Luttik, Tim Willemse
      Pages 98-114

    7. Progress Checking for Dummies

      • Antti Valmari, Henri Hansen
      Pages 115-130

    8. Virtual Integration for Pattern-Based Contracts with the Kind2 Model Checker

      • Jan Steffen Becker
      Pages 131-146

    9. Active Mining of Document Type Definitions

      • Markus Frohme, Bernhard Steffen
      Pages 147-161

    10. Adaptive Learning for Learn-Based Regression Testing

      • David Huistra, Jeroen Meijer, Jaco van de Pol
      Pages 162-177

  4. Essays Dedicated to Susanne Graf on the Occasion of Her 60th Birthday

    1. Front Matter

      Pages 179-180
      Download chapter PDF

    2. Predicate Abstraction and Such...

      • Bernhard Steffen, Tiziana Margaria
      Pages 181-188

    3. Compositional Verification in Action

      • Hubert Garavel, Frédéric Lang, Laurent Mounier
      Pages 189-210

    4. A Note on Refinement in Hierarchical Transition Systems

      • Gerald Lüttgen
      Pages 211-222

    5. M3C: Modal Meta Model Checking

      • Bernhard Steffen, Alnis Murtovi
      Pages 223-241

    6. Wholly!: A Build System For The Modern Software Stack

      • Loic Gelle, Hassen Saidi, Ashish Gehani
      Pages 242-257
Back to top

Other volumes

  1. Formal Methods for Industrial Critical Systems

Keywords

About this book

This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018.

The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions. The book also contains two invited talks in full-paper length. In addition, there are 8 invited contributions in honor of Susanne Graf (Director of Research at VERIMAG Grenoble, France) on the occasion of her 60th birthday.

The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.





Editors and Affiliations

  • Technical University of Dortmund, Dortmund, Germany

    Falk Howar

  • Masaryk University, Brno, Czech Republic

    Jiří Barnat

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation