{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:29:07Z","timestamp":1750220947996,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T00:00:00Z","timestamp":1559433600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,6,2]]},"DOI":"10.1145\/3316781.3317920","type":"proceedings-article","created":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T18:07:13Z","timestamp":1558634833000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Temporal Tracing of On-Chip Signals using Timeprints"],"prefix":"10.1145","author":[{"given":"Rehab","family":"Massoud","sequence":"first","affiliation":[{"name":"University of Bremen"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hoang M.","family":"Le","sequence":"additional","affiliation":[{"name":"University of Bremen"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Chini","sequence":"additional","affiliation":[{"name":"Technical University of Braunschweig"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Prakash","family":"Saivasan","sequence":"additional","affiliation":[{"name":"Technical University of Braunschweig"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roland","family":"Meyer","sequence":"additional","affiliation":[{"name":"Technical University of Braunschweig"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[{"name":"University of Bremen and DFKI GmbH, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,6,2]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2018. ARM CoreSight and ETM. http:\/\/www.arm.com.  2018. ARM CoreSight and ETM. http:\/\/www.arm.com."},{"key":"e_1_3_2_1_2_1","unstructured":"2018. Gaisler Research. LEON3 synthesizable processor. http:\/\/www.gaisler.com.  2018. Gaisler Research. LEON3 synthesizable processor. http:\/\/www.gaisler.com."},{"key":"e_1_3_2_1_3_1","unstructured":"2018. https:\/\/www.ntsb.gov\/news\/press-releases\/Pages\/NR20180524.aspx.  2018. https:\/\/www.ntsb.gov\/news\/press-releases\/Pages\/NR20180524.aspx."},{"key":"e_1_3_2_1_4_1","unstructured":"2018. System Navigator Probe. http:\/\/www.mips.com.  2018. System Navigator Probe. http:\/\/www.mips.com."},{"key":"e_1_3_2_1_5_1","unstructured":"2018. www.xilinx.com\/products\/design-tools\/chipscopepro.html.  2018. www.xilinx.com\/products\/design-tools\/chipscopepro.html."},{"key":"e_1_3_2_1_6_1","volume-title":"Synopsys Verification Avenue Technical Bulletin","volume":"4","author":"Ahlschlager C.","unstructured":"C. Ahlschlager and D. Wilkins . 2004. Using Magellan to Diagnose Post-Silicon Bugs , Synopsys Verification Avenue Technical Bulletin , vol. 4 , no.3. C. Ahlschlager and D. Wilkins. 2004. Using Magellan to Diagnose Post-Silicon Bugs, Synopsys Verification Avenue Technical Bulletin, vol. 4, no.3."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1978.1055873"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3195970.3195992"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"E. Bartocci etal 2018. Introduction to Runtime Verification. Springer.  E. Bartocci et al. 2018. Introduction to Runtime Verification. Springer.","DOI":"10.1007\/978-3-319-75632-5"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"E. Bartocci etal 2018. Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory Tools and Applications. Lectures on RV Springer.  E. Bartocci et al. 2018. Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory Tools and Applications. Lectures on RV Springer.","DOI":"10.1007\/978-3-319-75632-5_5"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"J. Schumann etal 2015. R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems. In Runtime Verification 2015; Vienna; Austria.  J. Schumann et al. 2015. R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems. In Runtime Verification 2015; Vienna; Austria.","DOI":"10.1007\/978-3-319-23820-3_15"},{"key":"e_1_3_2_1_12_1","volume-title":"DATE","author":"Decker N.","year":"2018","unstructured":"N. Decker 2018 . Online analysis of debug trace data for embedded systems . In DATE , 2018. N. Decker et al. 2018. Online analysis of debug trace data for embedded systems. In DATE, 2018."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-014-0215-y"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3167132.3167172"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"B. Lisper and J. Nordlander. 2012. A Simple and Flexible Timing Constraint Logic. Berlin Heidelberg.  B. Lisper and J. Nordlander. 2012. A Simple and Flexible Timing Constraint Logic. Berlin Heidelberg.","DOI":"10.1007\/978-3-642-34032-1_12"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"R. Massoud J. Stoppe D. Gro\u00dfe and R. Drechsler. 2017. Semi-formal Cycle-Accurate Temporal Execution Traces Reconstruction. In FORMATS.  R. Massoud J. Stoppe D. Gro\u00dfe and R. Drechsler. 2017. Semi-formal Cycle-Accurate Temporal Execution Traces Reconstruction. In FORMATS.","DOI":"10.1007\/978-3-319-65765-3_19"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837280"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2030595"},{"key":"e_1_3_2_1_19_1","volume-title":"Backspace: Formal Analysis for Post-Silicon Debug Traces. In Phd. Thesis","author":"De Paula F. M.","year":"2012","unstructured":"F. M. De Paula . 2012 . Backspace: Formal Analysis for Post-Silicon Debug Traces. In Phd. Thesis , University of British Colombia . F. M. De Paula. 2012. Backspace: Formal Analysis for Post-Silicon Debug Traces. In Phd. Thesis, University of British Colombia."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/11564751_73"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02777-2_24"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/258533.258559"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"B. Vermeulen and K. Goossens. 2014. Debugging Systems-on-Chip. Springer New York.  B. Vermeulen and K. Goossens. 2014. Debugging Systems-on-Chip. Springer New York.","DOI":"10.1007\/978-3-319-06242-6"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/DFT.2008.57"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2012.2183399"}],"event":{"name":"DAC '19: The 56th Annual Design Automation Conference 2019","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE-CEDA","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Las Vegas NV USA","acronym":"DAC '19"},"container-title":["Proceedings of the 56th Annual Design Automation Conference 2019"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3316781.3317920","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3316781.3317920","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:53Z","timestamp":1750204433000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3316781.3317920"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,2]]},"references-count":25,"alternative-id":["10.1145\/3316781.3317920","10.1145\/3316781"],"URL":"https:\/\/doi.org\/10.1145\/3316781.3317920","relation":{},"subject":[],"published":{"date-parts":[[2019,6,2]]},"assertion":[{"value":"2019-06-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}