Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2018

Integrated Formal Methods

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

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)

Conference series link(s): IFM: International Conference on Integrated Formal Methods

Conference proceedings info: IFM 2018.

Sections

Buy it now

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

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

Table of contents (23 papers)

  1. Front Matter

    Pages I-XVI
    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

  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

  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

Back to top

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.

Back to top

Keywords

Back to top

Editors and Affiliations

  • Università della Svizzera Italiana, Lugano, Switzerland

    Carlo A. Furia

  • University of Queensland, Brisbane, Australia

    Kirsten Winter

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation