{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:08:53Z","timestamp":1725746933781},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319024431"},{"type":"electronic","value":"9783319024448"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-02444-8_36","type":"book-chapter","created":{"date-parts":[[2013,8,29]],"date-time":"2013-08-29T05:11:21Z","timestamp":1377753081000},"page":"464-468","source":"Crossref","is-referenced-by-count":2,"title":["CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains"],"prefix":"10.1007","author":[{"given":"Yang","family":"Gao","sequence":"first","affiliation":[]},{"given":"Ernst Moritz","family":"Hahn","sequence":"additional","affiliation":[]},{"given":"Naijun","family":"Zhan","sequence":"additional","affiliation":[]},{"given":"Lijun","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"36_CR1","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/343369.343402","volume":"1","author":"A. Aziz","year":"2000","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model-checking continous-time Markov chains. ACM TCL\u00a01(1), 162\u2013170 (2000)","journal-title":"ACM TCL"},{"issue":"6","key":"36_CR2","first-page":"524","volume":"29","author":"C. Baier","year":"2003","unstructured":"Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.P.: Model-checking algorithms for continuous-time Markov chains. IEEE TSE\u00a029(6), 524\u2013541 (2003)","journal-title":"IEEE TSE"},{"key":"36_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/11691372_29","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Hinton","year":"2006","unstructured":"Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A tool for automatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920, pp. 441\u2013444. Springer, Heidelberg (2006)"},{"issue":"2","key":"36_CR4","first-page":"90","volume":"68","author":"J.P. Katoen","year":"2011","unstructured":"Katoen, J.P., Zapreev, I.S., Hahn, E.M., Hermanns, H., Jansen, D.N.: The ins and outs of the probabilistic model checker MRMC. PEVA\u00a068(2), 90\u2013104 (2011)","journal-title":"PEVA"},{"issue":"2:17","key":"36_CR5","first-page":"1","volume":"8","author":"L. Zhang","year":"2012","unstructured":"Zhang, L., Jansen, D.N., Nielson, F., Hermanns, H.: Efficient CSL model checking using stratification. LMCS\u00a08(2:17), 1\u201318 (2012)","journal-title":"LMCS"},{"issue":"1-2","key":"36_CR6","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1016\/j.ipl.2012.09.009","volume":"113","author":"Yang Gao","year":"2013","unstructured":"Gao, Y., Xu, M., Zhan, N., Zhang, L.: Model checking conditional CSL for continuous-time Markov chains. In: IPL, pp. 44\u201350 (2012)","journal-title":"Information Processing Letters"},{"key":"36_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-642-22012-8_21","volume-title":"Automata, Languages and Programming","author":"L. Zhang","year":"2011","unstructured":"Zhang, L., Jansen, D.N., Nielson, F., Hermanns, H.: Automata-based CSL model checking. In: Aceto, L., Henzinger, M., Sgall, J. (eds.) ICALP 2011, Part II. LNCS, vol.\u00a06756, pp. 271\u2013282. Springer, Heidelberg (2011)"},{"key":"36_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-642-19835-9_12","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"B. Barbot","year":"2011","unstructured":"Barbot, B., Chen, T., Han, T., Katoen, J.-P., Mereacre, A.: Efficient CTMC model checking of linear real-time objectives. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol.\u00a06605, pp. 128\u2013142. Springer, Heidelberg (2011)"},{"issue":"9","key":"36_CR9","first-page":"1649","volume":"8","author":"O. Ibe","year":"1990","unstructured":"Ibe, O., Trivedi, K.: Stochastic Petri net models of polling systems. IEEE JSAC\u00a08(9), 1649\u20131657 (1990)","journal-title":"IEEE JSAC"},{"key":"36_CR10","unstructured":"Haverkort, B., Hermanns, H., Katoen, J.P.: On the use of model checking techniques for dependability evaluation. In: SRDS, pp. 228\u2013237 (October 2000)"},{"issue":"2","key":"36_CR11","first-page":"9","volume":"1","author":"J. Muppala","year":"1994","unstructured":"Muppala, J., Ciardo, G., Trivedi, K.: Stochastic reward nets for reliability prediction. Communications in Reliability, Maintainability and Serviceability\u00a01(2), 9\u201320 (1994)","journal-title":"Communications in Reliability, Maintainability and Serviceability"},{"issue":"2","key":"36_CR12","first-page":"224","volume":"35","author":"S. Donatelli","year":"2009","unstructured":"Donatelli, S., Haddad, S., Sproston, J.: Model checking timed and stochastic properties with CSLTA. IEEE TSE\u00a035(2), 224\u2013240 (2009)","journal-title":"IEEE TSE"},{"key":"36_CR13","doi-asserted-by":"crossref","unstructured":"Chen, T., Han, T., Katoen, J.-P., Mereacre, A.: Quantitative model checking of continuous-time Markov chains against timed automata specifications. In: LICS, pp. 309\u2013318. IEEE Comp. Soc. (2009)","DOI":"10.1109\/LICS.2009.21"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-02444-8_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T00:23:15Z","timestamp":1558052595000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-02444-8_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319024431","9783319024448"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-02444-8_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}