{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:04:59Z","timestamp":1725483899941},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540404552"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-45034-3_41","type":"book-chapter","created":{"date-parts":[[2007,5,20]],"date-time":"2007-05-20T08:38:50Z","timestamp":1179650330000},"page":"403-416","source":"Crossref","is-referenced-by-count":1,"title":["Debugging VHDL Designs Using Temporal Process Instances"],"prefix":"10.1007","author":[{"given":"Daniel","family":"K\u00f6b","sequence":"first","affiliation":[]},{"given":"Bernhard","family":"Peischl","sequence":"additional","affiliation":[]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"41_CR1","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","volume":"1","author":"L. Console","year":"1991","unstructured":"Luca Console, Daniele Theseider Dupr\u00e9, and Pietro Torasso. On the relationship between abduction and deduction. Journal of Logic and Computation, 1(5):661\u2013690, 1991.","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"41_CR2","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer de","year":"1987","unstructured":"Johan de Kleer and Brian C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32(1):97\u2013130, 1987.","journal-title":"Artificial Intelligence"},{"key":"41_CR3","unstructured":"Yousri El Fattah and Rina Dechter. Diagnosing tree-decomposable circuits. In Proceedings 14th International Joint Conf. on Artificial Intelligence, pages 1742\u20131748, 1995."},{"issue":"2","key":"41_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0004-3702(99)00034-X","volume":"111","author":"G. Friedrich","year":"1999","unstructured":"Gerhard Friedrich, Markus Stumptner, and Franz Wotawa. Model-basedd iagnosis of hardware designs. Artificial Intelligence, 111(2):3\u201339, July 1999.","journal-title":"Artificial Intelligence"},{"key":"41_CR5","unstructured":"Peter Fr\u00f6hlich and Wolfgang Nejdl. A Static Model-Based Engine for Model-Based Reasoning. In Proceedings 15th International Joint Conf. on Artificial Intelligence, Nagoya, Japan, August 1997."},{"issue":"1","key":"41_CR6","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0004-3702(89)90079-9","volume":"41","author":"R. Greiner","year":"1989","unstructured":"Russell Greiner, Barbara A. Smith, and Ralph W. Wilkerson. A correction to the algorithm in Reiter\u2019s theory of diagnosis. Artificial Intelligence, 41(1):79\u201388, 1989.","journal-title":"Artificial Intelligence"},{"key":"41_CR7","unstructured":"IEEE. IEEE Standard VHDL Language Reference Manual LRM Std 1076\u20131987, 1988."},{"issue":"2","key":"41_CR8","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/210134.210135","volume":"4","author":"D. Jackson","year":"1995","unstructured":"Daniel Jackson. Aspect: Detecting Bugs with Abstract Dependences. ACM Transactions on Software Engineering and Methodology, 4(2):109\u2013145, April 1995.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"41_CR9","doi-asserted-by":"crossref","unstructured":"Ron I. Kuper. Dependency-directed localization of software bugs. Technical Report AI-TR 1053, MIT AI Lab, May 1989.","DOI":"10.21236\/ADA210837"},{"issue":"2","key":"41_CR10","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1017\/S0269888997002026","volume":"12","author":"P. Lucas","year":"1997","unstructured":"Peter Lucas. Symbolic diagnosis and its formalisation. The Knowldege Engineering Review, 12(2):109\u2013146, 1997.","journal-title":"The Knowldege Engineering Review"},{"key":"41_CR11","unstructured":"Zainalabedin Navabi. VHDL: Analysis and Modeling of Digital Systems. McGraw-Hill, 1993."},{"issue":"1","key":"41_CR12","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Raymond Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57\u201395, 1987.","journal-title":"Artificial Intelligence"},{"key":"41_CR13","unstructured":"Markus Stumptner and Franz Wotawa. Diagnosing tree-structured systems. In Proceedings of the Eighth International Workshop on Principles of Diagnosis, Le Mont-Saint-Michel, France, 1997. Also appearedin IJCAI-97."},{"issue":"7","key":"41_CR14","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1145\/358557.358577","volume":"25","author":"M. Weiser","year":"1982","unstructured":"Mark Weiser. Programmers use slices when debugging. Communications of the ACM, 25(7):446\u2013452, July 1982.","journal-title":"Communications of the ACM"},{"issue":"4","key":"41_CR15","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M. Weiser","year":"1984","unstructured":"Mark Weiser. Program slicing. IEEE Transactions on Software Engineering, 10(4):352\u2013357, July 1984.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"41_CR16","unstructured":"Franz Wotawa. Applying Model-Based Diagnosis to Software Debugging of Concurrent and Sequential Imperative Programming Languages. PhD thesis, Technische Universit\u00e4t Wien, 1996."},{"key":"41_CR17","doi-asserted-by":"crossref","unstructured":"Franz Wotawa. New Directions in Debugging Hardware Designs. In Proceedings of the International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1999. Springer, Lecture Notes in Artificial Intelligence 462 (LNAI 462).","DOI":"10.1007\/978-3-540-48765-4_26"},{"issue":"4","key":"41_CR18","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/S0954-1810(00)00021-2","volume":"14","author":"F. Wotawa","year":"2000","unstructured":"Franz Wotawa. Debugging VHDL Designs using Model-Based Reasoning. Artificial Intelligence in Engineering, 14(4):331\u2013351, 2000.","journal-title":"Artificial Intelligence in Engineering"},{"issue":"1","key":"41_CR19","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1023\/A:1012821511498","volume":"16","author":"F. Wotawa","year":"2002","unstructured":"Franz Wotawa. Debugging Hardware Designs using a Value-Based Model. Applied Intelligence, 16(1):71\u201392, 2002.","journal-title":"Applied Intelligence"},{"issue":"1\u20132","key":"41_CR20","first-page":"124","volume":"135","author":"F. Wotawa","year":"2002","unstructured":"Franz Wotawa. On the Relationship between Model-Based Debugging and Program Slicing. Artificial Intelligence, 135(1\u20132):124\u2013143, 2002.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Developments in Applied Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45034-3_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:08:02Z","timestamp":1605647282000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45034-3_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540404552"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45034-3_41","relation":{},"subject":[]}}