Skip to main content
SpringerLink
Log in
Book cover

Leveraging Applications of Formal Methods, Verification, and Validation

4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Tiziana Margaria

    1. Institute for Informatics, University of Potsdam, Potsdam, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bernhard Steffen

    1. Technical University of Dortmund, Dortmund, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: ISoLA 2010.

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 (46 papers)

  1. Front Matter

    Download chapter PDF

  2. EternalS: Mission and Roadmap

    1. Introduction to the EternalS Track: Trustworthy Eternal Systems via Evolving Software, Data and Knowledge

      • Alessandro Moschitti
      Pages 1-2

    2. HATS: Highly Adaptable and Trustworthy Software Using Formal Methods

      • Reiner Hähnle
      Pages 3-8

    3. SecureChange: Security Engineering for Lifelong Evolvable Systems

      • Riccardo Scandariato, Fabio Massacci
      Pages 9-12

    4. 3DLife: Bringing the Media Internet to Life

      • Ebroul Izquierdo, Tomas Piatrik, Qianni Zhang
      Pages 13-14

    5. LivingKnowledge: Kernel Methods for Relational Learning and Semantic Modeling

      • Alessandro Moschitti
      Pages 15-19

    6. Task Forces in the EternalS Coordination Action

      • Reiner Hähnle
      Pages 20-22

    7. Modeling and Analyzing Diversity

      • Ina Schaefer
      Pages 23-25

    8. Modeling and Managing System Evolution

      • Michael Hafner
      Pages 26-29

    9. Self-adaptation and Evolution by Learning

      • Richard Johansson
      Pages 30-31

    10. Overview of Roadmapping by EternalS

      • Jim Clarke, Keith Howker
      Pages 32-34

  3. Formal Methods in Model-Driven Development for Service-Oriented and Cloud Computing

    1. Adaptive Composition of Conversational Services through Graph Planning Encoding

      • Pascal Poizat, Yuhong Yan
      Pages 35-50

    2. Performance Prediction of Service-Oriented Systems with Layered Queueing Networks

      • Mirco Tribastone, Philip Mayer, Martin Wirsing
      Pages 51-65

    3. Error Handling: From Theory to Practice

      • Ivan Lanese, Fabrizio Montesi
      Pages 66-81

    4. Modeling and Reasoning about Service Behaviors and Their Compositions

      • Aida ÄŒauÅ¡ević, Cristina Seceleanu, Paul Pettersson
      Pages 82-96

    5. Design and Verification of Systems with Exogenous Coordination Using Vereofy

      • Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz, Wolfgang Leister
      Pages 97-111

    6. A Case Study in Model-Based Adaptation of Web Services

      • Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel
      Pages 112-126

  4. Quantitative Verification in Practice

    1. Quantitative Verification in Practice

      • Boudewijn R. Haverkort, Joost-Pieter Katoen, Kim G. Larsen
      Pages 127-127

    2. Ten Years of Performance Evaluation for Concurrent Systems Using CADP

      • Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, Wendelin Serwe
      Pages 128-142

    3. Towards Dynamic Adaptation of Probabilistic Systems

      • S. Andova, L. P. J. Groenewegen, E. P. de Vink
      Pages 143-159
Back to top

Other volumes

  1. Leveraging Applications of Formal Methods, Verification, and Validation

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

Keywords

Editors and Affiliations

  • Institute for Informatics, University of Potsdam, Potsdam, Germany

    Tiziana Margaria

  • Technical University of Dortmund, Dortmund, Germany

    Bernhard Steffen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation