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

  • Tiziana Margaria
  • Bernhard Steffen

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

Table of contents

  1. Front Matter
  2. EternalS: Mission and Roadmap

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

    1. Mirco Tribastone, Philip Mayer, Martin Wirsing
      Pages 51-65
    2. Ivan Lanese, Fabrizio Montesi
      Pages 66-81
    3. Aida Čaušević, Cristina Seceleanu, Paul Pettersson
      Pages 82-96
    4. Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz, Wolfgang Leister
      Pages 97-111
    5. Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel
      Pages 112-126
  4. Quantitative Verification in Practice

    1. Boudewijn R. Haverkort, Joost-Pieter Katoen, Kim G. Larsen
      Pages 127-127
    2. Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, Wendelin Serwe
      Pages 128-142
    3. S. Andova, L. P. J. Groenewegen, E. P. de Vink
      Pages 143-159

Other volumes

  1. 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
  2. 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

About these proceedings

Keywords

Internet Linux Pacemaker business process modeling classification cloud computing collaboration colored petri nets concept Web crowdsourcing distributed systems embedded systems formal analysis formal methods formal modeling

Editors and affiliations

  • Tiziana Margaria
    • 1
  • Bernhard Steffen
    • 2
  1. 1.Institute for InformaticsUniversity of PotsdamPotsdamGermany
  2. 2.Technical University of DortmundDortmundGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-16561-0
  • Copyright Information Springer Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-16560-3
  • Online ISBN 978-3-642-16561-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book