[Scope of the workshop] [Invited papers] [Accepted contributions] [Program] [Registration] [Further Information] [Important dates] [Program commitee] [Steering committee] [Organisation] [Home] [Frames!]

2nd International Workshop on Probabilistic Methods in Verification

a satellite to CONCUR'99

August 23rd, 1999, Eindhoven, the Netherlands
(to coincide with EXPRESS'99, another satellite)

[Scope of the workshop] [Invited papers] [Accepted contributions] [Program] [Registration] [Further Information] [Important dates] [Program commitee] [Steering committee] [Organisation] [Home] [Frames!]

Scope of the workshop

Probability inherently features in software and hardware systems, either as a means to derive efficient solutions (e.g. randomization), or as a result of unreliable or unpredictable behaviour (e.g. fault-tolerant systems, computer networks, etc). Probabilistic verification encompasses a range of theoretical, algorithmic and programming methods that assist in establishing the correctness of probabilistic systems against specifications. Typically this involves calculating the probability bounds for a temporal logic formula being satisfied, based on an appropriate probability space on computations, but also includes properties such as cost analysis and long-run average. Additionally, probabilistic verification can provide guarantees the specifications hold with satisfactory probability in cases when conventional model checking is not feasible.

The idea of this workshop is to bring together researchers that apply probabilistic methods across the whole spectrum of verification. The meeting aims to enable cross-fertilisation of ideas and techniques between areas that are usually not in regular contact through conferences, from semantics, probability theory, performance analysis and computational linear algebra, through randomized algorithms, probabilistic logics, model checking, abstract interpretation, to practical experimental work, tools and applications.

This is the second workshop of this kind. The first meeting, PROBMIV'98, was held in 1998 as a satellite to LICS. In 1999, the workshop takes place as a satellite to CONCUR.

[Scope of the workshop] [Invited papers] [Accepted contributions] [Program] [Registration] [Further Information] [Important dates] [Program commitee] [Steering committee] [Organisation] [Home] [Frames!]

Invited papers

Rance Cleaveland (SUNY at Stony Brook)
Probabilistic Model Checking via the Modal Mu-Calculus
Bengt Jonsson (University of Uppsala)
On Model Checking Infinite-State Probabilistic Systems
Kim G. Larsen (Aalborg University)
Testing and Verification of Probabilistic Systems
Oded Maler (Verimag)
On the Representation of Probabilities over Structured Domains

[Scope of the workshop] [Invited papers] [Accepted contributions] [Program] [Registration] [Further Information] [Important dates] [Program commitee] [Steering committee] [Organisation] [Home] [Frames!]

Accepted contributions

Christel Baier (University of Mannheim), and Holger Hermanns (University of Twente)
A lazy synchronous calculus of fully probabilistic processes
Luca de Alfaro (University of California at Berkeley)
The Verification of Probabilistic Systems under Memoryless Partial-Information Policies is Hard
Josee Desharnais (McGill University)
A logical characterization of probabilistic simulation
Alessandra Di Pierro (University of Pisa), and Herbert Wiklicky (Imperial College)
Ergodic Average in Constraint Programming
Manfred Jaeger (Max-Planck-Institut at Saarbrücken)
Fairness, Computable Fairness and Randomness
Jeremy Sproston (University of Birmingham)
Analysing subclasses of probabilistic hybrid automata

[Scope of the workshop] [Invited papers] [Accepted contributions] [Program] [Registration] [Further Information] [Important dates] [Program commitee] [Steering committee] [Organisation] [Home] [Frames!]

Registration

is via the registration form for CONCUR'99. There is no registration charge for PROBMIV'99, but pre-registration is required. Note that early registration for CONCUR'99 ends on 1st July

[Scope of the workshop] [Invited papers] [Accepted contributions] [Program] [Registration] [Further Information] [Important dates] [Program commitee] [Steering committee] [Organisation] [Home] [Frames!]

Further information

This web page will be updated periodically to take account of any developments. Additional information can be obtained from Marta Kwiatkowska or Holger Hermanns.

[Scope of the workshop] [Invited papers] [Accepted contributions] [Program] [Registration] [Further Information] [Important dates] [Program commitee] [Steering committee] [Organisation] [Home] [Frames!]

Important dates

Deadline for Submission: 17 May (closed)
Notification to Authors: 30 June
Final Version due : 20 July

[Scope of the workshop] [Important dates] [Invited papers] [Accepted contributions] [Program] [Registration] [Further Information] [Program commitee] [Steering committee] [Organisation] [Home] [Frames!]

Steering and Program committee

Rajeev Alur (University of Pennsylvania)
Christel Baier (University of Mannheim)
Luca de Alfaro (University of California at Berkeley)
Michael Huth (Kansas State University)
Joost-Pieter Katoen (University of Erlangen)
Marta Kwiatkowska (University of Birmingham, chair)
Roberto Segala (University of Bologna)
Prakash Panangaden (Mc Gill University)

[Scope of the workshop] [Invited papers] [Accepted contributions] [Program] [Registration] [Further Information] [Important dates] [Program commitee] [Steering committee] [Organisation] [Home] [Frames!]

Local Organisation

Holger Hermanns, University of Twente, and Erik de Vink, Free University Amsterdam.

This page was last updated on 13 May '02 by Holger Hermanns.