{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:02:00Z","timestamp":1729663320763,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csd.2004.1309134","type":"proceedings-article","created":{"date-parts":[[2004,11,12]],"date-time":"2004-11-12T19:14:14Z","timestamp":1100286854000},"page":"217-226","source":"Crossref","is-referenced-by-count":3,"title":["Guided model checking with a bayesian meta-heuristic"],"prefix":"10.1109","author":[{"given":"K.","family":"Seppi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Jones","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Lamborn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"Parallel search for LTL violations","author":"jones","year":"2004","journal-title":"Software Tools for Technology Transfer"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45422-5_17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2002.11.002"},{"key":"15","article-title":"Empirical Bayes assisted probabilistic search","volume":"vv 301","author":"seppi","year":"2003","journal-title":"Tech Rep"},{"key":"16","article-title":"A new scheme for memory-efficient probabilistic verification","author":"stern","year":"1996","journal-title":"IFIP TC6\/WG6 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification Testing and Verification"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.1983.10477920"},{"key":"14","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1007\/3-540-61474-5_86","article-title":"The Mun\ufffd verification system","volume":"1102","author":"dill","year":"1996","journal-title":"Lecture Notes in Computer Science"},{"journal-title":"Optimal Statistical Decisions","year":"1970","author":"degroot","key":"11"},{"key":"12","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1093\/biomet\/59.2.335","article-title":"Empirical Bayes estimators on vector observations - An extension of Stein's method","volume":"59","author":"morris","year":"1972","journal-title":"Biometrika"},{"journal-title":"Bayes and Empirical Bayes Methods for Data Analysis","year":"1996","author":"bradley","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01531007"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TSSC.1968.300136"},{"key":"10","first-page":"197","article-title":"Inadmissibility of the usual estimator for the mean of a multivariate normal distribution","volume":"1","author":"stein","year":"1955","journal-title":"Proceedings of the Third Berkeley Symposium on Mathematical Statistics and Probability"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566175"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337306"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/277044.277201"},{"journal-title":"Emperical Bayes Methods","year":"1970","author":"maritz","key":"4"},{"key":"9","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45139-0_5","article-title":"Directed explicit model checking with HSF-SPIN","author":"edelkamp","year":"2001","journal-title":"8th International SPIN Workshop on Model Checking Software"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2003.1207713"}],"event":{"name":"Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004.","location":"Hamilton, ON, Canada"},"container-title":["Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9149\/29052\/01309134.pdf?arnumber=1309134","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T07:51:50Z","timestamp":1497599510000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1309134\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/csd.2004.1309134","relation":{},"subject":[]}}