Skip to main content
Springer Nature Link
Log in

Integrated Formal Methods

14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Carlo A. Furia

    1. Università della Svizzera Italiana, Lugano, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Kirsten Winter

    1. University of Queensland, Brisbane, Australia

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

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

Included in the following conference series:

Conference proceedings info: IFM 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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.
The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.

Similar content being viewed by others

Keywords

Table of contents (23 papers)

  1. Front Matter

    Pages I-XVI
    Download chapter PDF

  2. Modelling and Verification for Swarm Robotics

    • Ana Cavalcanti, Alvaro Miyazawa, Augusto Sampaio, Wei Li, Pedro Ribeiro, Jon Timmis
    Pages 1-19

  3. On the Industrial Uptake of Formal Methods in the Railway Domain

    • Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino et al.
    Pages 20-29

  4. Reasoning About JML: Differences Between KeY and OpenJML

    • Jan Boerman, Marieke Huisman, Sebastiaan Joosten
    Pages 30-46

  5. Design and Verification of Restart-Robust Industrial Control Software

    • Dimitri Bohlender, Stefan Kowalewski
    Pages 47-68

  6. Efficiently Characterizing the Undefined Requests of a Rule-Based System

    • Zheng Cheng, Jean-Claude Royer, Massimo Tisi
    Pages 69-88

  7. Study of Integrating Random and Symbolic Testing for Object-Oriented Software

    • Marko Dimjašević, Falk Howar, Kasper Luckow, Zvonimir Rakamarić
    Pages 89-109

  8. Making Linearizability Compositional for Partially Ordered Executions

    • Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick
    Pages 110-129

  9. Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA

    • Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell
    Pages 130-150

  10. A Precise Pictorial Language for Array Invariants

    • Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back
    Pages 151-160

  11. Robotics and Integrated Formal Methods: Necessity Meets Opportunity

    • Marie Farrell, Matt Luckcuck, Michael Fisher
    Pages 161-171

  12. Formal Modelling of Software Defined Networking

    • Vashti Galpin
    Pages 172-193

  13. Resource-Aware Virtually Timed Ambients

    • Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito
    Pages 194-213

  14. Stateful Behavioral Types for Active Objects

    • Eduard Kamburjan, Tzu-Chun Chen
    Pages 214-235

  15. Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC

    • Eun-Young Kang, Dongrui Mu, Li Huang
    Pages 236-254

  16. Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions

    • Salwa Kobeissi, Adnan Utayim, Mohamad Jaber, Yliès Falcone
    Pages 255-274

  17. State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin

    • Philipp Körner, Michael Leuschel, Jeroen Meijer
    Pages 275-295

  18. Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks

    • Ruggero Lanotte, Massimo Merro, Simone Tini
    Pages 296-315

  19. Task Planning with OMT: An Application to Production Logistics

    • Francesco Leofante, Erika Ábrahám, Armando Tacchella
    Pages 316-325

  20. Branching Temporal Logic of Calls and Returns for Pushdown Systems

    • Huu-Vu Nguyen, Tayssir Touili
    Pages 326-345
Back to top

Other volumes

  1. Integrated Formal Methods

Editors and Affiliations

  • Università della Svizzera Italiana, Lugano, Switzerland

    Carlo A. Furia

  • University of Queensland, Brisbane, Australia

    Kirsten Winter

Bibliographic Information

Publish with us

Policies and ethics

Back to top