© 2008

Leveraging Applications of Formal Methods, Verification and Validation

Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

  • Tiziana Margaria
  • Bernhard Steffen
Conference proceedings ISoLA 2008

Part of the Communications in Computer and Information Science book series (CCIS, volume 17)

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Keynote

  4. Tools and Applications in Industrial Software Quality Control

    1. Idir Ait-Sadoune, Yamine Ait-Ameur
      Pages 37-55
    2. Alexey V. Khoroshilov, Vladimir V. Rubanov, Eugene A. Shatokhin
      Pages 56-70
  5. Introduction of Multi-core Systems in Automotive Applications

    1. Torsten Polle, Michael Uelschen
      Pages 71-81
    2. Eva Beckschulze, Falk Salewski, Thomas Siegbert, Stefan Kowalewski
      Pages 82-92
    3. Daniel Kästner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister, Marek Jersak et al.
      Pages 93-107
  6. Model-Driven SOA

    1. Farhad Arbab, Natallia Kokash, Sun Meng
      Pages 108-123
    2. Bart Orriens, Willem-Jan v/d Heuvel, Mike Papazoglou
      Pages 124-138
    3. Georg Jung, Tiziana Margaria, Ralf Nagel, Wolfgang Schubert, Bernhard Steffen, Horst Voigt
      Pages 139-154
  7. Applications of Formal Approaches to Service-Oriented Computing

    1. Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes
      Pages 155-169
    2. Martin Wirsing, Matthias Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi et al.
      Pages 170-190
    3. Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone
      Pages 191-205
    4. Antonia Bertolino, Guglielmo De Angelis, Antinisca Di Marco, Paola Inverardi, Antonino Sabetta, Massimo Tivoli
      Pages 206-220
  8. Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia

About these proceedings


This book constitutes the thoroughly refereed proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Porto Sani, Greece, in October 2008

The 68  revised full papers presented together with 2 invited talks and 1 keynote speech were carefully selected from numerous submissions. The topics covered are tools and applications in industrial software quality control; an introduction of multi-core systems in automotive applications; model-driven SOA; applications of formal approaches to service-oriented computing; trustworthy computing: theories, methods, tools and experience in China and South East Asia; non-functional requirements in embedded systems; processes, methods and tools for developing educational modules to support teaching and technology transfer; ubiquitous and context aware systems; formal methods for analysing and verifying very large systems; tools for service-oriented discovery of knowledge; tackling the challenges of software development process for SMEs with rigorous support and open source.


LA Open Source design patterns formal models performance process modeling reliability requirements response-time risk management timing analysis ubiquitous computing validation verification

Editors and affiliations

  • Tiziana Margaria
    • 1
  • Bernhard Steffen
    • 2
  1. 1.Universität PotsdamPotsdamGermany
  2. 2.Technische Universität DortmundDortmundGermany

Bibliographic information

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