{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:39:29Z","timestamp":1743118769848,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231691"},{"type":"electronic","value":"9783540302339"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-30233-9_22","type":"book-chapter","created":{"date-parts":[[2010,10,24]],"date-time":"2010-10-24T12:06:08Z","timestamp":1287921968000},"page":"293-307","source":"Crossref","is-referenced-by-count":19,"title":["Symbolic Performance and Dependability Evaluation with the Tool CASPA"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Kuntz","sequence":"first","affiliation":[]},{"given":"Markus","family":"Siegle","sequence":"additional","affiliation":[]},{"given":"Edith","family":"Werner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"AT&T. Drawing graphs with dot, \n                    \n                      http:\/\/www.research.att.com"},{"issue":"2\/3","key":"22_CR2","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1023\/A:1008699807402","volume":"10","author":"R.I. Bahar","year":"1997","unstructured":"Bahar, R.I., Frohm, E.A., Gaona, C.M., Hachtel, G.D., Macii, E., Pardo, A., Somenzi, F.: Algebraic Decision Diagrams and their Applications. Formal Methods in System Design\u00a010(2\/3), 171\u2013206 (1997)","journal-title":"Formal Methods in System Design"},{"issue":"8","key":"22_CR3","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers\u00a0C-35(8), 677\u2013691 (1986)","journal-title":"IEEE Transactions on Computers"},{"key":"22_CR4","unstructured":"Ciardo, G., Jones, R.L., Miner, A.S., Siminiceanu, R.: SMART: Stochastic Model Analyzer for Reliability and Timing. In: Tools of Aachen 2001 Int. Multiconference on Measurement, Modelling and Evaluation of Computer Communication Systems, pp. 29\u201334 (2001)"},{"key":"22_CR5","unstructured":"Ciardo, G., Tilgner, M.: On the use of Kronecker operators for the solution of generalized stochastic Petri nets. Technical Report 96-35, ICASE (1996)"},{"key":"22_CR6","unstructured":"daVinci V2.1, \n                    \n                      http:\/\/www.informatik.uni-bremen.de\/davinci\/"},{"key":"22_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/3-540-46419-0_27","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Alfaro de","year":"2000","unstructured":"de Alfaro, L., Kwiatkowska, M., Norman, G., Parker, D., Segala, R.: Symbolic Model Checking for Probabilistic Processes using MTBDDs and the Kronecker Representation. In: Schwartzbach, M.I., Graf, S. (eds.) TACAS 2000. LNCS, vol.\u00a01785, pp. 395\u2013410. Springer, Heidelberg (2000)"},{"key":"22_CR8","unstructured":"Derisavi, S., Kemper, P., Sanders, W.H.: Symbolic State-Space Exploration and Numerical Analysis of State-Sharing Composed Models. In: Fourth Int. Conf. on the Numerical Solution of Markov Chains, pp. 167\u201318167\u2013189 (2003)"},{"key":"22_CR9","unstructured":"Frank, E.: Codierung und numerische Analyse von Transitionssystemen unter Verwendung von MTBDDs. Student\u2019s thesis, Universit\u00e4t Erlangen\u2013N\u00fcrnberg, IMMD VII (1999) (in German)"},{"issue":"2\/3","key":"22_CR10","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1023\/A:1008647823331","volume":"10","author":"M. Fujita","year":"1997","unstructured":"Fujita, M., McGeer, P., Yang, J.C.-Y.: Multi-terminal Binary Decision Diagrams: An efficient data structure for matrix representation. Formal Methods in System Design\u00a010(2\/3), 149\u2013169 (1997)","journal-title":"Formal Methods in System Design"},{"key":"22_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-540-39878-3_15","volume-title":"Computer Safety, Reliability, and Security","author":"S. Gilmore","year":"2003","unstructured":"Gilmore, S., Kloul, L.: A unified tool for performance modelling and prediction. In: Anderson, S., Felici, M., Littlewood, B. (eds.) SAFECOMP 2003. LNCS, vol.\u00a02788, pp. 179\u2013192. Springer, Heidelberg (2003)"},{"issue":"1-4","key":"22_CR12","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0166-5316(99)00056-5","volume":"39","author":"H. Hermanns","year":"2000","unstructured":"Hermanns, H., Herzog, U., Klehmet, U., Mertsiotakis, V., Siegle, M.: Compositional performance modelling with the TIPPtool. Performance Evaluation\u00a039(1-4), 5\u201335 (2000)","journal-title":"Performance Evaluation"},{"issue":"1-2","key":"22_CR13","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/S1567-8326(02)00066-8","volume":"56","author":"H. Hermanns","year":"2003","unstructured":"Hermanns, H., Kwiatkowska, M., Norman, G., Parker, D., Siegle, M.: On the use of MTBDDs for performability analysis and verification of stochastic systems. Journal of Logic and Algebraic Programming\u00a056(1-2), 23\u201367 (2003)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"22_CR14","unstructured":"Hermanns, H., Meyer-Kayser, J., Siegle, M.: Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains. In: 3rd Int. Workshop on the Numerical Solution of Markov Chains, Prensas Universitarias de Zaragoza, pp. 188\u2013207 (1999)"},{"key":"22_CR15","unstructured":"Hermanns, H., Rettelbach, M.: Syntax, Semantics, Equivalences, and Axioms for MTIPP. In: Proc. of PAPM 1994, Universit\u00e4t Erlangen-N\u00fcrnberg. Arbeitsberichte des IMMD, vol.\u00a027 (4), pp. 71\u201388 (1994)"},{"issue":"9","key":"22_CR16","doi-asserted-by":"publisher","first-page":"1649","DOI":"10.1109\/49.62852","volume":"8","author":"O.C. Ibe","year":"1990","unstructured":"Ibe, O.C., Trivedi, K.S.: Stochastic Petri Net Models of Polling Systems. IEEE Journal on Selected Areas in Communications\u00a08(9), 1649\u20131657 (1990)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"22_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/3-540-44804-7_2","volume-title":"Process Algebra and Probabilistic Methods. Performance Modelling and Verification","author":"J.-P. Katoen","year":"2001","unstructured":"Katoen, J.-P., Kwiatkowska, M., Norman, G., Parker, D.: Faster and Symbolic CTMC Model Checking. In: de Luca, L., Gilmore, S. (eds.) PROBMIV 2001, PAPM-PROBMIV 2001, and PAPM 2001. LNCS, vol.\u00a02165, pp. 23\u201338. Springer, Heidelberg (2001)"},{"key":"22_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/3-540-45605-8_12","volume-title":"Process Algebra and Probabilistic Methods. Performance Modeling and Verification","author":"M. Kuntz","year":"2002","unstructured":"Kuntz, M., Siegle, M.: Deriving symbolic representations from stochastic process algebras. In Process Algebra and Probabilistic Methods. In: Hermanns, H., Segala, R. (eds.) PROBMIV 2002, PAPM-PROBMIV 2002, and PAPM 2002. LNCS, vol.\u00a02399, pp. 188\u2013206. Springer, Heidelberg (2002)"},{"key":"22_CR19","unstructured":"Kuntz, M., Siegle, M.: A stochastic extension of the logic PDL. In: Sixth Int. Workshop on Performability Modeling of Computer and Communication Systems (PMCCS6), Monticello, Illinois, pp. 58\u201361 (2003)"},{"key":"22_CR20","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic Symbolic Model Checker. In: MMB-PNPM-PAPM-PROBMIV Tool Proceedings, Univ. Dortmund, Informatik IV, Bericht 760\/2001, pp. 7\u2013 12 (2001)"},{"key":"22_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/3-540-46002-0_5","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 52\u201366. Springer, Heidelberg (2002)"},{"key":"22_CR22","unstructured":"Parker, D.: Implementation of symbolic model checking for probabilistic systems. PhD thesis, School of Computer Science, Faculty of Science, University of Birmingham (2002)"},{"issue":"3","key":"22_CR23","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1016\/0743-7315(92)90006-9","volume":"15","author":"W.H. Sanders","year":"1992","unstructured":"Sanders, W.H., Malhis, L.M.: Dependability evaluation using composed SANbased reward models. Journal of Parallel and Distributed Computing\u00a015(3), 238\u2013254 (1992)","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"22_CR24","volume-title":"Behaviour analysis of communication systems: Compositional modelling, compact representation and analysis of performability properties","author":"M. Siegle","year":"2002","unstructured":"Siegle, M.: Behaviour analysis of communication systems: Compositional modelling, compact representation and analysis of performability properties. Shaker Verlag, Aachen (2002)"},{"key":"22_CR25","unstructured":"Somenzi, F.: CUDD: Colorado University Decision Diagram Package, Release 2.3.1. User\u2019s Manual and Programmer\u2019s Manual (February 2001)"},{"key":"22_CR26","unstructured":"Werner, E.: Leistungsbewertung mit Multi-Terminalen Bin\u00e4ren Entscheidungsdiagrammen. Master\u2019s thesis, Universit\u00e4t Erlangen\u2013N\u00fcrnberg, Informatik 7 (2003) (in German)"}],"container-title":["Lecture Notes in Computer Science","Applying Formal Methods: Testing, Performance, and M\/E-Commerce"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30233-9_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:08:03Z","timestamp":1558292883000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30233-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231691","9783540302339"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30233-9_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}