Skip to main content
SpringerLink
Log in
Book cover

Leveraging Applications of Formal Methods, Verification and Validation

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

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Tiziana Margaria

    1. Institut für Informatik, Universität Potsdam, Potsdam, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bernhard Steffen

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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)

Included in the following conference series:

Conference proceedings info: ISoLA 2012.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (45 papers)

  1. Front Matter

    Download chapter PDF

  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. Eternal Embedded Software: Towards Innovation Experiment Systems

      • Jan Bosch, Ulrik Eklund
      Pages 19-31

    4. A Liskov Principle for Delta-Oriented Programming

      • Reiner Hähnle, Ina Schaefer
      Pages 32-46

    5. Scientific Workflows: Eternal Components, Changing Interfaces, Varying Compositions

      • Anna-Lena Lamprecht, Tiziana Margaria
      Pages 47-63

    6. An Object Group-Based Component Model

      • Michaël Lienhardt, Mario Bravetti, Davide Sangiorgi
      Pages 64-78

    7. 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

    8. Model-Based Compatibility Checking of System Modifications

      • Arnd Poetzsch-Heffter, Christoph Feller, Ilham W. Kurnia, Yannick Welsch
      Pages 97-111

    9. 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. Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines

      • Ferruccio Damiani, Ina Schaefer
      Pages 193-207

    7. 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

    8. Parameterized Preorder Relations for Model-Based Testing of Software Product Lines

      • Malte Lochau, Jochen Kamischke
      Pages 223-237

    9. SmartTies – Management of Safety-Critical Developments

      • Serge Autexier, Dominik Dietrich, Dieter Hutter, Christoph Lüth, Christian Maeder
      Pages 238-252

    10. Tracking Behavioral Constraints during Object-Oriented Software Evolution

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

Other volumes

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

  2. Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies

Keywords

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 development 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.

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

Publish with us

Policies and ethics

Back to top

Search

Navigation