Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

  • Tiziana Margaria
  • Bernhard Steffen

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

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

Table of contents

  1. Front Matter
    Pages I-XXIV
  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-10
    3. Anne E. Haxthausen, Jan Peleska
      Pages 32-49
    4. Zsolt Lattmann, Tamás Kecskés, Patrik Meijer, Gábor Karsai, Péter Völgyesi, Ákos Lédeczi
      Pages 68-79
    5. Gary T. Leavens, David Naumann, Hridesh Rajan, Tomoyuki Aotani
      Pages 80-96
    6. Nicolas F. Rouquette
      Pages 97-118
    7. Andreas Prinz, Birger Møller-Pedersen, Joachim Fischer
      Pages 119-130
    8. Francesca Rybicki, Steven Smyth, Christian Motika, Alexander Schulz-Rosengarten, Reinhard von Hanxleden
      Pages 150-170
    9. Peter Gorm Larsen, John Fitzgerald, Jim Woodcock, René Nilsson, Carl Gamble, Simon Foster
      Pages 171-186
    10. Timothy C. Lethbridge, Vahdat Abdelzad, Mahmoud Husseini Orabi, Ahmed Husseini Orabi, Opeyemi Adesina
      Pages 187-197
    11. Hilding Elmqvist, Toivo Henningsson, Martin Otter
      Pages 198-217
    12. Stefan Naujokat, Johannes Neubauer, Tiziana Margaria, Bernhard Steffen
      Pages 218-237
    13. Manfred Broy, Klaus Havelund, Rahul Kumar
      Pages 238-257
  3. Formal Methods and Safety Certification: Challenges in the Railways Domain

    1. Front Matter
      Pages 259-259

Other volumes

  1. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I
  2. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
    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 (UML)

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-47169-3
  • Copyright Information Springer International Publishing AG 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-47168-6
  • Online ISBN 978-3-319-47169-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering