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
Conference proceedings ISoLA 2016

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
    2. Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi
      Pages 261-265
    3. Anne E. Haxthausen, Peter H. Østergaard
      Pages 266-278
    4. Hugo D. Macedo, Alessandro Fantechi, Anne E. Haxthausen
      Pages 279-293
    5. Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Helen Treharne, Xu Wang
      Pages 294-296
    6. Franco Mazzanti, Alessio Ferrari, Giorgio O. Spagnolo
      Pages 297-314
    7. Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
      Pages 315-330
  4. RVE: Runtime Verification and Enforcement, the (Industrial) Application Perspective

    1. Front Matter
      Pages 331-331
    2. Giles Reger, Klaus Havelund
      Pages 339-355
    3. Raphaël Khoury, Sylvain Hallé, Omar Waldmann
      Pages 356-362
    4. Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers
      Pages 363-370
    5. Thang Nguyen, Ezio Bartocci, Dejan Ničković, Radu Grosu, Stefan Jaksic, Konstantin Selyunin
      Pages 371-379
    6. Martin Leucker, Malte Schmitz, Danilo à Tellinghusen
      Pages 380-387
    7. Sean Kauffman, Rajeev Joshi, Klaus Havelund
      Pages 394-399
    8. Christian Colombo, Gordon J. Pace, Luke Camilleri, Claire Dimech, Reuben Farrugia, Jean Paul Grech et al.
      Pages 400-406
    9. Gordon J. Pace, Raúl Pardo, Gerardo Schneider
      Pages 407-412
  5. Variability Modeling for Scalable Software Evolution

    1. Front Matter
      Pages 421-421
    2. Ferruccio Damiani, Christoph Seidl, Ingrid Chieh Yu
      Pages 423-432
    3. Reiner Hähnle, Radu Muschevici
      Pages 433-446
    4. Eldar Khalilov, Jordan Ross, Michał Antkiewicz, Markus Völter, Krzysztof Czarnecki
      Pages 447-464
    5. Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Laura Semini
      Pages 465-481
    6. Einar Broch Johnsen, Jia-Chun Lin, Ingrid Chieh Yu
      Pages 482-496
    7. Cristina Chesta, Ferruccio Damiani, Liudmila Dobriakova, Marco Guernieri, Simone Martini, Michael Nieke et al.
      Pages 497-511
    8. Ştefan Stănciulescu, Daniela Rabiser, Christoph Seidl
      Pages 512-530
    9. Andrea Rosà, Yudi Zheng, Haiyang Sun, Omar Javed, Walter Binder
      Pages 531-546
    10. David Wille, Michael Tiede, Sandro Schulze, Christoph Seidl, Ina Schaefer
      Pages 547-562
    11. Michael Nieke, Jacopo Mauro, Christoph Seidl, Ingrid Chieh Yu
      Pages 563-578

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. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I
  3. 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


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. 


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

Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment