Skip to main content
  • Conference proceedings
  • © 2012

Leveraging Applications of Formal Methods, Verification and Validation

5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

  • Fast track conference proceedings

  • Unique visibility

  • State of the art research

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): ISoLA: International Symposium on Leveraging Applications of Formal Methods

Conference proceedings info: ISoLA 2012.

Buying options

eBook USD 79.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-34026-0
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (45 papers)

  1. Front Matter

  2. Adaptable and Evolving Software for Eternal Systems

    1. Adaptable and Evolving Software for Eternal Systems

      • Reiner Hähnle, Ina Schaefer
      Pages 1-3
    2. Challenges in Defining a Programming Language for Provably Correct Dynamic Analyses

      • Eric Bodden, Andreas Follner, Siegfried Rasthofer
      Pages 4-18
    3. A Liskov Principle for Delta-Oriented Programming

      • Reiner Hähnle, Ina Schaefer
      Pages 32-46
    4. An Object Group-Based Component Model

      • Michaël Lienhardt, Mario Bravetti, Davide Sangiorgi
      Pages 64-78
    5. Automated Inference of Models for Black Box Systems Based on Interface Descriptions

      • Maik Merten, Falk Howar, Bernhard Steffen, Patrizio Pellicione, Massimo Tivoli
      Pages 79-96
    6. Model-Based Compatibility Checking of System Modifications

      • Arnd Poetzsch-Heffter, Christoph Feller, Ilham W. Kurnia, Yannick Welsch
      Pages 97-111
    7. A Generic Platform for Model-Based Regression Testing

      • Philipp Zech, Michael Felderer, Philipp Kalb, Ruth Breu
      Pages 112-126
  3. Approaches for Mastering Change

    1. Approaches for Mastering Change

      • Ina Schaefer, Malte Lochau, Martin Leucker
      Pages 127-130
    2. A Formal Approach to Software Product Families

      • Martin Leucker, Daniel Thoma
      Pages 131-145
    3. A Compositional Framework to Derive Product Line Behavioural Descriptions

      • Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
      Pages 146-161
    4. Delta-Oriented Monitor Specification

      • Eric Bodden, Kevin Falzon, Ka I. Pun, Volker Stolz
      Pages 162-177
    5. Conflict Detection in Delta-Oriented Programming

      • Michäel Lienhardt, Dave Clarke
      Pages 178-192
    6. A Vision for Behavioural Model-Driven Validation of Software Product Lines

      • Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans et al.
      Pages 208-222
    7. SmartTies – Management of Safety-Critical Developments

      • Serge Autexier, Dominik Dietrich, Dieter Hutter, Christoph Lüth, Christian Maeder
      Pages 238-252
    8. Tracking Behavioral Constraints during Object-Oriented Software Evolution

      • Johan Dovland, Einar Broch Johnsen, Ingrid Chieh Yu
      Pages 253-268

Other Volumes

  1. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

    5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
  2. Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies

    5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

About this book

The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.
The two volumes contain papers presented in the topical sections on adaptable and evolving software for eternal systems, approaches for mastering change, runtime verification: the application perspective, model-based testing and model inference, learning techniques for software verification and validation, LearnLib tutorial: from finite automata to register interface programs, RERS grey-box challenge 2012, Linux driver verification, bioscientific data processing and modeling, process and data integration in the networked healthcare, timing constraints: theory meets practice, formal methods for the developent and certification of X-by-wire control systems, quantitative modelling and analysis, software aspects of robotic systems, process-oriented geoinformation systems and applications, handling heterogeneity in formal development of HW and SW Systems.

Keywords

  • automata
  • concurrent programs
  • model checking
  • scientific workflows
  • software product lines

Editors and Affiliations

  • Institut für Informatik, Universität Potsdam, Potsdam, Germany

    Tiziana Margaria

  • Fakultät für Informatik, Technische Universität Dortmund, Dortmund, Germany

    Bernhard Steffen

Bibliographic Information

Buying options

eBook USD 79.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-34026-0
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.99
Price excludes VAT (USA)