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 I

  • Tiziana Margaria
  • Bernhard Steffen

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

Table of contents

  1. Front Matter
  2. New Challenges in the Development of Critical Embedded Systems – An “aeromotive” Perspective

    1. Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith
      Pages 1-2
    2. Alain Plantec, Frank Singhoff, Pierre Dissaux, Jérôme Legrand
      Pages 4-17
    3. Wolfgang Haberl, Markus Herrmannsdoerfer, Stefan Kugele, Michael Tautschnig, Martin Wechs
      Pages 18-32
    4. Andreas Holzer, Visar Januzaj, Stefan Kugele, Michael Tautschnig
      Pages 33-46
    5. Raimund Kirner, Stephan Herhut, Sven-Bodo Scholz
      Pages 47-57
  3. Formal Languages and Methods for Designing and Verifying Complex Embedded Systems

    1. Yamine Ait Ameur, Frédéric Boniol, Dominique Mery, Virginie Wiels
      Pages 58-59
    2. Parosh Aziz Abdulla, Jonathan Cederberg, Lisa Kaati
      Pages 60-74
    3. Iakovos Ouranos, Petros Stefaneas, Kazuhiro Ogata
      Pages 75-89
    4. Twan Basten, Emiel van Benthum, Marc Geilen, Martijn Hendriks, Fred Houben, Georgeta Igna et al.
      Pages 90-105
    5. Daniela da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
      Pages 106-120
  4. Worst-Case Traversal Time (WCTT)

    1. Anne Bouillard, Marc Boyer, Samarjit Chakraborty, Steven Martin, Jean-Luc Scharbarg, Giovanni Stea et al.
      Pages 121-121
    2. Luca Bisti, Luciano Lenzini, Enzo Mingozzi, Giovanni Stea
      Pages 152-168
    3. Jens B. Schmitt, Hao Wang, Ivan Martinovic
      Pages 169-183
    4. Euriell Le Corronc, Bertrand Cottenceau, Laurent Hardouin
      Pages 184-197
    5. Nikolay Stoimenov, Samarjit Chakraborty, Lothar Thiele
      Pages 198-213
    6. Alessandro Lori, Giovanni Stea, Gigliola Vaglini
      Pages 214-227

Other volumes

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

About these proceedings

Keywords

Ethernet Internet Routing business process modeling classification cloud computing collaboration colored petri nets communication system crowdsourcing distributed systems embedded systems formal modeling formal semantics formal verification

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-16558-0
  • Copyright Information Springer Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-16557-3
  • Online ISBN 978-3-642-16558-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book