Using model checking to analyze the system behavior of the LHC production grid

D. Remenska, T.A.C. Willemse, K. Verstoep, W.J. Fokkink, H.E. Bal, J.A. Templon

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProc. 12th Symposium on Cluster, Cloud and Grid Computing - CCGrid'12
PublisherIEEE/ACM
Pages335-343
Publication statusPublished - 2012

Cite this

Remenska, D., Willemse, T. A. C., Verstoep, K., Fokkink, W. J., Bal, H. E., & Templon, J. A. (2012). Using model checking to analyze the system behavior of the LHC production grid. In Proc. 12th Symposium on Cluster, Cloud and Grid Computing - CCGrid'12 (pp. 335-343). IEEE/ACM.
Remenska, D. ; Willemse, T.A.C. ; Verstoep, K. ; Fokkink, W.J. ; Bal, H.E. ; Templon, J.A. / Using model checking to analyze the system behavior of the LHC production grid. Proc. 12th Symposium on Cluster, Cloud and Grid Computing - CCGrid'12. IEEE/ACM, 2012. pp. 335-343
@inproceedings{63737f3f4f154d16a9f9e12365ef9fff,
title = "Using model checking to analyze the system behavior of the LHC production grid",
author = "D. Remenska and T.A.C. Willemse and K. Verstoep and W.J. Fokkink and H.E. Bal and J.A. Templon",
year = "2012",
language = "English",
pages = "335--343",
booktitle = "Proc. 12th Symposium on Cluster, Cloud and Grid Computing - CCGrid'12",
publisher = "IEEE/ACM",

}

Remenska, D, Willemse, TAC, Verstoep, K, Fokkink, WJ, Bal, HE & Templon, JA 2012, Using model checking to analyze the system behavior of the LHC production grid. in Proc. 12th Symposium on Cluster, Cloud and Grid Computing - CCGrid'12. IEEE/ACM, pp. 335-343.

Using model checking to analyze the system behavior of the LHC production grid. / Remenska, D.; Willemse, T.A.C.; Verstoep, K.; Fokkink, W.J.; Bal, H.E.; Templon, J.A.

Proc. 12th Symposium on Cluster, Cloud and Grid Computing - CCGrid'12. IEEE/ACM, 2012. p. 335-343.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Using model checking to analyze the system behavior of the LHC production grid

AU - Remenska, D.

AU - Willemse, T.A.C.

AU - Verstoep, K.

AU - Fokkink, W.J.

AU - Bal, H.E.

AU - Templon, J.A.

PY - 2012

Y1 - 2012

M3 - Conference contribution

SP - 335

EP - 343

BT - Proc. 12th Symposium on Cluster, Cloud and Grid Computing - CCGrid'12

PB - IEEE/ACM

ER -

Remenska D, Willemse TAC, Verstoep K, Fokkink WJ, Bal HE, Templon JA. Using model checking to analyze the system behavior of the LHC production grid. In Proc. 12th Symposium on Cluster, Cloud and Grid Computing - CCGrid'12. IEEE/ACM. 2012. p. 335-343