Advertisement

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

  • Tiziana Margaria
  • Bernhard Steffen
Conference proceedings ISoLA 2018

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11246)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Rigorous Engineering of Collective Adaptive Systems

    1. Front Matter
      Pages 1-1
    2. Rocco De Nicola, Stefan Jähnichen, Martin Wirsing
      Pages 3-12
    3. Rocco De Nicola, Alessandro Maggi, Joseph Sifakis
      Pages 13-31
    4. Rolf Hennicker, Martin Wirsing
      Pages 32-47
    5. Jan Sürmeli, Stefan Jähnichen, Jeff W. Sanders
      Pages 48-62
    6. Jeremy Pitt, Kristina Milanovic, Alexander Coupland, Tim Allan, Alun Davies, Tristan Lane et al.
      Pages 63-78
    7. Dhaminda B. Abeywickrama, Marco Mamei, Franco Zambonelli
      Pages 79-93
    8. Constantin Wanninger, Christian Eymüller, Alwin Hoffmann, Oliver Kosak, Wolfgang Reif
      Pages 94-108
    9. Stefan Jähnichen, Rocco De Nicola, Martin Wirsing
      Pages 109-117
    10. André Reichstaller, Thomas Gabor, Alexander Knapp
      Pages 118-136
    11. Thomas Gabor, Marie Kiermeier, Andreas Sedlmeier, Bernhard Kempter, Cornel Klein, Horst Sauer et al.
      Pages 137-154
    12. Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem
      Pages 155-171
    13. Rima Al Ali, Tomas Bures, Petr Hnetynka, Filip Krijt, Frantisek Plasil, Jiri Vinarek
      Pages 172-185
    14. Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
      Pages 186-201
    15. Benedikt Eberhardinger, Hella Ponsar, Dominik Klumpp, Wolfgang Reif
      Pages 202-220
    16. Rui P. Cardoso, Rosaldo J. F. Rossetti, Emma Hart, David Burth Kurka, Jeremy Pitt
      Pages 221-240
    17. Lenz Belzner, Kyrill Schmid, Thomy Phan, Thomas Gabor, Martin Wirsing
      Pages 241-256
    18. Houssem Ben Mahfoudh, Giovanna Di Marzo Serugendo, Anthony Boulmier, Nabil Abdennadher
      Pages 257-273
    19. Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi
      Pages 288-303
    20. Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis
      Pages 304-320
  3. Verification and Validation of Distributed Systems

    1. Front Matter
      Pages 321-321
    2. Igor Konnov, Josef Widder
      Pages 327-342
    3. Sebastiaan Joosten, Marieke Huisman
      Pages 343-354
    4. Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
      Pages 355-374
    5. Mirella Martínez, Anna I. Esparcia-Alcázar, Tanja E. J. Vos, Pekka Aho, Joan Fons i Cors
      Pages 375-385
  4. Cyber-Physical Systems Engineering

    1. Front Matter
      Pages 405-405
    2. J. Paul Gibson, Peter Gorm Larsen, Marc Pantel, John Fitzgerald, Jim Woodcock
      Pages 407-410
    3. Daniel Müller, Christin Schumacher, Felix Zeidler
      Pages 411-428
    4. Renan Leroux, Marc Pantel, Ileana Ober, Jean-Michel Bruel
      Pages 429-448
    5. Christian F. J. König, Gerd Meisl, Natalia Balcu, Benjamin Vosseler, Henrik Hörmann, Jos Höll et al.
      Pages 461-476
    6. Jörg Brauer, Oliver Möller, Jan Peleska
      Pages 477-487
    7. Luís Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Erica Zavaglio, Pasquale Antonante, Hajer Saada et al.
      Pages 488-503
    8. Cláudio Gomes, Casper Thule, Julien Deantoni, Peter Gorm Larsen, Hans Vangheluwe
      Pages 504-520
  5. Back Matter
    Pages 521-522

Other volumes

  1. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
  2. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
  3. Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
    8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
  4. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

About these proceedings

Introduction

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. 

The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:
Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018.
Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium.
Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering.
Part IV, Industrial Practice: runtime verification from the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day. 


Keywords

artificial intelligence computer organisation systems data security formal logic formal methods Internet of Things (IoT) mathematics of computing model checking privacy program compilers programming languages security systems semantics software engineering software evaluation specifications theory of computation verification

Editors and affiliations

  • Tiziana Margaria
    • 1
  • Bernhard Steffen
    • 2
  1. 1.University of LimerickLimerickIreland
  2. 2.TU DortmundDortmundGermany

Bibliographic information

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