{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:53:27Z","timestamp":1725512007761},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540709510"},{"type":"electronic","value":"9783540709527"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-70952-7_3","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T12:40:01Z","timestamp":1182861601000},"page":"35-50","source":"Crossref","is-referenced-by-count":0,"title":["An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment"],"prefix":"10.1007","author":[{"given":"Kai","family":"Lampka","sequence":"first","affiliation":[]},{"given":"Markus","family":"Siegle","sequence":"additional","affiliation":[]},{"given":"Max","family":"Walter","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Formal Methods in System Design: Special Issue on Multi-terminal Binary Decision Diagrams10(2-3) (1997)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Bouissou, M., Bon, J.L.: A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes. Reliability Engineering and System Safety, 149\u2013163 (November 2003)","DOI":"10.1016\/S0951-8320(03)00143-1"},{"issue":"8","key":"3_CR3","first-page":"677","volume":"C-35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based Algorithms for Boolean Function Manipulation. IEEE ToC\u00a0C-35(8), 677\u2013691 (1986)","journal-title":"IEEE ToC"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1007\/978-3-540-45232-4_6","volume-title":"Computer Performance Evaluations. Modelling Techniques and Tools","author":"G. Ciardo","year":"2003","unstructured":"Ciardo, G., Jones, R.L., Miner, A.S., Siminiceanu, R.: Logical and stochastic modeling with SMART. In: Kemper, P., Sanders, W.H. (eds.) TOOLS 2003. LNCS, vol.\u00a02794, pp. 78\u201397. Springer, Heidelberg (2003)"},{"issue":"10","key":"3_CR5","doi-asserted-by":"publisher","first-page":"956","DOI":"10.1109\/TSE.2002.1041052","volume":"28","author":"D. Deavours","year":"2002","unstructured":"Deavours, D., Clark, G., Courtney, T., Daly, D., Derisavi, S., Doyle, J., Sanders, W.H., Webster, P.: The Moebius Framework and Its Implementation. IEEE Transactions on Software Engineering\u00a028(10), 956\u2013969 (2002)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"3_CR6","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1109\/24.855536","volume":"49","author":"J.B. Dugan","year":"2000","unstructured":"Dugan, J.B., Sullivan, K.J., Coppit, D.: Developing a low-cost high-quality software tool for dynamic fault-tree analysis. IEEE Transaction on Reliability\u00a049(1), 49\u201359 (2000)","journal-title":"IEEE Transaction on Reliability"},{"key":"3_CR7","volume-title":"Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, vol. 4","author":"G. Graf","year":"2000","unstructured":"Graf, G., Leberecht, M., Walter, M.: High Availability Commodity Computing - A CompactPCI-System Evaluation. In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, vol. 4, CSREA Press, Las Vegas (2000)"},{"issue":"2","key":"3_CR8","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.entcs.2005.10.030","volume":"153","author":"M. Kwiatkowska","year":"2005","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Quantitative analysis with the probabilistic model checker PRISM. Electronic Notes in Theoretical Computer Science\u00a0153(2), 5\u201331 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"3_CR9","volume-title":"Performance Modelling with Deterministic and Stochastic Petri Nets","author":"C. Lindemann","year":"1998","unstructured":"Lindemann, C.: Performance Modelling with Deterministic and Stochastic Petri Nets. Wiley and Sons, Chichester (1998)"},{"key":"3_CR10","unstructured":"Lampka, K., Siegle, M.: Activity-Local Symbolic State Graph Generation for High-Level Stochastic Models. In: Proc. of MMB Conference 2006, pp. 245\u2013264 (2006)"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Lampka, K., Siegle, M.: Analysis of Markov Reward Models using Zero-suppressed Multi-terminal Binary Decision Diagrams. To appear in Int. Conf. Valuetools 2006 (2006)","DOI":"10.1145\/1190095.1190139"},{"key":"3_CR12","first-page":"272","volume-title":"Proc. of DAC","author":"S. Minato","year":"1993","unstructured":"Minato, S.: Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems. In: Proc. of DAC, Dallas, Texas, USA, June 1993, pp. 272\u2013277. ACM Press, New York (1993)"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/3-540-45177-3_10","volume-title":"Architecting Dependable Systems","author":"I. Majzik","year":"2003","unstructured":"Majzik, I., Pataricza, A., Bondavalli, A.: Stochastic Dependability Analysis of System Architecture Based on UML Models. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems. LNCS, vol.\u00a02677, pp. 219\u2013244. Springer, Heidelberg (2003)"},{"key":"3_CR14","unstructured":"Parker, D.: Implementation of Symbolic Model Checking for Probabilistic Systems. PhD thesis, University of Birmingham (2002)"},{"key":"3_CR15","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/978-3-7091-9123-1_10","volume-title":"Dependable Computing for Critical Applications, vol. 4","author":"W.H. Sanders","year":"1991","unstructured":"Sanders, W.H., Meyer, J.F.: A unified Approach for specifying Measures of Performance, Dependability, and Performability. In: Dependable Computing for Critical Applications, vol. 4, pp. 215\u2013237. Springer, Heidelberg (1991)"},{"key":"3_CR16","unstructured":"Somenzi, F.: CUDD Package, Release 2.4.x. http:\/\/vlsi.colorado.edu\/~fabio"},{"key":"3_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-2367-3","volume-title":"Performance and Reliability Analysis of Computer Systems","author":"R.A. Sahner","year":"1996","unstructured":"Sahner, R.A., Trivedi, K.S., Puliafito, A.: Performance and Reliability Analysis of Computer Systems. Kluwer Academic Publishers, Dordrecht (1996)"},{"issue":"4","key":"3_CR18","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1109\/24.756088","volume":"47","author":"D. Tang","year":"1998","unstructured":"Tang, D., Hecht, M., Miller, J., Handal, J.: MEADEP: A dependability evaluation tool for engineers. IEEE Transaction on Reliability\u00a047(4), 443\u2013450 (1998)","journal-title":"IEEE Transaction on Reliability"},{"key":"3_CR19","volume-title":"The modeling world of Reliability\/Safety Engineering","author":"M. Walter","year":"2005","unstructured":"Walter, M., Schneeweiss, W.: The modeling world of Reliability\/Safety Engineering. LiLoLe Verlag, Hagen (2005)"},{"key":"3_CR20","first-page":"226","volume-title":"Proc. Ann. Reliability and Maintainability Symp. (RAMS 2004), Los Angeles, USA","author":"M. Walter","year":"2004","unstructured":"Walter, M., Trinitis, C.: How to Integrate Inter-Component Dependencies into Combinatorial Availability Models. In: Proc. Ann. Reliability and Maintainability Symp (RAMS 2004), Los Angeles, USA, pp. 226\u2013231. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"3_CR21","volume-title":"Proc. 2nd International Conference on the Quantitative Evaluation of Systems (QEST 2005)","author":"M. Walter","year":"2005","unstructured":"Walter, M., Trinitis, C.: OpenSESAME: Simple but Extensive Structured Availability Modeling Environment. In: Proc. 2nd International Conference on the Quantitative Evaluation of Systems (QEST 2005), IEEE Computer Society Press, Los Alamitos (2005)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Applications and Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70952-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T20:34:54Z","timestamp":1556570094000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70952-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540709510","9783540709527"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70952-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}