Using Probabilistic Model Checking for Dynamic Power Management. Technical Report DSSE-TR-2003-2

Research output: Contribution to conference (unpublished)Paper

Standard

Using Probabilistic Model Checking for Dynamic Power Management. Technical Report DSSE-TR-2003-2. / Norman, Gethin; Parker, David; Kwiatkowska, Marta; Shukla, S; Gupta, R; Leuschel, M; Gruner, S; Presti, SL.

2003. 202-215 Paper presented at 3rd Workshop on Automated Verification of Critical Systems, .

Research output: Contribution to conference (unpublished)Paper

Harvard

Norman, G, Parker, D, Kwiatkowska, M, Shukla, S, Gupta, R, Leuschel, M, Gruner, S & Presti, SL 2003, 'Using Probabilistic Model Checking for Dynamic Power Management. Technical Report DSSE-TR-2003-2', Paper presented at 3rd Workshop on Automated Verification of Critical Systems, 1/01/03 pp. 202-215.

APA

Norman, G., Parker, D., Kwiatkowska, M., Shukla, S., Gupta, R., Leuschel, M., Gruner, S., & Presti, SL. (2003). Using Probabilistic Model Checking for Dynamic Power Management. Technical Report DSSE-TR-2003-2. 202-215. Paper presented at 3rd Workshop on Automated Verification of Critical Systems, .

Vancouver

Norman G, Parker D, Kwiatkowska M, Shukla S, Gupta R, Leuschel M et al. Using Probabilistic Model Checking for Dynamic Power Management. Technical Report DSSE-TR-2003-2. 2003. Paper presented at 3rd Workshop on Automated Verification of Critical Systems, .

Author

Norman, Gethin ; Parker, David ; Kwiatkowska, Marta ; Shukla, S ; Gupta, R ; Leuschel, M ; Gruner, S ; Presti, SL. / Using Probabilistic Model Checking for Dynamic Power Management. Technical Report DSSE-TR-2003-2. Paper presented at 3rd Workshop on Automated Verification of Critical Systems, .14 p.

Bibtex

@conference{27434d78baae45fb9264becaf703a2f7,
title = "Using Probabilistic Model Checking for Dynamic Power Management. Technical Report DSSE-TR-2003-2",
author = "Gethin Norman and David Parker and Marta Kwiatkowska and S Shukla and R Gupta and M Leuschel and S Gruner and SL Presti",
year = "2003",
month = jan,
day = "1",
language = "English",
pages = "202--215",
note = "3rd Workshop on Automated Verification of Critical Systems ; Conference date: 01-01-2003",

}

RIS

TY - CONF

T1 - Using Probabilistic Model Checking for Dynamic Power Management. Technical Report DSSE-TR-2003-2

AU - Norman, Gethin

AU - Parker, David

AU - Kwiatkowska, Marta

AU - Shukla, S

AU - Gupta, R

AU - Leuschel, M

AU - Gruner, S

AU - Presti, SL

PY - 2003/1/1

Y1 - 2003/1/1

M3 - Paper

SP - 202

EP - 215

T2 - 3rd Workshop on Automated Verification of Critical Systems

Y2 - 1 January 2003

ER -