GI/Dagstuhl Research Seminar
Validation of Stochastic Systems
December 8-11, 2002, Schloss
Dagstuhl
About this seminar
Traditionally, the area of model-based performance and dependability
evaluation and the area of formal specification and verification of
systems have been approached completely independently of each other.
However, increasingly, system properties related to performance and
dependability cannot be seen separately from issues concerning the formal
correctness of systems, that is, the notion of "correctness" includes
aspects of both performance and dependability. Therefore, a separate
treatment of these system aspects becomes less appropriate.
Over the last few years, good progress has been made in combining techniques
from these previously separate fields. Active areas of research are
model-checking procedures for stochastically timed systems and deductive
verification techniques in which time bounds play a role.
However, all these results
are currently only available in state-of-the-art research literature, and,
moreover, spread over journals and conferences of different research
communities. It goes without saying that there are currently no textbooks
available on this subject. Hence, to obtain a good overview of the
important
results and about the open research topics in this area, a structured
review of the literature seems most appropriate and timely.
Aim of the seminar
The aim of the seminar is to bring together (primarily young) researchers
working in or starting to work in this area (PhD students, fresh PhDs, or
maybe even MSc students; also established researchers might apply). The
seminar will be
devoted to the assembly of a structured overview (in terms of presentations
and papers) of the state-of-the-art.
Call for Participation
Participants
Programme
Organisers
- Christel
Baier, University of Bonn, Germany
- Boudewijn
Haverkort, RWTH Aachen, Germany (now University of Twente, Netherlands)
- Holger Hermanns,
University of Twente, Netherlands
- Joost-Pieter
Katoen, University of Twente, Netherlands
- Markus
Siegle, University of Erlangen
- Frits Vaandrager,
University of Nijmegen, Netherlands
About the GI/Dagstuhl research seminar series
Since 1997 the
Gesellschaft für Informatik (GI)
(German Computer Society) organizes research seminars on current topics in
computer science. They are primarily addressed at graduate students and
recent PhDs
that actively want to learn about new developments.
Participants are selected on the basis of an application (see the call for participation). The maximum number of
participants is usually limited to 20.
So far, there have been GI/Dagstuhl seminars on the following topics:
Sponsors
Boudewijn R.
Haverkort, March 28, 2002