Skip to main content
SpringerLink
Log in
Book cover

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

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

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Holger Hermanns

    1. Faculty of Computer Science Formal Methods and Tools Group, University of Twente, Enschede, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Roberto Segala

    1. Department of Computer Science, University of Verona, Verona, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: PAPM-PROBMIV 2002.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  3. Selected Papers

    1. Security Analysis of a Probabilistic Non-repudiation Protocol

      • Alessandro Aldini, Roberto Gorrieri
      Pages 17-36

    2. The Mean Value of the Maximum

      • Henrik Bohnenkamp, Boudewijn Haverkort
      Pages 37-56

    3. Reduction and Refinement Strategies for Probabilistic Analysis

      • Pedro R. D’Argenio, Bertrand Jeannet, Henrik E. Jensen, Kim G. Larsen
      Pages 57-76

    4. Action Refinement for Probabilistic Processes with True Concurrency Models

      • Harald Fecher, Mila Majster-Cederbaum, Jinzhao Wu
      Pages 77-94

    5. Probabilistic Unfoldings and Partial Order Fairness in Petri Nets

      • Stefan Haar
      Pages 95-114

    6. Possibilistic and Probabilistic Abstraction-Based Model Checking

      • Michael Huth
      Pages 115-134

    7. Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling

      • Marta Kwiatkowska, Rashid Mehmood
      Pages 135-151

    8. Model Checking CSL until Formulae with Random Time Bounds

      • Marta Kwiatkowska, Gethin Norman, António Pacheco
      Pages 152-168

    9. Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol

      • Marta Kwiatkowska, Gethin Norman, Jeremy Sproston
      Pages 169-187

    10. Deriving Symbolic Representations from Stochastic Process Algebras

      • Matthias Kuntz, Markus Siegle
      Pages 188-206

  4. Short Abstracts

    1. A Generalization of Equational Proof Theory?

      • Olivier Bournez
      Pages 207-208

    2. An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems

      • Mario Bravetti
      Pages 209-210

    3. Probabilistic Abstract Interpretation and Statistical Testing

      • Alessandra Di Pierro, Herbert Wiklicky
      Pages 211-212

    4. Approximate Verification of Probabilistic Systems

      • Richard Lassaigne, Sylvain Peyronnet
      Pages 213-214

  5. Back Matter

    Pages 215-215
    Download chapter PDF
Back to top

Other volumes

  1. Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Keywords

About this book

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.

Editors and Affiliations

  • Faculty of Computer Science Formal Methods and Tools Group, University of Twente, Enschede, The Netherlands

    Holger Hermanns

  • Department of Computer Science, University of Verona, Verona, Italy

    Roberto Segala

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation