Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings

  • Holger Hermanns
  • Roberto Segala
Conference proceedings

DOI: 10.1007/3-540-45605-8

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Contributions

  3. Selected Papers

    1. Alessandro Aldini, Roberto Gorrieri
      Pages 17-36
    2. Henrik Bohnenkamp, Boudewijn Haverkort
      Pages 37-56
    3. Pedro R. D’Argenio, Bertrand Jeannet, Henrik E. Jensen, Kim G. Larsen
      Pages 57-76
    4. Harald Fecher, Mila Majster-Cederbaum, Jinzhao Wu
      Pages 77-94
    5. Marta Kwiatkowska, Gethin Norman, António Pacheco
      Pages 152-168
    6. Marta Kwiatkowska, Gethin Norman, Jeremy Sproston
      Pages 169-187
    7. Matthias Kuntz, Markus Siegle
      Pages 188-206
  4. Short Abstracts

    1. Olivier Bournez
      Pages 207-208
    2. Alessandra Di Pierro, Herbert Wiklicky
      Pages 211-212
    3. Richard Lassaigne, Sylvain Peyronnet
      Pages 213-214
  5. Back Matter
    Pages 215-215

About these proceedings

Introduction

This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25–26, 2002 as part of the Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV workshop results from the combination of two wo- shops: PAPM (Process Algebras and Performance Modeling) and PROBMIV (Probabilistic Methods in Veri?cation). The aim of the joint workshop is to bring together the researchers working across the whole spectrum of techniques for the modeling, speci?cation, analysis, and veri?cation of probabilistic systems. Probability is widely used in the design and analysis of software and hardware systems, as a means to derive e?cient algorithms (e.g. randomization), as a model for unreliable or unpredictable behavior (as in the study of fault-tolerant systems and computer networks), and as a tool to study performance and - pendability properties. The topics of the workshop include speci?cation, m- els, and semantics of probabilistic systems, analysis and veri?cation techniques, probabilistic methods for the veri?cation of non-probabilistic systems, and tools and case studies. The ?rst PAPM workshop was held in Edinburgh in 1993; the following ones were held in Regensberg (1994), Edinburgh (1995), Turin (1996), Enschede (1997), Nice (1998), Zaragoza (1999), and Geneva (2000). The ?rst PROBMIV workshop was held in Indianapolis, Indiana (1998); the next one took place in Eindhoven (1999). In 2000, PROBMIV was replaced by a Dagstuhl seminar on Probabilistic Methods in Veri?cation.

Keywords

Formal Verification Hardware Verification Markov Chains Model Checking Performance Analysis Probabilistic Systems Probabilistic Verification Process Algebra Software Verification Stochastic Process Algebra Stochastic Timed Systems Systems Verif algebra modeling petri net

Editors and affiliations

  • Holger Hermanns
    • 1
  • Roberto Segala
    • 2
  1. 1.Faculty of Computer Science Formal Methods and Tools GroupUniversity of TwenteEnschedeThe Netherlands
  2. 2.Department of Computer ScienceUniversity of VeronaVeronaItaly

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43913-4
  • Online ISBN 978-3-540-45605-6
  • Series Print ISSN 0302-9743