Beyond Model-Checking CSL for QBDs: Resets, Batches and Rewards

Research output: Contribution to conferencePaperAcademicpeer-review

7 Downloads (Pure)

Abstract

We propose and discuss a number of extensions to quasi-birth-death models (QBDs) for which CSL model checking is still possible, thus extending our recent work on CSL model checking of QBDs. We then equip the QBDs with rewards, and discuss algorithms and open research issues for model checking CSRL for QBDs with rewards.
Original languageEnglish
Pages23-26
Number of pages4
Publication statusPublished - 23 Sep 2005
Event7th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2005 - Turin, Italy
Duration: 23 Oct 200524 Oct 2005
Conference number: 7

Workshop

Workshop7th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2005
Abbreviated titlePMCCS
CountryItaly
CityTurin
Period23/10/0524/10/05

Fingerprint

Model checking

Keywords

  • IR-64396
  • EWI-11195

Cite this

Remke, A., & Haverkort, B. R. (2005). Beyond Model-Checking CSL for QBDs: Resets, Batches and Rewards. 23-26. Paper presented at 7th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2005, Turin, Italy.
Remke, Anne ; Haverkort, Boudewijn R. / Beyond Model-Checking CSL for QBDs : Resets, Batches and Rewards. Paper presented at 7th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2005, Turin, Italy.4 p.
@conference{4fe0eceedc44469fb41e57d24b1a9cb6,
title = "Beyond Model-Checking CSL for QBDs: Resets, Batches and Rewards",
abstract = "We propose and discuss a number of extensions to quasi-birth-death models (QBDs) for which CSL model checking is still possible, thus extending our recent work on CSL model checking of QBDs. We then equip the QBDs with rewards, and discuss algorithms and open research issues for model checking CSRL for QBDs with rewards.",
keywords = "IR-64396, EWI-11195",
author = "Anne Remke and Haverkort, {Boudewijn R.}",
year = "2005",
month = "9",
day = "23",
language = "English",
pages = "23--26",
note = "7th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2005, PMCCS ; Conference date: 23-10-2005 Through 24-10-2005",

}

Remke, A & Haverkort, BR 2005, 'Beyond Model-Checking CSL for QBDs: Resets, Batches and Rewards' Paper presented at 7th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2005, Turin, Italy, 23/10/05 - 24/10/05, pp. 23-26.

Beyond Model-Checking CSL for QBDs : Resets, Batches and Rewards. / Remke, Anne; Haverkort, Boudewijn R.

2005. 23-26 Paper presented at 7th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2005, Turin, Italy.

Research output: Contribution to conferencePaperAcademicpeer-review

TY - CONF

T1 - Beyond Model-Checking CSL for QBDs

T2 - Resets, Batches and Rewards

AU - Remke, Anne

AU - Haverkort, Boudewijn R.

PY - 2005/9/23

Y1 - 2005/9/23

N2 - We propose and discuss a number of extensions to quasi-birth-death models (QBDs) for which CSL model checking is still possible, thus extending our recent work on CSL model checking of QBDs. We then equip the QBDs with rewards, and discuss algorithms and open research issues for model checking CSRL for QBDs with rewards.

AB - We propose and discuss a number of extensions to quasi-birth-death models (QBDs) for which CSL model checking is still possible, thus extending our recent work on CSL model checking of QBDs. We then equip the QBDs with rewards, and discuss algorithms and open research issues for model checking CSRL for QBDs with rewards.

KW - IR-64396

KW - EWI-11195

M3 - Paper

SP - 23

EP - 26

ER -

Remke A, Haverkort BR. Beyond Model-Checking CSL for QBDs: Resets, Batches and Rewards. 2005. Paper presented at 7th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2005, Turin, Italy.