{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T15:42:34Z","timestamp":1746114154270,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,11]]},"DOI":"10.1109\/hldvt.2009.5340170","type":"proceedings-article","created":{"date-parts":[[2009,12,10]],"date-time":"2009-12-10T15:27:48Z","timestamp":1260458868000},"page":"82-87","source":"Crossref","is-referenced-by-count":9,"title":["Localizing transient faults using dynamic bayesian networks"],"prefix":"10.1109","author":[{"given":"Susmit","family":"Jha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenchao","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sanjit A.","family":"Seshia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1989.tb00319.x"},{"key":"18","first-page":"467","article-title":"Representing diagnostic knowledge for probabilistic horn abduction","author":"poole","year":"1992","journal-title":"Readings in Model-Based Diagnosis"},{"journal-title":"Flow Control Andmicro-architecturalmechanisms for Extending the Performance of Interconnection Networks","year":"2001","author":"peh","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2003.1200725"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2007.54"},{"key":"14","first-page":"149","author":"pearl","year":"1998","journal-title":"Bayesian Networks"},{"key":"11","first-page":"667","article-title":"Initial experiments in stochastic search for bayesian networks","author":"littman","year":"1999","journal-title":"Proceedings of the Sixteenth National Conference on Artificial Intelligence"},{"journal-title":"Dynamic Bayesian Networks Representation Inference and Learning","year":"2002","author":"murphy","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2004.1337569"},{"key":"3","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1109\/69.542024","article-title":"Using compiled knowledge to guide and focus abductive diagnosis","volume":"8","author":"console","year":"1996","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1214\/aos\/1176344136"},{"key":"2","doi-asserted-by":"crossref","first-page":"1929","DOI":"10.1109\/ISCAS.1989.100747","article-title":"Combinational profiles of sequential benchmark circuits","volume":"3","author":"brglez","year":"1989","journal-title":"Circuits and Systems 1989 IEEE International Symposium on"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1146916"},{"key":"10","first-page":"18","volume":"3","author":"liang","year":"1998","journal-title":"Pacific Symposium on Biocomputing"},{"key":"7","first-page":"697","article-title":"On the dirichlet prior and bayesian regularizaron","author":"harald steck","year":"2002","journal-title":"NIPS"},{"journal-title":"Learning the Structure of Dynamic Probabilistic Networks","year":"1998","author":"friedman","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90027-U"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1991.tb00388.x"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2002.1041817"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/BF00994016"}],"event":{"name":"2009 IEEE International High Level Design Validation and Test Workshop (HLDVT)","start":{"date-parts":[[2009,11,4]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2009,11,6]]}},"container-title":["2009 IEEE International High Level Design Validation and Test Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5331931\/5340157\/05340170.pdf?arnumber=5340170","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T02:40:26Z","timestamp":1497840026000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5340170\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2009.5340170","relation":{},"subject":[],"published":{"date-parts":[[2009,11]]}}}