{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T05:18:55Z","timestamp":1737091135801,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439974"},{"type":"electronic","value":"9783540456575"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45657-0_15","type":"book-chapter","created":{"date-parts":[[2007,5,19]],"date-time":"2007-05-19T14:59:43Z","timestamp":1179586783000},"page":"195-208","source":"Crossref","is-referenced-by-count":13,"title":["Automatic Derivation of Timing Constraints by Failure Analysis"],"prefix":"10.1007","author":[{"given":"Tomohiro","family":"Yoneda","sequence":"first","affiliation":[]},{"given":"Tomoya","family":"Kitai","sequence":"additional","affiliation":[]},{"given":"Chris","family":"Myers","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Ivan Sutherland and Scott Fairbanks. GasP: A minimal FIFO control. In Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems, pages 46\u201353. IEEE Computer Society Press, March 2001.","key":"15_CR1","DOI":"10.1109\/ASYNC.2001.914068"},{"unstructured":"http:\/\/yoneda-www.cs.titech.ac.jp\/~yoneda\/pub.html .","key":"15_CR2"},{"doi-asserted-by":"crossref","unstructured":"Tomohiro Yoneda and Hiroshi Ryu. Timed trace theoretic verification using partial order reduction. In Proc. of Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems, pages 108\u2013121, 1999.","key":"15_CR3","DOI":"10.1109\/ASYNC.1999.761527"},{"doi-asserted-by":"crossref","unstructured":"Radu Negulescu and Ad Peeters. Verification of speed-dependences in single-rail handshake circuits. In Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems, pages 159\u2013170, 1998.","key":"15_CR4","DOI":"10.1109\/ASYNC.1998.666502"},{"unstructured":"Hoshik Kim. Relative timing based verification of timed circuits and systems. In Proc. International Workshop on Logic Synthesis, June 1999.","key":"15_CR5"},{"doi-asserted-by":"crossref","unstructured":"Hoshik Kim, Peter A. Beerel, and Ken Stevens. Relative timing based verification of timed circuits and systems. In Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems, pages 115\u2013124, 2002.","key":"15_CR6","DOI":"10.1109\/ASYNC.2002.1000302"},{"doi-asserted-by":"crossref","unstructured":"Marco A. Pe\u00f1a, Jordi Cortadella, Alex Kondratyev, and Enric Pastor. Formal verification of safety properties in timed circuits. In Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems, pages 2\u201311. IEEE Computer Society Press, April 2000.","key":"15_CR7","DOI":"10.1109\/ASYNC.2000.836774"},{"key":"15_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BFb0031987","volume-title":"Real-time: Theory in Practice","author":"R. Alur","year":"1992","unstructured":"Rajeev Alur and David Dill. Automata for modeling real-time systems. LNCS 600 Real-time: Theory in Practice, pages 45\u201373, 1992."},{"key":"15_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/3-540-48153-2_11","volume-title":"Proc. of 10th IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods","author":"M. Bozga","year":"1999","unstructured":"Marius Bozga, Oded Maler, and Stavros Tripakis. Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics. In Proc. of 10th IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, LNCS 1703, pages 125\u2013141, 1999."},{"doi-asserted-by":"crossref","unstructured":"Marius Minea. Partial order reduction for verification of timed systems. PhD thesis, Carnegie Mellon University, 1999.","key":"15_CR10","DOI":"10.1007\/3-540-48320-9_30"},{"doi-asserted-by":"crossref","unstructured":"Jo Ebergen. Squaring the FIFO in GasP. In Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems, pages 194\u2013205. IEEE Computer Society Press, March 2001.","key":"15_CR11","DOI":"10.1109\/ASYNC.2001.914083"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45657-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T13:10:56Z","timestamp":1737033056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45657-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439974","9783540456575"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-45657-0_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}