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

    1. Xiaodong Ma, Ji Wang, Wei Dong
      Pages 252-261
    2. Zhao Jianhua, Wang Linzhang, Li Xuandong
      Pages 262-276
    3. Bican Xia, Lu Yang, Naijun Zhan
      Pages 277-291
    4. Liang Guo, Abhik Roychoudhury
      Pages 292-306
    5. Jun Sun, Yang Liu, Jin Song Dong
      Pages 307-322
    6. Long Quan, Qiu Zongyan, Zhiming Liu
      Pages 323-338
    7. Zhiming Liu, Charles Morisset, Volker Stolz
      Pages 339-353
  9. Non-functional Requirements in Embedded Systems

    1. Boris Langer, Michael Tautschnig
      Pages 354-368
    2. Michael Paulitsch, Harald Ruess, Maria Sorea
      Pages 369-384
    3. Zhonglei Wang, Wolfgang Haberl, Andreas Herkersdorf, Martin Wechs
      Pages 385-399
    4. Stefan Kugele, Wolfgang Haberl, Michael Tautschnig, Martin Wechs
      Pages 400-414
    5. Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter Puschner
      Pages 430-444
    6. Jan Gustafsson, Björn Lisper, Markus Schordan, Christian Ferdinand, Peter Gliwa, Marek Jersak et al.
      Pages 445-459
  10. Processes, Methods and Tools for Developing Educational Modules to Support Teaching and Technology Transfer

    1. Dmitrij Koznov, Michel Pliskin
      Pages 478-489
    2. Tiziana Margaria, Bernhard Steffen
      Pages 490-502
  11. Ubiquitous and Context Aware Systems

    1. Isabel Cafezeiro, José Viterbo, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler
      Pages 519-533
    2. Patricia Seefelder de Assis, Daniel Schwabe
      Pages 548-560
    3. Karin K. Breitman, Michael G. Hinchey
      Pages 561-571
    4. Markus Bajohr, Tiziana Margaria
      Pages 572-586
    5. Rodrigo O. Spínola, Felipe C. R. Pinto, Guilherme H. Travassos
      Pages 587-603
  12. Formal Methods for Analysing and Verifying Very Large Systems

    1. Robert Mittermayr, Johann Blieberger
      Pages 619-633
    2. Eva Kühn, Richard Mordinyi, Christian Schreiber
      Pages 634-648
  13. Tools for Service-Oriented Discovery of Knowledge

    1. Jeroen de Bruin, Joost N. Kok, Nada Lavrac, Igor Trajkovski
      Pages 649-662
    2. Fabrice Colas, Ingrid Meulenbelt, Jeanine J. Houwing-Duistermaat, Margreet Kloppenburg, Iain Watt, Stephanie M. van Rooden et al.
      Pages 669-683
    3. Axel Hahn, Stephan große Austing, Stefan Häusler, Matthias Reinelt
      Pages 684-692

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

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-88478-1
  • Online ISBN 978-3-540-88479-8
  • Series Print ISSN 1865-0929
  • Series Online ISSN 1865-0937
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment