Advertisement

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

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

  • Tiziana Margaria
  • Bernhard Steffen
Conference proceedings ISoLA 2018

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

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

Table of contents

  1. Front Matter
    Pages I-XV
  2. Towards a Unified View of Modeling and Programming

    1. Front Matter
      Pages 1-1
    2. Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen
      Pages 3-21
    3. Neil D. Jones
      Pages 22-34
    4. Stefan Hallerstede, Peter Gorm Larsen, John Fitzgerald
      Pages 52-68
    5. Marieke Huisman
      Pages 111-118
    6. Cezar Ionescu, Patrik Jansson, Nicola Botta
      Pages 119-133
    7. Liam O’Connor, Zilin Chen, Partha Susarla, Christine Rizkallah, Gerwin Klein, Gabriele Keller
      Pages 134-149
    8. Rance Cleaveland
      Pages 150-161
    9. Klaus Havelund, Rajeev Joshi
      Pages 184-205
    10. Ole Lehrmann Madsen, Birger Møller-Pedersen
      Pages 206-224
    11. John Hatcliff, Brian R. Larson, Jason Belt, Robby, Yi Zhang
      Pages 225-245
    12. Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden
      Pages 246-260
    13. Gabor Karsai
      Pages 295-308
    14. Steve Boßelmann, Stefan Naujokat, Bernhard Steffen
      Pages 340-356
  3. X-by-Construction

    1. Front Matter
      Pages 357-357
    2. Maurice H. ter Beek, Loek Cleophas, Ina Schaefer, Bruce W. Watson
      Pages 359-364
    3. Marieke Huisman, Stefan Blom, Saeed Darabi, Mohsen Safari
      Pages 365-380
    4. Michael Lybecait, Dawid Kopetzki, Bernhard Steffen
      Pages 381-398
    5. Dominic Steinhöfel, Reiner Hähnle
      Pages 424-447
    6. Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Christoph Seidl, Silvia Lizeth Tapia Tarifa
      Pages 448-465
    7. Mirco Tribastone
      Pages 466-470
    8. Gerardo Schneider
      Pages 471-485
    9. Thomas Given-Wilson, Axel Legay
      Pages 486-501
    10. Ina Schaefer, Tobias Runge, Alexander Knüppel, Loek Cleophas, Derrick Kourie, Bruce W. Watson
      Pages 502-515
  4. STRESS 2018

    1. Front Matter
      Pages 517-517
    2. Michael Lybecait, Dawid Kopetzki, Philip Zweihoff, Annika Fuhge, Stefan Naujokat, Bernhard Steffen
      Pages 519-538
    3. Robby, John Hatcliff, Jason Belt
      Pages 539-545
    4. Frederik Gossen, Tiziana Margaria, Alnis Murtovi, Stefan Naujokat, Bernhard Steffen
      Pages 546-564
    5. Fabrizio Biondi, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf
      Pages 565-586
  5. Back Matter
    Pages 587-588

Other volumes

  1. Leveraging Applications of Formal Methods, Verification and Validation. Modeling
    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. 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-03418-4
  • Copyright Information Springer Nature Switzerland AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-03417-7
  • Online ISBN 978-3-030-03418-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site