Advertisement

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
    4. Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, J. P. M. Voeten
      Pages 160-174
    5. Marius Mikučionis, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm et al.
      Pages 175-190
    6. André Carvalho, Joel Carvalho, Jorge Sousa Pinto, Simão Melo de Sousa
      Pages 191-205
  5. CONNECT: Status and Plans

    1. Amel Bennaceur, Gordon Blair, Franck Chauvel, Huang Gang, Nikolaos Georgantas, Paul Grace et al.
      Pages 206-220
    2. Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen, Sofia Cassel
      Pages 221-235
    3. Paola Inverardi, Valérie Issarny, Romina Spalazzese
      Pages 236-250
    4. Antonia Bertolino, Paola Inverardi, Valérie Issarny, Antonino Sabetta, Romina Spalazzese
      Pages 251-262
    5. Felicita Di Giandomenico, Marta Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu
      Pages 263-277
    6. Marco Autili, Chris Chilton, Paola Inverardi, Marta Kwiatkowska, Massimo Tivoli
      Pages 278-292
  6. Certification of Software-Driven Medical Devices

    1. Mark Lawford, Tom Maibaum, Alan Wassyng
      Pages 293-295
    2. Dominique Méry, Neeraj Kumar Singh
      Pages 312-326
    3. Sebastian Fischmeister, Akramul Azim
      Pages 327-342
    4. Eunkyoung Jee, Insup Lee, Oleg Sokolsky
      Pages 343-356
  7. Modeling and Formalizing Industrial Software for Verification, Validation and Certification

    1. Nikolay Pakulin, Anastasia Tugaenko
      Pages 371-381
    2. Victor Kuliamin, Alexander Petukhov
      Pages 382-396
  8. Resource and Timing Analysis

    1. Steffen Kollmann, Victor Pollex, Kilian Kempf, Frank Slomka
      Pages 397-411
    2. Georgeta Igna, Frits Vaandrager
      Pages 412-423
    3. Klaus Birken, Daniel Hünig, Thomas Rustemeyer, Ralph Wittmann
      Pages 424-433
    4. Gergö Barany, Adrian Prantl
      Pages 434-448
    5. Björn Lisper, Andreas Ermedahl, Dietmar Schreiner, Jens Knoop, Peter Gliwa
      Pages 449-463
    6. Wolfgang Puffitsch, Benedikt Huber, Martin Schoeberl
      Pages 464-478
    7. Marianne de Michiel, Armelle Bonenfant, Clément Ballabriga, Hugues Cassé
      Pages 479-482
    8. Michael Zolda, Sven Bünte, Raimund Kirner
      Pages 487-490
    9. Jens Knoop, Wolf Zimmermann
      Pages 491-495
  9. Back Matter

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
  • Buy this book on publisher's site