Advertisement

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance

15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings

  • Bruno Müller-Clostermann
  • Klaus Echtle
  • Erwin P. Rathgeb
Conference proceedings MMB&DFT 2010

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. In Memoriam: Eulogy on Gunter Bolch

    1. Martin Paterok, Hermann de Meer, Patrick Wüchner
      Pages 3-7
  4. Full Papers

    1. Sven Söhnlein, Francesca Saglietti, Frank Bitzer, Matthias Meitner, Siegfried Baryschew
      Pages 24-38
    2. David Hock, Matthias Hartmann, Christian Schwartz, Michael Menth
      Pages 78-90
    3. Haidi Yue, Henrik Bohnenkamp, Joost-Pieter Katoen
      Pages 107-119
    4. Till Fischer, Axel Böttcher, Aaron Coday, Helena Liebelt
      Pages 120-135
    5. Vittoria de Nitto Personè, Andreas Pillekeit, Matteo Iacari
      Pages 151-167
    6. Anne Remke, Boudewijn R. Haverkort, Geert Heijenk, Jesper Bax
      Pages 168-182
    7. Simon Frohn, Sascha Gübner, Christoph Lindemann
      Pages 183-197
    8. Hind Castel-Taleb, Nihal Pekergin
      Pages 212-226
    9. Andreas Kiefer, Nicos Gollan, Jens B. Schmitt
      Pages 227-241
    10. Jan Kriege, Peter Buchholz
      Pages 259-273
    11. Philipp Reinecke, Miklós Telek, Katinka Wolter
      Pages 274-286
  5. Tool Papers

    1. David Hock, Michael Menth, Matthias Hartmann, Christian Schwartz, David Stezenbach
      Pages 302-306
    2. Michael Striewe, Moritz Balz, Michael Goedicke
      Pages 307-310
    3. Falko Bause, Philipp Gerloff, Jan Kriege
      Pages 311-314
    4. Sebastian Vastag
      Pages 315-318
    5. Sascha Geeren, Falk Hoppe, Axel Langhoff, Bruno Müller-Clostermann, Andreas Pillekeit
      Pages 319-322
  6. Back Matter

About these proceedings

Keywords

Ada Bisimulation Cluster Gateway Multimedia Routing Simulation Switch Video algorithms automata distributed systems modeling optimization verification

Editors and affiliations

  • Bruno Müller-Clostermann
    • 1
  • Klaus Echtle
    • 1
  • Erwin P. Rathgeb
    • 2
  1. 1.Institute for Computer Science and Business Information SystemsUniversity of Duisburg-EssenEssenGermany
  2. 2.Institute for Experimental Mathematics, Computer Networking Technology GroupUniversity of Duisburg-EssenEssenGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-12104-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-12103-6
  • Online ISBN 978-3-642-12104-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site