{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:45:17Z","timestamp":1729619117848,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/fdl.2014.7119347","type":"proceedings-article","created":{"date-parts":[[2015,6,12]],"date-time":"2015-06-12T15:03:47Z","timestamp":1434121427000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Hybrid dynamic data race detection in systemC"],"prefix":"10.1109","author":[{"given":"Alper","family":"Sen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Onder","family":"Kalaci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS.2013.6549788"},{"key":"ref11","article-title":"May-happen-in-parallel analysis based on segment graphs for safe esl models","author":"chen","year":"2014","journal-title":"Proceedings of Design Automation and Test in Europe Conference and Exhibition"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2012.2232351"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488877"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1391469.1391706"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0075-z"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2003695.2003697"},{"key":"ref17","article-title":"Local application of simulation directed for exhaustive coverage of schedulings of systemc specifications","author":"herrera","year":"2009","journal-title":"Proc of Forum on Specification Design Languages (FDL 2009)"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2008.4547687"},{"key":"ref4","article-title":"Finding and reproducing heisenbugs in concurrent pro-grams","author":"musuvathi","year":"2008","journal-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349328"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.1064"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266641"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1145\/781498.781528","article-title":"Hybrid dynamic data race detection","author":"o'callahan","year":"2003","journal-title":"Proc of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542490"},{"key":"ref2","first-page":"1","article-title":"IEEE Standard for Standard SystemC Language Reference Manual","year":"2012","journal-title":"IEEE Std 1666–2011 (Revision of IEEE Std 1666–2005)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1754405.1754406"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"ref22","first-page":"22:1","article-title":"A framework for heterogeneous specification and design of electronic embedded systems in systemc","volume":"12","author":"herrera","year":"2008","journal-title":"ACM Trans Des Autom Electron Syst"},{"key":"ref21","article-title":"Virtual Time and Global States of Distributed Systems","author":"mattern","year":"1989","journal-title":"Proceedings of the Workshop on Distributed Algorithms (WDAG)"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.5772\/37476"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.020"}],"event":{"name":"2014 Forum on Specification and Design Languages (FDL)","start":{"date-parts":[[2014,10,14]]},"location":"Munich, Germany","end":{"date-parts":[[2014,10,16]]}},"container-title":["Proceedings of the 2014 Forum on Specification and Design Languages (FDL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7113213\/7119333\/07119347.pdf?arnumber=7119347","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,11]],"date-time":"2023-08-11T11:20:28Z","timestamp":1691752828000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7119347\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/fdl.2014.7119347","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}