{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:00:49Z","timestamp":1740132049082,"version":"3.37.3"},"reference-count":12,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T00:00:00Z","timestamp":1659312000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T00:00:00Z","timestamp":1659312000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T00:00:00Z","timestamp":1659312000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100002418","name":"Intel Corporation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100002418","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100014961","name":"Florida Center for Cybersecurity, University of South Florida","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100014961","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2022,8]]},"DOI":"10.1109\/tcad.2021.3109513","type":"journal-article","created":{"date-parts":[[2021,9,1]],"date-time":"2021-09-01T20:18:46Z","timestamp":1630527526000},"page":"2758-2762","source":"Crossref","is-referenced-by-count":1,"title":["Mining Patterns From Concurrent Execution Traces"],"prefix":"10.1109","volume":"41","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0174-8822","authenticated-orcid":false,"given":"Md Rubel","family":"Ahmed","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering, University of South Florida, Tampa, FL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hao","family":"Zheng","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, University of South Florida, Tampa, FL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2532-7347","authenticated-orcid":false,"given":"Parijat","family":"Mukherjee","sequence":"additional","affiliation":[{"name":"Strategic CAD Labs, Intel, Hillsboro, OR, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mahesh C.","family":"Ketkar","sequence":"additional","affiliation":[{"name":"Strategic CAD Labs, Intel, Folsom, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin","family":"Yang","sequence":"additional","affiliation":[{"name":"Strategic CAD Labs, Intel, Hillsboro, OR, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1145\/2025113.2025151"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1145\/1134285.1134325"},{"key":"ref3","first-page":"1","article-title":"Learning temporal specifications from imperfect traces using Bayesian inference","volume-title":"Proc. 56th Annu. Design Autom. Conf.","author":"Mrowca"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/DAC18072.2020.9218613"},{"key":"ref5","first-page":"755","article-title":"Scalable specification mining for verification and diagnosis","volume-title":"Proc. 47th Design Autom. Conf.","author":"Li"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/TCAD.2013.2241176"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/VLSI-SoC.2015.7314424"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1145\/3061639.3062206"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/ASPDAC.2010.5419813"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1007\/s10836-013-5403-y"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1145\/2024716.2024718"},{"volume-title":"ModelInference\/perracotta","year":"2018","key":"ref12"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/9832686\/09526852.pdf?arnumber=9526852","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,11]],"date-time":"2024-01-11T23:07:39Z","timestamp":1705014459000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9526852\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8]]},"references-count":12,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2021.3109513","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"type":"print","value":"0278-0070"},{"type":"electronic","value":"1937-4151"}],"subject":[],"published":{"date-parts":[[2022,8]]}}}