Model Checking pathCSL

Lucia Cloth; Boudewijn Haverkort; Holger Hermanns; Joost-Pieter Katoen; Christel Baier

Model Checking pathCSL

Lucia Cloth
, Boudewijn Haverkort
, Holger Hermanns
, Joost-Pieter Katoen
, Christel Baier

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

88 Downloads (Pure)

Abstract

CSL formulas and path-based reward variables are two ways of specifying performability measures which depend on a sequence of states in a CTMC. We present the new logic pathCSL which combines ideas and advantages of both approaches.

Original language	English
Title of host publication	PMCCS-6
Subtitle of host publication	The Sixth International Workshop on Performability Modeling of Computer and Communication Systems
Editors	Andrea Bobbio, Daniel Deavours, Yue Ma
Place of Publication	Urbana-Champaign
Publisher	University of Illinois at Urbana-Champaign
Pages	19-22
Publication status	Published - 6 Sept 2003
Event	6th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2003 - Monticello, United States Duration: 6 Sept 2003 → 7 Sept 2003 Conference number: 6

Conference

Conference	6th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2003
Abbreviated title	PMCCS
Country/Territory	United States
City	Monticello
Period	6/09/03 → 7/09/03

Access to Document

Cloth2003modelFinal published version, 83.8 KB

Cite this

@inproceedings{68e8c6354121481f82edb201f9df3643,

title = "Model Checking pathCSL",

abstract = "CSL formulas and path-based reward variables are two ways of specifying performability measures which depend on a sequence of states in a CTMC. We present the new logic pathCSL which combines ideas and advantages of both approaches.",

author = "Lucia Cloth and Boudewijn Haverkort and Holger Hermanns and Joost-Pieter Katoen and Christel Baier",

year = "2003",

month = sep,

day = "6",

language = "English",

pages = "19--22",

editor = "Andrea Bobbio and Daniel Deavours and Yue Ma",

booktitle = "PMCCS-6",

publisher = "University of Illinois at Urbana-Champaign",

address = "United States",

note = "6th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2003, PMCCS ; Conference date: 06-09-2003 Through 07-09-2003",

}

Cloth, L, Haverkort, B, Hermanns, H, Katoen, J-P & Baier, C 2003, Model Checking pathCSL. in A Bobbio, D Deavours & Y Ma (eds), PMCCS-6: The Sixth International Workshop on Performability Modeling of Computer and Communication Systems. University of Illinois at Urbana-Champaign, Urbana-Champaign, pp. 19-22, 6th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2003, Monticello, Illinois, United States, 6/09/03.

Model Checking pathCSL. / Cloth, Lucia; Haverkort, Boudewijn; Hermanns, Holger et al.
PMCCS-6: The Sixth International Workshop on Performability Modeling of Computer and Communication Systems. ed. / Andrea Bobbio; Daniel Deavours; Yue Ma. Urbana-Champaign: University of Illinois at Urbana-Champaign, 2003. p. 19-22.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

TY - GEN

T1 - Model Checking pathCSL

AU - Cloth, Lucia

AU - Haverkort, Boudewijn

AU - Hermanns, Holger

AU - Katoen, Joost-Pieter

AU - Baier, Christel

N1 - Conference code: 6

PY - 2003/9/6

Y1 - 2003/9/6

N2 - CSL formulas and path-based reward variables are two ways of specifying performability measures which depend on a sequence of states in a CTMC. We present the new logic pathCSL which combines ideas and advantages of both approaches.

AB - CSL formulas and path-based reward variables are two ways of specifying performability measures which depend on a sequence of states in a CTMC. We present the new logic pathCSL which combines ideas and advantages of both approaches.

M3 - Conference contribution

SP - 19

EP - 22

BT - PMCCS-6

A2 - Bobbio, Andrea

A2 - Deavours, Daniel

A2 - Ma, Yue

PB - University of Illinois at Urbana-Champaign

CY - Urbana-Champaign

T2 - 6th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2003

Y2 - 6 September 2003 through 7 September 2003

ER -

Model Checking pathCSL

Abstract

Conference

Access to Document

Fingerprint

Cite this