Perspectives in probabilistic verification

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

11 Citations (Scopus)
30 Downloads (Pure)

Abstract

Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabilities. The initial focus was on qualitative properties — e.g., does a program terminate with probability one? — but later efficient algorithms were developed for quantitative questions as well. Model checking of probabilistic models received quite some attention in the late nineties, and this popularity lasts until today. Some application areas are security, randomised distributed algorithms, systems biology, and classical performance analysis. What is the current state of this field? Probabilistic verification, quo vadis? This talks surveys the main achievements during the last years, reports on some recent advances, and attempts to point out some research challenges for the coming years.
Original languageUndefined
Title of host publicationProceedings 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering
Place of PublicationLos Alamitos
PublisherIEEE Computer Society
Pages3-10
Number of pages8
ISBN (Print)978-0-7695-3249-3
DOIs
Publication statusPublished - Jun 2008
Event2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008 - Nanjing, China
Duration: 17 Jun 200819 Jun 2008
Conference number: 2

Publication series

Name
PublisherIEEE Computer Society Press
Number302

Conference

Conference2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008
Abbreviated titleTASE
CountryChina
CityNanjing
Period17/06/0819/06/08

Keywords

  • IR-64841
  • METIS-251041
  • EWI-12964

Cite this

Katoen, J. P. (2008). Perspectives in probabilistic verification. In Proceedings 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering (pp. 3-10). [10.1109/TASE.2008.44] Los Alamitos: IEEE Computer Society. https://doi.org/10.1109/TASE.2008.44
Katoen, Joost P. / Perspectives in probabilistic verification. Proceedings 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering. Los Alamitos : IEEE Computer Society, 2008. pp. 3-10
@inproceedings{046770c11d8b480193987cd36a7a9d12,
title = "Perspectives in probabilistic verification",
abstract = "Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabilities. The initial focus was on qualitative properties — e.g., does a program terminate with probability one? — but later efficient algorithms were developed for quantitative questions as well. Model checking of probabilistic models received quite some attention in the late nineties, and this popularity lasts until today. Some application areas are security, randomised distributed algorithms, systems biology, and classical performance analysis. What is the current state of this field? Probabilistic verification, quo vadis? This talks surveys the main achievements during the last years, reports on some recent advances, and attempts to point out some research challenges for the coming years.",
keywords = "IR-64841, METIS-251041, EWI-12964",
author = "Katoen, {Joost P.}",
note = "10.1109/TASE.2008.44",
year = "2008",
month = "6",
doi = "10.1109/TASE.2008.44",
language = "Undefined",
isbn = "978-0-7695-3249-3",
publisher = "IEEE Computer Society",
number = "302",
pages = "3--10",
booktitle = "Proceedings 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering",
address = "United States",

}

Katoen, JP 2008, Perspectives in probabilistic verification. in Proceedings 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering., 10.1109/TASE.2008.44, IEEE Computer Society, Los Alamitos, pp. 3-10, 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, Nanjing, China, 17/06/08. https://doi.org/10.1109/TASE.2008.44

Perspectives in probabilistic verification. / Katoen, Joost P.

Proceedings 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering. Los Alamitos : IEEE Computer Society, 2008. p. 3-10 10.1109/TASE.2008.44.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

TY - GEN

T1 - Perspectives in probabilistic verification

AU - Katoen, Joost P.

N1 - 10.1109/TASE.2008.44

PY - 2008/6

Y1 - 2008/6

N2 - Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabilities. The initial focus was on qualitative properties — e.g., does a program terminate with probability one? — but later efficient algorithms were developed for quantitative questions as well. Model checking of probabilistic models received quite some attention in the late nineties, and this popularity lasts until today. Some application areas are security, randomised distributed algorithms, systems biology, and classical performance analysis. What is the current state of this field? Probabilistic verification, quo vadis? This talks surveys the main achievements during the last years, reports on some recent advances, and attempts to point out some research challenges for the coming years.

AB - Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabilities. The initial focus was on qualitative properties — e.g., does a program terminate with probability one? — but later efficient algorithms were developed for quantitative questions as well. Model checking of probabilistic models received quite some attention in the late nineties, and this popularity lasts until today. Some application areas are security, randomised distributed algorithms, systems biology, and classical performance analysis. What is the current state of this field? Probabilistic verification, quo vadis? This talks surveys the main achievements during the last years, reports on some recent advances, and attempts to point out some research challenges for the coming years.

KW - IR-64841

KW - METIS-251041

KW - EWI-12964

U2 - 10.1109/TASE.2008.44

DO - 10.1109/TASE.2008.44

M3 - Conference contribution

SN - 978-0-7695-3249-3

SP - 3

EP - 10

BT - Proceedings 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering

PB - IEEE Computer Society

CY - Los Alamitos

ER -

Katoen JP. Perspectives in probabilistic verification. In Proceedings 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering. Los Alamitos: IEEE Computer Society. 2008. p. 3-10. 10.1109/TASE.2008.44 https://doi.org/10.1109/TASE.2008.44