License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-26824
URL: http://drops.dagstuhl.de/opus/volltexte/2010/2682/
Go to the corresponding Portal

Baier, Christel ; Droste, Manfred ; Gastin, Paul ; Larsen, Kim Guldstrand

10031 Executive Summary -- Quantitative Models: Expressiveness and Analysis

pdf-format:
Document 1.pdf (86 KB)

Abstract

Quantitative models and quantitative analysis in Computer Science are currently intensively studied, resulting in a revision of the foundation of Computer Science where classical yes/no answers are replaced by quantitative analyses. The potential application areas are huge, e.g., performance analysis, operational research or embedded systems. The aim of the seminar was to address three fundamental topics which are closely related: quantitative analysis of real-time and hybrid systems; probabilistic analysis and stochastic automata; weighted automata. These three areas of research have mainly evolved independently so far and the relationship between them has emerged only recently. The seminar brought together leading researchers of the three areas, with the goal of future highly productive cross-fertilizations.

BibTeX - Entry

@InProceedings{baier_et_al:DSP:2010:2682,
  author =	{Christel Baier and Manfred Droste and Paul Gastin and Kim Guldstrand Larsen},
  title =	{10031 Executive Summary -- Quantitative Models: Expressiveness and Analysis},
  booktitle =	{Quantitative Models: Expressiveness and Analysis},
  year =	{2010},
  editor =	{Christel Baier and Manfred Droste and Paul Gastin and Kim Guldstrand Larsen},
  number =	{10031},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2010/2682},
  annote =	{Keywords: Quantitative models, quantitative analysis, timed and hybrid systems, probabilistic systems, weighted automata}
}

Keywords: Quantitative models, quantitative analysis, timed and hybrid systems, probabilistic systems, weighted automata
Seminar: 10031 - Quantitative Models: Expressiveness and Analysis
Issue Date: 2010
Date of publication: 20.07.2010

DROPS-Home | Fulltext Search | Imprint Published by LZI