{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:23:16Z","timestamp":1729610596170,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/dsn.2002.1029011","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T18:14:31Z","timestamp":1056564871000},"page":"657-666","source":"Crossref","is-referenced-by-count":4,"title":["Parallel randomization for large structured Markov chains"],"prefix":"10.1109","author":[{"given":"P.","family":"Kemper","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45417-9_38"},{"key":"17","article-title":"Superposed generalized stochastic Petri nets: Definition and efficient solution","author":"donatelli","year":"1994","journal-title":"Proc Int Conf Application and Theory of Petri Nets LNCS"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/278298.278303"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/32.729691"},{"key":"16","article-title":"The Mo?bius state-level abstract functional interface","author":"derivasi","year":"2001","journal-title":"Proc 12th Int Conf Modelling Tools and Techniques for Computer and Communication System Performance Evaluation (Performance TOOLS'02) LNC 2324"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.2001.953373"},{"key":"14","article-title":"An efficient disk-based tool for solving very large Markov models","author":"deavours","year":"1997","journal-title":"Proc 9th Int Conf Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS '97) LNCS 1245"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1999.796529"},{"key":"12","article-title":"Efficient reachability set generation and storage using decision diagrams","author":"ciardo","year":"1999","journal-title":"Proc 20th Int Conf Application and Theory of Petri Nets LNCS 1639"},{"key":"21","doi-asserted-by":"crossref","DOI":"10.1109\/RELDI.2000.885410","article-title":"The use of model checking techniques for quantitative dependability evaluation","author":"haverkort","year":"2000","journal-title":"Proc IEEE Symp Reliable Distributed Systems"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/42404.42409"},{"key":"22","article-title":"Multi-terminal binary decision diagrams to represent and analyse continuous time Markov chains","author":"hermanns","year":"0","journal-title":"Proc 3rd Int Workshop on the Numerical Solution of Markov Chains Prensas Universitarias de Zaragoza 1999"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1080\/03461238.1953.10419459"},{"key":"24","article-title":"Faster and symbolic CTMC model checking","author":"katoen","year":"2001","journal-title":"Proc PAPM-PROBMIV'01 LNCS 2165"},{"key":"25","article-title":"Distributed disk-based solution techniques for large Markov models","author":"knottenbelt","year":"0","journal-title":"Proc 3rd Int Workshop on the Numerical Solution of Markov Chains Prensas Universitarias de Zaragoza 1999"},{"key":"26","article-title":"Experimental study of parallel iterative solutions of Markov chains with block partitions","author":"migallon","year":"0","journal-title":"Proc 3rd Int Workshop on the Numerical Solution of Markov Chains Prensas Universitarias de Zaragoza 1999"},{"journal-title":"Proc 3rd Int Workshop on the Numerical Solution of Markov Chains Prensas Universitarias de Zaragoza 1999","year":"0","key":"27"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/49.64901"},{"key":"29","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1016\/S0167-9473(98)00062-0","article-title":"A survey of methods for computing large sparse matrix exponentials arising in Markov chains","volume":"29","author":"sidje","year":"1999","journal-title":"Computational Statistics and Data Analysis"},{"key":"3","article-title":"Markovian process algebra: Composition and equivalence","author":"buchholz","year":"1994","journal-title":"Proc of the 2nd Work on Process Algebras and Performance Modelling"},{"journal-title":"Parallel and Distributed Computation Numerical Methods","year":"1989","author":"bertsekas","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/12.247838"},{"key":"1","article-title":"On the logical characterisation of performability results","author":"baier","year":"2000","journal-title":"Automata Languages and Programming (ICALP'2000) LNCS 1853"},{"key":"7","article-title":"Distributed steady state analysis using Kronecker algebra","author":"buchholz","year":"0","journal-title":"Proc 3rd Int Workshop on the Numerical Solution of Markov Chains Prensas Universitarias de Zaragoza 1999"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.12.3.203.12634"},{"key":"5","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1016\/S0168-9274(99)00005-7","article-title":"Structured analysis approaches for large Markov chains","volume":"31","author":"buchholz","year":"1999","journal-title":"Applied Numerical Mathematics"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(93)E0040-C"},{"key":"9","article-title":"New features in the APNN toolbox","author":"buchholz","year":"2001","journal-title":"Tools of Aachen 2001 International Multiconference on Measurement Modelling and Evaluation of Computer-Communication Systems"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/S1567-8326(02)00067-X"}],"event":{"name":"International Conference on Dependable Systems and Networks","acronym":"DSN-02","location":"Washington, DC, USA"},"container-title":["Proceedings International Conference on Dependable Systems and Networks"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7991\/22107\/01029011.pdf?arnumber=1029011","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T18:42:03Z","timestamp":1497552123000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1029011\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/dsn.2002.1029011","relation":{},"subject":[]}}