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

  • Tiziana Margaria
  • Bernhard Steffen
Conference proceedings ISoLA 2012

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

Table of contents

  1. Front Matter
  2. Adaptable and Evolving Software for Eternal Systems

    1. Reiner Hähnle, Ina Schaefer
      Pages 1-3
    2. Eric Bodden, Andreas Follner, Siegfried Rasthofer
      Pages 4-18
    3. Reiner Hähnle, Ina Schaefer
      Pages 32-46
    4. Michaël Lienhardt, Mario Bravetti, Davide Sangiorgi
      Pages 64-78
    5. Maik Merten, Falk Howar, Bernhard Steffen, Patrizio Pellicione, Massimo Tivoli
      Pages 79-96
    6. Arnd Poetzsch-Heffter, Christoph Feller, Ilham W. Kurnia, Yannick Welsch
      Pages 97-111
    7. Philipp Zech, Michael Felderer, Philipp Kalb, Ruth Breu
      Pages 112-126
  3. Approaches for Mastering Change

    1. Ina Schaefer, Malte Lochau, Martin Leucker
      Pages 127-130
    2. Martin Leucker, Daniel Thoma
      Pages 131-145
    3. Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
      Pages 146-161
    4. Eric Bodden, Kevin Falzon, Ka I. Pun, Volker Stolz
      Pages 162-177
    5. Michäel Lienhardt, Dave Clarke
      Pages 178-192
    6. Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans et al.
      Pages 208-222
    7. Serge Autexier, Dominik Dietrich, Dieter Hutter, Christoph Lüth, Christian Maeder
      Pages 238-252
    8. Johan Dovland, Einar Broch Johnsen, Ingrid Chieh Yu
      Pages 253-268
    9. Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
      Pages 269-283
  4. Runtime Verification: The Application Perspective

    1. Yliès Falcone, Lenore D. Zuck
      Pages 284-291
    2. Klaus Havelund
      Pages 292-294
    3. Sylvain Hallé, Raphaël Tremblay-Lessard
      Pages 295-311
    4. Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
      Pages 312-326
    5. Saddek Bensalem, Marius Bozga, Benoit Delahaye, Cyrille Jegourel, Axel Legay, Ayoub Nouri
      Pages 327-341
    6. Rayna Dimitrova, Bernd Finkbeiner, Markus N. Rabe
      Pages 342-357
    7. Laurent Mounier, Emmanuel Sifakis
      Pages 358-371
    8. Niloofar Razavi, Azadeh Farzan, Andreas Holzer
      Pages 372-387
    9. Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen, Sean Sedwards
      Pages 388-404
    10. Jan Olaf Blech, Yliès Falcone, Harald Rueß, Bernhard Schätz
      Pages 405-419
  5. Model-Based Testing and Model Inference

    1. Karl Meinke, Neil Walkinshaw
      Pages 440-443
    2. Takashi Kitamura, Ngoc Thi Bich Do, Hitoshi Ohsaki, Ling Fang, Shunsuke Yatabe
      Pages 458-473
    3. Zheng Lu, Supratik Mukhopadhyay
      Pages 474-487
  6. Learning Techniques for Software Verification and Validation

    1. Corina S. Păsăreanu, Mihaela Bobaru
      Pages 505-507
    2. André de Matos Pedro, Paul Andrew Crocker, Simão Melo de Sousa
      Pages 508-523
    3. Martin Leucker, Daniel Neider
      Pages 524-538
    4. Ionut Dinca, Florentin Ipate, Alin Stefanescu
      Pages 539-553
    5. Falk Howar, Malte Isberner, Bernhard Steffen, Oliver Bauer, Bengt Jonsson
      Pages 554-571
    6. Alex Groce, Alan Fern, Martin Erwig, Jervis Pinto, Tim Bauer, Amin Alipour
      Pages 572-586
  7. LearnLib Tutorial: From Finite Automata to Register Interface Programs

    1. Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen
      Pages 587-590
    2. Maik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria
      Pages 591-607
  8. RERS Grey-Box Challenge 2012

    1. Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer
      Pages 608-614
  9. Back Matter

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. 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

About these proceedings


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.


automata concurrent programs model checking scientific workflows software product lines

Editors and affiliations

  • Tiziana Margaria
    • 1
  • Bernhard Steffen
    • 2
  1. 1.Institut für InformatikUniversität PotsdamPotsdamGermany
  2. 2.Fakultät für InformatikTechnische Universität DortmundDortmundGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-34025-3
  • Online ISBN 978-3-642-34026-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment