{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:17:28Z","timestamp":1759637848136,"version":"3.44.0"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2008,6,1]],"date-time":"2008-06-01T00:00:00Z","timestamp":1212278400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2008,6,1]],"date-time":"2008-06-01T00:00:00Z","timestamp":1212278400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1109\/dsn.2008.4630122","type":"proceedings-article","created":{"date-parts":[[2008,9,26]],"date-time":"2008-09-26T11:10:29Z","timestamp":1222427429000},"page":"512-521","source":"Crossref","is-referenced-by-count":24,"title":["Architectural dependability evaluation with Arcade"],"prefix":"10.1109","author":[{"given":"H.","family":"Boudali","sequence":"first","affiliation":[{"name":"University of Twente, Department of Computer Science, Enschede, NL, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Crouzen","sequence":"additional","affiliation":[{"name":"Saarland University, Department of Computer Science, Saarbr\u00fccken, D, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B. R.","family":"Haverkort","sequence":"additional","affiliation":[{"name":"University of Twente, Department of Computer Science, Enschede, NL, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Kuntz","sequence":"additional","affiliation":[{"name":"University of Twente, Department of Computer Science, Enschede, NL, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.I.A.","family":"Stoelinga","sequence":"additional","affiliation":[{"name":"University of Twente, Department of Computer Science, Enschede, NL, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1016\/0743-7315(92)90006-9","article-title":"dependability evaluation using composed san-based reward models","volume":"15","author":"sanders","year":"1992","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1016\/0951-8320(96)00033-6"},{"year":"2006","key":"17","article-title":"uml profile for modeling quality of service and fault tolerance characteristics and mechanisms"},{"key":"18","first-page":"14","article-title":"a system dependability modeling framework using aadl and gspns","volume":"4615","author":"rugina","year":"2006","journal-title":"LNCS"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951"},{"key":"16","first-page":"219","article-title":"an introduction to input\/output automata","volume":"2","author":"lynch","year":"1989","journal-title":"CWI Quarterly"},{"key":"13","article-title":"interactive markov chains","volume":"2428","author":"hermanns","year":"2002","journal-title":"Lecture Notes in Computer Science"},{"key":"14","first-page":"51","article-title":"compositional performance modelling with the tipptool","volume":"1469","author":"hermanns","year":"1998","journal-title":"LNCS"},{"year":"0","key":"11"},{"year":"0","key":"12"},{"key":"21","article-title":"opensesame: the simple but extensive, structured availability modeling environment","author":"walter","year":"2007","journal-title":"RESS In Press corrected proof"},{"journal-title":"Modelling with Generalized Stochastic Petri Nets","year":"1995","author":"ajmone marsan","key":"3"},{"journal-title":"Reliability of Computer Systems and Networks Fault Tolerance Analysis and Design","year":"2002","author":"shooman","key":"20"},{"year":"0","key":"2"},{"journal-title":"Galileo tool","year":"0","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/24.159800"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2000.895468"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2007.37"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75596-8_31"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1205180"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2006.1677373"},{"year":"0","key":"8"}],"event":{"name":"2008 IEEE International Conference on Dependable Systems & Networks With FTCS and DCC (DSN)","start":{"date-parts":[[2008,6,24]]},"location":"Anchorage, AK, USA","end":{"date-parts":[[2008,6,27]]}},"container-title":["2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4610267\/4630050\/04630122.pdf?arnumber=4630122","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T17:40:31Z","timestamp":1756489231000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4630122\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/dsn.2008.4630122","relation":{},"subject":[],"published":{"date-parts":[[2008,6]]}}}