Advertisement

Integrated Formal Methods

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

  • Carlo A. Furia
  • Kirsten Winter

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
  19. Joshua Schmidt, Sebastian Krings, Michael Leuschel
    Pages 346-366
  20. Hendrik Simon, Stefan Kowalewski
    Pages 367-376
  21. Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Michael Leuschel
    Pages 377-397
  22. Rob van Glabbeek, Peter Höfner, Djurre van der Wal
    Pages 398-418
  23. Back Matter
    Pages 419-420

About these proceedings

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-319-98938-9
  • Copyright Information Springer Nature Switzerland AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-98937-2
  • Online ISBN 978-3-319-98938-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site