{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T19:58:21Z","timestamp":1770494301588,"version":"3.49.0"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,7,9]],"date-time":"2023-07-09T00:00:00Z","timestamp":1688860800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,7,9]],"date-time":"2023-07-09T00:00:00Z","timestamp":1688860800000},"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":[[2023,7,9]]},"DOI":"10.1109\/dac56929.2023.10247685","type":"proceedings-article","created":{"date-parts":[[2023,9,15]],"date-time":"2023-09-15T17:31:31Z","timestamp":1694799091000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["TD-Magic: From Pictures of Timing Diagrams To Formal Specifications"],"prefix":"10.1109","author":[{"given":"Jie","family":"He","sequence":"first","affiliation":[{"name":"Technische Universität Wien"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dejan","family":"Ni\u010dkovi\u0107","sequence":"additional","affiliation":[{"name":"AIT Austrian Institute of Technology,Vienna,Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ezio","family":"Bartocci","sequence":"additional","affiliation":[{"name":"Technische Universität Wien"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radu","family":"Grosu","sequence":"additional","affiliation":[{"name":"Technische Universität Wien"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"issue":"1","key":"ref1","first-page":"152","article-title":"Interfacing fundamentals: Timing diagram conventions","volume":"19","author":"Rony","year":"1980","journal-title":"Computer Design"},{"key":"ref2","article-title":"Unified modeling language: Superstructure, v2.0","year":"2004"},{"issue":"3","key":"ref3","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1023\/A:1008345113376","article-title":"Timing diagrams: Formalization and algorithmic verification","volume":"8","author":"Kathi","year":"1999","journal-title":"J. Log. Lang. Inf"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.1995.486382"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48153-2_7"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.cmpb.2013.09.014"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.4258\/hir.2018.24.3.242"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.jelectrocard.2016.09.007"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/JTEHM.2013.2262024"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/JTEHM.2019.2949784"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.22489\/CinC.2019.264"},{"key":"ref12","article-title":"Novel method of digitization of electrocardiogram signals","volume-title":"Ph.D. dissertation","author":"Ganesh","year":"2020"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s40846-021-00632-0"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.compbiomed.2020.104077"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2017.322"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-58452-8_13"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.91"},{"key":"ref18","article-title":"Example of timing diagram similar to Figure 6 (on page 15)"},{"key":"ref19","article-title":"Example of timing diagram similar to Figure 9 (on page 13)"},{"key":"ref20","article-title":"anyhr"},{"key":"ref21","article-title":"Yolo5"},{"key":"ref22","article-title":"Paddleocr"},{"key":"ref23","article-title":"Example of timing diagram similar to Figure 31 (on page 43)"},{"key":"ref24","article-title":"Example of timing diagram similar to Figure 6 (on page 9)"}],"event":{"name":"2023 60th ACM\/IEEE Design Automation Conference (DAC)","location":"San Francisco, CA, USA","start":{"date-parts":[[2023,7,9]]},"end":{"date-parts":[[2023,7,13]]}},"container-title":["2023 60th ACM\/IEEE Design Automation Conference (DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10247654\/10247655\/10247685.pdf?arnumber=10247685","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T01:12:04Z","timestamp":1709341924000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10247685\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,9]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/dac56929.2023.10247685","relation":{},"subject":[],"published":{"date-parts":[[2023,7,9]]}}}