© 2018

Integrated Formal Methods

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

  • Carlo A. Furia
  • Kirsten Winter
Conference proceedings IFM 2018

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 11023)

Table of contents

  1. Front Matter
    Pages I-XVI
  2. Ana Cavalcanti, Alvaro Miyazawa, Augusto Sampaio, Wei Li, Pedro Ribeiro, Jon Timmis
    Pages 1-19
  3. Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino et al.
    Pages 20-29
  4. Jan Boerman, Marieke Huisman, Sebastiaan Joosten
    Pages 30-46
  5. Dimitri Bohlender, Stefan Kowalewski
    Pages 47-68
  6. Zheng Cheng, Jean-Claude Royer, Massimo Tisi
    Pages 69-88
  7. Marko Dimjašević, Falk Howar, Kasper Luckow, Zvonimir Rakamarić
    Pages 89-109
  8. Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick
    Pages 110-129
  9. Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell
    Pages 130-150
  10. Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back
    Pages 151-160
  11. Marie Farrell, Matt Luckcuck, Michael Fisher
    Pages 161-171
  12. Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito
    Pages 194-213
  13. Eduard Kamburjan, Tzu-Chun Chen
    Pages 214-235
  14. Salwa Kobeissi, Adnan Utayim, Mohamad Jaber, Yliès Falcone
    Pages 255-274
  15. Philipp Körner, Michael Leuschel, Jeroen Meijer
    Pages 275-295
  16. Ruggero Lanotte, Massimo Merro, Simone Tini
    Pages 296-315
  17. Francesco Leofante, Erika Ábrahám, Armando Tacchella
    Pages 316-325
  18. Huu-Vu Nguyen, Tayssir Touili
    Pages 326-345

About these proceedings


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.


artificial intelligence computer architecture data security formal logic formal methods network security programming languages semantics software engineering software evaluation specifications theorem proving verification

Editors and affiliations

  • Carlo A. Furia
    • 1
  • Kirsten Winter
    • 2
  1. 1.Università della Svizzera ItalianaLuganoSwitzerland
  2. 2.University of QueenslandBrisbaneAustralia

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment