{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:53:45Z","timestamp":1773615225764,"version":"3.50.1"},"reference-count":15,"publisher":"Allerton Press","issue":"7","license":[{"start":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T00:00:00Z","timestamp":1354320000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T00:00:00Z","timestamp":1354320000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Aut. Control Comp. Sci."],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.3103\/s0146411612070152","type":"journal-article","created":{"date-parts":[[2013,1,6]],"date-time":"2013-01-06T01:10:54Z","timestamp":1357434654000},"page":"356-363","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Automatic data race detection in SystemC models"],"prefix":"10.3103","volume":"46","author":[{"given":"A. V.","family":"Zakharov","sequence":"first","affiliation":[]},{"given":"M. J.","family":"Moiseev","sequence":"additional","affiliation":[]}],"member":"1627","published-online":{"date-parts":[[2013,1,7]]},"reference":[{"key":"6222_CR1","unstructured":"1666-2005 IEEE Standard System C-Language Reference Manual, 2005."},{"key":"6222_CR2","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S. Savage","year":"1997","unstructured":"Savage, S. Burrows, M., et al., Eraser: a Dynamic Data Race Detector for Multithreaded Programs, J. ACM Trans. Comput. Syst., 1997, vol. 15, pp. 391\u2013411.","journal-title":"J. ACM Trans. Comput. Syst."},{"key":"6222_CR3","doi-asserted-by":"crossref","unstructured":"Pierre, L. and Ferro, L., Enhancing the Assertion-Based Verification of TLM Designs with Reentrancy, Proc. 8th Int. Conf. on Formal Methods and Models for Co-Design, Grenoble, 2010, pp. 103\u2013112.","DOI":"10.1109\/MEMCOD.2010.5558642"},{"key":"6222_CR4","doi-asserted-by":"crossref","unstructured":"Blane, N. and Kroening, D., Race Analysis for SystemC Using Model Checking, Proc. Int. Conf. on Computer-Aided Design (ICCAD-08), San Jose, 2008, pp. 356\u2013363.","DOI":"10.1109\/ICCAD.2008.4681598"},{"key":"6222_CR5","doi-asserted-by":"crossref","unstructured":"Traulsen, C., Cornet, J., Moy, M., and Maraninchi, F., A SystemC\/TLM Semantics in Promela and Its Possible Applications, Proc. 14th SPIN Workshop on Model Checking Software, Berlin, 2004, pp. 204\u2013222.","DOI":"10.1007\/978-3-540-73370-6_14"},{"key":"6222_CR6","doi-asserted-by":"crossref","unstructured":"Garavel, H., Helmstetter, C., Ponsini, O., and Serwe, W., Verification of an Industrial SystemC\/TLM Model Using LOTOS and CADP, Proc. 7th Int. Conf. on Formal Methods and Models for Co-Design, Cambridge, MA, 2009, pp. 46\u201355.","DOI":"10.1109\/MEMCOD.2009.5185377"},{"key":"6222_CR7","doi-asserted-by":"crossref","unstructured":"Hojjat, H., Mousavi, M.R., and Sirjani, M., Process Algebraic Verification of SystemC Codes, Proc. 8th Int. Conf. on Application of Concurrency to System Design (ACSD\u201908), Xian, June 23\u201327, 2008. p. 8.","DOI":"10.1109\/ACSD.2008.4574597"},{"key":"6222_CR8","doi-asserted-by":"crossref","unstructured":"Zhang, Yu., Vedrine, F., and Monsuez, B., SystemC Waiting-State, Proc. Automata, 1st Int. Workshop on Verification and Evaluation of Computer and Communication Systems, Algiers, 2007.","DOI":"10.14236\/ewic\/VECOS2007.8"},{"key":"6222_CR9","doi-asserted-by":"crossref","unstructured":"Pratikakis, P., Foster, J.S., and Hicks, M., LOCKSMITH: Practical Static Race Detection for C, J. ACM Trans. Program. Lang. Syst. (TOPLAS), 2011, vol. 33, no. 1.","DOI":"10.1145\/1889997.1890000"},{"key":"6222_CR10","doi-asserted-by":"crossref","unstructured":"Kahlon, V., Sankaranaryanan, S., and Gupta, A., Semantic Reduction of Thread Interleavings in Concurrent Programs, Proc. 15th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, York, 2009.","DOI":"10.1007\/978-3-642-00768-2_12"},{"key":"6222_CR11","doi-asserted-by":"crossref","unstructured":"Kahlon, V., Sinha, N., Kruus, E., and Zhang, Y., Static Data Race Detection for Concurrent Programs with Asynchronous Calls, Proc. 7th Joint Meeting European Software Engineering Conf. and ACM SIGSOFT Symp. on the Foundation of Software Engineering, Amsterdam, 2009.","DOI":"10.1145\/1595696.1595701"},{"key":"6222_CR12","doi-asserted-by":"crossref","unstructured":"Terauchi, T., Checking Race Freedom via Linear Programming, Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation, New York, 2008.","DOI":"10.1145\/1375581.1375583"},{"key":"6222_CR13","doi-asserted-by":"crossref","unstructured":"Naik, M. and Aiken, A., Conditional Must not Aliasing for Static Race Detection, Proc. 34 th Ann. ACM SIG-PLAN-SIGACT Symp. on POPL, Nice, 2007.","DOI":"10.1145\/1190216.1190265"},{"key":"6222_CR14","doi-asserted-by":"crossref","unstructured":"Itykson, V.M., Moiseev, M.Jy., Zakarov, A.V., et al., Automatic Defects Detection in Industrial C\/C++ Sofware, Proc. 5th Central and Eastern European Software Eng. Conf. in Russia, Moscow, 2009.","DOI":"10.1109\/CEE-SECR.2009.5501189"},{"key":"6222_CR15","unstructured":"Aegis Error and Detection Tool. http:\/\/www.digiteklabs.ru\/aegis\/"}],"container-title":["Automatic Control and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411612070152.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.3103\/S0146411612070152","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411612070152","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411612070152.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T21:57:04Z","timestamp":1773611824000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.3103\/S0146411612070152"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":15,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["6222"],"URL":"https:\/\/doi.org\/10.3103\/s0146411612070152","relation":{},"ISSN":["0146-4116","1558-108X"],"issn-type":[{"value":"0146-4116","type":"print"},{"value":"1558-108X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,12]]},"assertion":[{"value":"15 September 2011","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 January 2013","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}