{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T01:55:05Z","timestamp":1784426105298,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540755951","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75596-8_31","type":"book-chapter","created":{"date-parts":[[2007,11,3]],"date-time":"2007-11-03T14:03:37Z","timestamp":1194098617000},"page":"441-456","source":"Crossref","is-referenced-by-count":49,"title":["A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains"],"prefix":"10.1007","author":[{"given":"Hichem","family":"Boudali","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pepijn","family":"Crouzen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"31_CR1","doi-asserted-by":"crossref","unstructured":"Amari, S., Dill, G., Howald, E.: A new approach to solve dynamic fault trees. In: Annual Reliability and Maintainability Symposium, pp. 374\u2013379 (January 2003)","DOI":"10.1109\/RAMS.2003.1182018"},{"issue":"1","key":"31_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.tcs.2005.07.022","volume":"345","author":"C. Baier","year":"2005","unstructured":"Baier, C., Hermanns, H., Katoen, J.P., Haverkort, B.R.: Efficient computation of time-bounded reachability probabilities in uniform continuous-time markov decision processes. Theor. Comput. Sci.\u00a0345(1), 2\u201326 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"31_CR3","unstructured":"Boudali, H., Crouzen, P., Stoelinga, M.I.A.: CORAL - a tool for compositional reliability and availability analysis. In: ARTIST workshop. Presented at the 19th international conference on Computer Aided Verification"},{"key":"31_CR4","first-page":"708","volume-title":"Proc. of Dependable Systems and Networks conference","author":"H. Boudali","year":"2007","unstructured":"Boudali, H., Crouzen, P., Stoelinga, M.I.A.: Dynamic fault tree analysis using input\/output interactive markov chains. In: Proc. of Dependable Systems and Networks conference, UK, pp. 708\u2013717. IEEE Computer Society, Los Alamitos (2007)"},{"key":"31_CR5","unstructured":"Boudali, H., Crouzen, P., Stoelinga, M.I.A.: Compositional analysis of dynamic fault trees. Technical report, University of Twente (to appear)"},{"issue":"3","key":"31_CR6","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/j.ress.2004.06.004","volume":"87","author":"H. Boudali","year":"2005","unstructured":"Boudali, H., Dugan, J.B.: A discrete-time Bayesian network reliability modeling and analysis framework. Reliability Engineering and System Safety\u00a087(3), 337\u2013349 (2005)","journal-title":"Reliability Engineering and System Safety"},{"key":"31_CR7","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1109\/RAMS.2005.1408404","volume-title":"Proc. of Reliability and Maintainability Symposium","author":"H. Boudali","year":"2005","unstructured":"Boudali, H., Dugan, J.B.: A new Bayesian network approach to solve dynamic fault trees. In: Proc. of Reliability and Maintainability Symposium, pp. 451\u2013456. IEEE, Los Alamitos (2005)"},{"issue":"1","key":"31_CR8","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0304-3975(01)00043-3","volume":"282","author":"M. Bravetti","year":"2002","unstructured":"Bravetti, M., Gorrieri, R.: The theory of interactive generalized semi-markov processes. Theoretical Computer Science\u00a0282(1), 5\u201332 (2002)","journal-title":"Theoretical Computer Science"},{"key":"31_CR9","unstructured":"Construction and Analysis of\u00a0Distributed Processes (CADP)\u00a0software tool, http:\/\/www.inrialpes.fr\/vasy\/cadp\/"},{"key":"31_CR10","first-page":"270","volume-title":"Proc. of the Inter. Symp. on Software Reliability Engineering","author":"D. Coppit","year":"2000","unstructured":"Coppit, D., Sullivan, K.J., Dugan, J.B.: Formal semantics of models for computational engineering: A case study on dynamic fault trees. In: Proc. of the Inter. Symp. on Software Reliability Engineering, pp. 270\u2013282. IEEE, Los Alamitos (2000)"},{"issue":"3","key":"31_CR11","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1109\/24.159800","volume":"41","author":"J.B. Dugan","year":"1992","unstructured":"Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Dynamic fault-tree models for fault-tolerant computer systems. IEEE Trans. on Reliability\u00a041(3), 363\u2013377 (1992)","journal-title":"IEEE Trans. on Reliability"},{"key":"31_CR12","doi-asserted-by":"crossref","unstructured":"Dugan, J.B., Venkataraman, B., Gulati, R.: DIFTree: a software package for the analysis of dynamic fault tree models. In: Reliability and Maintainability Symposium, pp. 64\u201370 (January 1997)","DOI":"10.1109\/RAMS.1997.571666"},{"key":"31_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/3-540-45614-7_23","volume-title":"FME 2002","author":"H. Garavel","year":"2002","unstructured":"Garavel, H., Hermanns, H.: On combining functional verification and performance evaluation using cadp. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol.\u00a02391, pp. 410\u2013429. Springer, Heidelberg (2002)"},{"key":"31_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"Interactive Markov Chains","author":"H. Hermanns","year":"2002","unstructured":"Hermanns, H.: Interactive Markov Chains. LNCS, vol.\u00a02428. Springer, Heidelberg (2002)"},{"key":"31_CR15","first-page":"718","volume-title":"Proc. of Dependable Systems and Networks conference","author":"H. Hermanns","year":"2007","unstructured":"Hermanns, H., Johr, S.: Uniformity by construction in the analysis of nondeterministic stochastic systems. In: Proc. of Dependable Systems and Networks conference, UK, pp. 718\u2013728. IEEE Computer Society, Los Alamitos (2007)"},{"issue":"1","key":"31_CR16","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0167-6423(99)00019-2","volume":"36","author":"H. Hermanns","year":"2000","unstructured":"Hermanns, H., Katoen, J.P.: Automated compositional Markov chain generation for a plain-old telephone system. Sci. of Comp. Programming\u00a036(1), 97\u2013127 (2000)","journal-title":"Sci. of Comp. Programming"},{"issue":"3","key":"31_CR17","first-page":"219","volume":"2","author":"N.A. Lynch","year":"1989","unstructured":"Lynch, N.A., Tuttle, M.R.: An introduction to input\/output automata. CWI Quarterly\u00a02(3), 219\u2013246 (1989)","journal-title":"CWI Quarterly"},{"issue":"3","key":"31_CR18","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1109\/24.406578","volume":"44","author":"M. Malhotra","year":"1995","unstructured":"Malhotra, M., Trivedi, K.S.: Dependability modeling using petri-nets. IEEE Transactions on Reliability\u00a044(3), 428\u2013440 (1995)","journal-title":"IEEE Transactions on Reliability"},{"key":"31_CR19","volume-title":"Software Specifications & Design workshop","author":"K.-C. Tai","year":"1993","unstructured":"Tai, K.-C., Koppol, P.V.: An incremental approach to reachability analysis of distributed programs. In: Software Specifications & Design workshop, IEEE Computer Society Press, Los Alamitos (1993)"},{"key":"31_CR20","unstructured":"Veseley, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault tree handbook, NUREG-0492. Technical report, NASA (1981)"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75596-8_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T02:30:51Z","timestamp":1737513051000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75596-8_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540755951"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75596-8_31","relation":{},"subject":[]}}