{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T17:00:40Z","timestamp":1742403640067,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,6]]},"DOI":"10.1109\/dsn.2007.37","type":"proceedings-article","created":{"date-parts":[[2007,7,23]],"date-time":"2007-07-23T16:40:11Z","timestamp":1185208811000},"page":"708-717","source":"Crossref","is-referenced-by-count":92,"title":["Dynamic Fault Tree Analysis Using Input\/Output Interactive Markov Chains"],"prefix":"10.1109","author":[{"given":"Hichem","family":"Boudali","sequence":"first","affiliation":[]},{"given":"Pepijn","family":"Crouzen","sequence":"additional","affiliation":[]},{"given":"Marielle","family":"Stoelinga","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/24.814522"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"17"},{"journal-title":"Introduction to the Numerical Solution of Markov Chains","year":"1994","author":"stewart","key":"18"},{"journal-title":"Dynamic probability systems Volume 1 Markov models","year":"1971","author":"howard","key":"15"},{"key":"16","first-page":"219","article-title":"An introduction to input\/output automata","volume":"2","author":"lynch","year":"1988","journal-title":"CWI Quarterly"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-68061-6_5"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00019-2"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.1997.571666"},{"key":"12","article-title":"Interactive Markov Chains","volume":"2428","author":"hermanns","year":"2002","journal-title":"Lecture Notes in Computer Science"},{"journal-title":"A Bayesian Network Reliability Modeling and Analysis Framework","year":"2005","author":"boudali","key":"3"},{"journal-title":"Fault Tree Handbook NUREG-0492","year":"1981","author":"veseley","key":"20"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.07.022"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2003.1182018"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/24.159800"},{"journal-title":"Dynamic Fault Tree Models Techniques for Analyses of Advanced Fault Tolerant Computer Systems","year":"1991","author":"boyd","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(03)00143-1"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2005.1408404"},{"article-title":"A compositional semantics for Dynamic Fault Trees in terms of Interactive Markov Chains. Technical report, University of Twente, Enschede, the Netherlands","year":"0","author":"boudali","key":"4"},{"journal-title":"Compositional analysis of dynamic fault trees","year":"2006","author":"crouzen","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2000.885878"}],"event":{"name":"37th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN'07)","start":{"date-parts":[[2007,6,25]]},"location":"Edinburgh, UK","end":{"date-parts":[[2007,6,28]]}},"container-title":["37th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN'07)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4272934\/4272935\/04273022.pdf?arnumber=4273022","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T19:01:44Z","timestamp":1489690904000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4273022\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,6]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/dsn.2007.37","relation":{},"subject":[],"published":{"date-parts":[[2007,6]]}}}