Advertisement

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

  • Tiziana Margaria
  • Bernhard Steffen
Conference proceedings ISoLA 2016

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

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

Table of contents

  1. Front Matter
    Pages XI-XXXII
  2. Statistical Model Checking

    1. Front Matter
      Pages 1-1
    2. Kim G. Larsen, Axel Legay
      Pages 3-15
    3. Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner Scheinhardt
      Pages 16-26
    4. K. Kalajdzic, C. Jegourel, A. Lukina, E. Bartocci, A. Legay, S. A. Smolka et al.
      Pages 46-61
    5. Shiraj Arora, M. V. Panduranga Rao
      Pages 62-76
    6. Axel Legay, Sean Sedwards, Louis-Marie Traonouez
      Pages 77-93
    7. Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente, Andrea Vandin
      Pages 114-133
    8. Alexis Linard, Marcos L. P. Bueno
      Pages 134-150
    9. Enno Ruijters, Mariëlle Stoelinga
      Pages 151-165
  3. Evaluation and Reproducibility of Program Analysis and Verification

    1. Front Matter
      Pages 189-189
    2. Markus Schordan, Dirk Beyer, Jonas Lundberg
      Pages 191-194
    3. Dirk Beyer, Thomas Lemberger
      Pages 195-211
    4. Thomas S. Heinze, Wolfram Amme
      Pages 227-242
    5. M. Usman Iftikhar, Jonas Lundberg, Danny Weyns
      Pages 243-258
  4. ModSyn-PP: Modular Synthesis of Programs and Processes

    1. Front Matter
      Pages 259-259
    2. Boris Düdder, George T. Heineman, Jakob Rehof
      Pages 261-265
    3. Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof
      Pages 266-281
    4. Sven Jörges, Anna-Lena Lamprecht, Tiziana Margaria, Stefan Naujokat, Bernhard Steffen
      Pages 282-302
    5. George T. Heineman, Jan Bessai, Boris Düdder, Jakob Rehof
      Pages 303-317
  5. Semantic Heterogeneity in the Formal Development of Complex Systems

    1. Front Matter
      Pages 319-319
    2. J. Paul Gibson, Idir Aït-Sadoune, Marc Pantel
      Pages 321-324
    3. Zouhir Djilani, Nabila Berkani, Ladjel Bellatreche
      Pages 358-373
    4. Jim Woodcock, Simon Foster, Andrew Butterfield
      Pages 374-394
  6. Static and Runtime Verification: Competitors or Friends?

    1. Front Matter
      Pages 395-395
    2. Dilian Gurov, Klaus Havelund, Marieke Huisman, Rosemary Monahan
      Pages 397-401
    3. Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
      Pages 402-415
    4. Shaun Azzopardi, Christian Colombo, Gordon Pace
      Pages 416-430
    5. Eric Bodden, Ka I. Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert
      Pages 431-445
    6. Nikolai Kosmatov, Claude Marché, Yannick Moy, Julien Signoles
      Pages 461-478
    7. Francesco Leofante, Simone Vuotto, Erika Ábrahám, Armando Tacchella, Nils Jansen
      Pages 496-514
    8. Anna Maria Eilertsen, Anya Helene Bagge, Volker Stolz
      Pages 517-531
  7. Rigorous Engineering of Collective Adaptive Systems

    1. Front Matter
      Pages 533-533
    2. Stefan Jähnichen, Martin Wirsing
      Pages 535-538
    3. Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
      Pages 539-553
    4. Andrea Margheri, Hanne Riis Nielson, Flemming Nielson, Rosario Pugliese
      Pages 554-569
    5. Francesco Luca De Angelis, Giovanna Di Marzo Serugendo
      Pages 589-604
    6. Peter Poplavko, Rany Kahil, Dario Socci, Saddek Bensalem, Marius Bozga
      Pages 605-621
    7. Alexandra Mehlhase, Stefan Jähnichen, Amir Czwink, Robert Heinrichs
      Pages 622-638

Other volumes

  1. 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
  2. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
    7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I
  3. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

About these proceedings

Introduction

The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.


The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: statistical model checking; evaluation and reproducibility of program analysis and verification; ModSyn-PP: modular synthesis of programs and processes; semantic heterogeneity in the formal development of complex systems; static and runtime verification: competitors or friends?; rigorous engineering of collective adaptive systems; correctness-by-construction and post-hoc verification: friends or foes?; privacy and security issues in information systems; towards a unified view of modeling and programming; formal methods and safety certification: challenges in the railways domain; RVE: runtime verification and enforcement, the (industrial) application perspective; variability modeling for scalable software evolution; detecting and understanding software doping; learning systems: machine-learning in software products and learning-based analysis of software systems; testing the internet of things; doctoral symposium; industrial track; RERS challenge; and STRESS.

Keywords

adaptive systems compilers formal methods formal verification model checking model-driven engineering modeling privacy programming languages railways refinement security semantics Service-Oriented Architecture (SOA) software engineering software evolution software product lines specifications static analysis Unified Modeling Language

Editors and affiliations

  • Tiziana Margaria
    • 1
  • Bernhard Steffen
    • 2
  1. 1.LeroLimerickIreland
  2. 2.TU DortmundDortmundGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-47166-2
  • Copyright Information Springer International Publishing AG 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-47165-5
  • Online ISBN 978-3-319-47166-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site