Formal Methods and Stochastic Models for Performance Evaluation

Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings

  • András Horváth
  • Miklós Telek
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4054)

Table of contents

  1. Front Matter
  2. Stochastic Process Algebra

    1. Jean-Michel Fourneau, Leïla Kloul
      Pages 1-15
    2. Ashok Argent-Katwala, Jeremy T. Bradley
      Pages 31-46
    3. Jasen Markovski, Erik P. de Vink
      Pages 47-62
  3. Workloads and Benchmarks

  4. Theory of Stochastic Processes

    1. Manuela L. Bujorianu, Marius C. Bujorianu
      Pages 93-107
    2. Armin Heindl, Gábor Horváth, Karsten Gross
      Pages 108-122
    3. Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
      Pages 123-137
  5. Formal Dependability and Performance Evaluation

    1. László Gönczy, Silvano Chiaradonna, Felicita Di Giandomenico, András Pataricza, Andrea Bondavalli, Tamás Bartha
      Pages 166-180
  6. Queues, Theory and Practice

    1. Ana Bušić, Jean-Michel Fourneau, Nihal Pekergin
      Pages 196-210
    2. Jeroen Van Velthoven, Benny Van Houdt, Chris Blondia
      Pages 211-225
    3. Philipp Reinecke, Aad P. A. van Moorsel, Katinka Wolter
      Pages 226-237
  7. Back Matter

About these proceedings

Introduction

The idea to establish a European forum for academic and industrial researchers working on various aspects of performance modeling and analysis of manuf- toring and information systems gave rise to an annual series of workshops, - ferred to as European Performance Engineering Workshop (EPEW). The ?rst two EPEW workshops were held in Toledo, Spain, October 1-2, 2004, and V- sailles,France,September 1-3,2005.Thisvolumecontainstheproceedingsofthe third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, June 21-22, 2006. These proceedings comprise the 16 accepted contributed papers of EPEW 2006.Toensurethehigh-qualityevaluationofthesubmittedpapersweextended the ProgramCommittee of EPEW 2006with international experts from all over the world. Each submitted papers went through a rigorous review by at least three international reviewers. Based on the reviews, the subsequent discussions ofreviewerswithdi?erentjudgementandanInternet-basedProgramCommittee meeting held on March 30, 2006, we selected 40% of the submitted papers. We therefore owe special thanks to all members of the Program Committee and to all external referees for the excellent work they did for the proper evaluation of the papers. The ?nal workshop program, as well as this volume, are made up of ?ve thematic sessions: – Stochastic process algebra – Workloads and benchmarks – Theory of stochastic processes – Formal dependability and performance evaluation – Queues, theory and practice These sessions cover a wide range of performance evaluation methods and c- pose an overview of the current research directions in performance evaluation.

Keywords

QoS Unified Modeling Language (UML) Web services algorithms benchmarking calculus formal method formal verification model checking performance engineering program semantics scheduling software analysis stochastic modeling systems analysis

Editors and affiliations

  • András Horváth
    • 1
  • Miklós Telek
    • 2
  1. 1.Dipartimento di InformaticaUniversità di TorinoTorinoItaly
  2. 2.Department of TelecommunicationsTechnical University of BudapestBudapestHungary

Bibliographic information

  • DOI https://doi.org/10.1007/11777830
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-35362-1
  • Online ISBN 978-3-540-35365-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book