{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:52:05Z","timestamp":1750308725368,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,6,25]],"date-time":"2012-06-25T00:00:00Z","timestamp":1340582400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,6,25]]},"DOI":"10.1145\/2304736.2304752","type":"proceedings-article","created":{"date-parts":[[2012,6,27]],"date-time":"2012-06-27T13:31:21Z","timestamp":1340803881000},"page":"83-92","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Reliability analysis in component-based development via probabilistic model checking"],"prefix":"10.1145","author":[{"given":"Nikola","family":"Benes","sequence":"first","affiliation":[{"name":"Masaryk University, Brno, Czech Republic"}]},{"given":"Barbora","family":"Buhnova","sequence":"additional","affiliation":[{"name":"Masaryk University, Brno, Czech Republic"}]},{"given":"Ivana","family":"Cerna","sequence":"additional","affiliation":[{"name":"Masaryk University, Brno, Czech Republic"}]},{"given":"Radek","family":"Oslejsek","sequence":"additional","affiliation":[{"name":"Masaryk University, Brno, Czech Republic"}]}],"member":"320","published-online":{"date-parts":[[2012,6,25]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Principles of Model Checking (Representation and Mind Series)","author":"Baier C.","year":"2008","unstructured":"C. Baier and J.-P. Katoen . Principles of Model Checking (Representation and Mind Series) . The MIT Press , 2008 . C. Baier and J.-P. Katoen. Principles of Model Checking (Representation and Mind Series). The MIT Press, 2008."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2008.29"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.94"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.234477"},{"volume-title":"A system of specification patterns","author":"Dwyer M.","key":"e_1_3_2_1_5_1","unstructured":"M. Dwyer , G. S. Avrunin , and J. C. Corbett . A system of specification patterns . http:\/\/patterns.projects.cis.ksu.edu\/documentation\/patterns\/ltl.shtml. Last retrieved 2012-04-20. M. Dwyer, G. S. Avrunin, and J. C. Corbett. A system of specification patterns. http:\/\/patterns.projects.cis.ksu.edu\/documentation\/patterns\/ltl.shtml. Last retrieved 2012-04-20."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/298595.298598"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v20:1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87879-7_8"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDS.1998.707705"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/977407.978730"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2007.4"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/951952.952354"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(01)00034-7"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0898-1221(03)90116-7"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2007.34"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-006-0040-x"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2009.07.007"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6377(89)90031-X"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530882"},{"key":"e_1_3_2_1_20_1","volume-title":"Handbook of Software Reliability Engineering","author":"Lyu M.","year":"1996","unstructured":"M. Lyu , editor. Handbook of Software Reliability Engineering . McGraw-Hill, Inc. , 1996 . M. Lyu, editor. Handbook of Software Reliability Engineering. McGraw-Hill, Inc., 1996."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2000259.2000275"},{"key":"e_1_3_2_1_22_1","volume-title":"Software reliability: measurement, prediction, application","author":"Musa J. D.","year":"1987","unstructured":"J. D. Musa , A. Iannino , and K. Okumoto . Software reliability: measurement, prediction, application . McGraw-Hill, Inc. , New York, NY, USA , 1987 . J. D. Musa, A. Iannino, and K. Okumoto. Software reliability: measurement, prediction, application. McGraw-Hill, Inc., New York, NY, USA, 1987."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(97)00133-6"},{"key":"e_1_3_2_1_24_1","unstructured":"Probabilistic verification for reliability web page. http:\/\/paradise.fi.muni.cz\/coin\/prob.html. Last retrieved 2012-04-20.  Probabilistic verification for reliability web page. http:\/\/paradise.fi.muni.cz\/coin\/prob.html. Last retrieved 2012-04-20."},{"key":"e_1_3_2_1_25_1","unstructured":"ProbDiVinE project web page. http:\/\/divine.fi.muni.cz\/darcs\/mainline\/gui\/help\/divine\/probdivine.html. Last retrieved 2012-04-20.  ProbDiVinE project web page. http:\/\/divine.fi.muni.cz\/darcs\/mainline\/gui\/help\/divine\/probdivine.html. Last retrieved 2012-04-20."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85289-6_3"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(02)00080-8"},{"key":"e_1_3_2_1_28_1","series-title":"LNCS","first-page":"108","volume-title":"Proc. of QoSA'07","author":"Roshandel R.","year":"2007","unstructured":"R. Roshandel , N. Medvidovic , and L. Golubchik . A bayesian model for predicting reliability of software systems at the architectural level . In Proc. of QoSA'07 , volume 4880 of LNCS , pages 108 -- 126 . Springer , 2007 . R. Roshandel, N. Medvidovic, and L. Golubchik. A bayesian model for predicting reliability of software systems at the architectural level. In Proc. of QoSA'07, volume 4880 of LNCS, pages 108--126. Springer, 2007."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.11.709"}],"event":{"name":"Comparch '12: Federated Events on Component-Based Software Engineering and Software Architecture","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Bertinoro Italy","acronym":"Comparch '12"},"container-title":["Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2304736.2304752","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2304736.2304752","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:44Z","timestamp":1750277684000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2304736.2304752"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,25]]},"references-count":29,"alternative-id":["10.1145\/2304736.2304752","10.1145\/2304736"],"URL":"https:\/\/doi.org\/10.1145\/2304736.2304752","relation":{},"subject":[],"published":{"date-parts":[[2012,6,25]]},"assertion":[{"value":"2012-06-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}