{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:41:39Z","timestamp":1750308099814,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T00:00:00Z","timestamp":1131321600000},"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":[[2005,11,7]]},"DOI":"10.1145\/1101908.1101915","type":"proceedings-article","created":{"date-parts":[[2006,2,6]],"date-time":"2006-02-06T15:52:40Z","timestamp":1139241160000},"page":"24-33","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Efficient temporal-logic query checking for presburger systems"],"prefix":"10.1145","author":[{"given":"Dezhuang","family":"Zhang","sequence":"first","affiliation":[{"name":"State University of New York at Stony Brook, Stony Brook, NY"}]},{"given":"Rance","family":"Cleaveland","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park, MD"}]}],"member":"320","published-online":{"date-parts":[[2005,11,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90266-6"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/229000.226326"},{"key":"e_1_3_2_1_3_1","volume-title":"International Journal of Foundations of Computer Science (IJFCS), 14(4):605--624","author":"Bartzis C.","year":"2003","unstructured":"C. Bartzis and T. Bultan . Efficient symbolic representations for arithmetic constraints in verification . International Journal of Foundations of Computer Science (IJFCS), 14(4):605--624 , Aug. 2003 . C. Bartzis and T. Bultan. Efficient symbolic representations for arithmetic constraints in verification. International Journal of Foundations of Computer Science (IJFCS), 14(4):605--624, Aug. 2003."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/788017.788743"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/871816.871851"},{"key":"e_1_3_2_1_6_1","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification (CAV'97)","author":"Bultan T.","year":"1997","unstructured":"T. Bultan , R. Gerber , and W. Pugh . Symbolic model checking of infinite state systems using presburger arithmetic . In O. Grumberg, editor, Computer Aided Verification (CAV'97) , volume 1254 of Lecture Notes in Computer Science , Haifa, Israel, June 1997 . Springer-Verlag . T. Bultan, R. Gerber, and W. Pugh. Symbolic model checking of infinite state systems using presburger arithmetic. In O. Grumberg, editor, Computer Aided Verification (CAV'97), volume 1254 ofLecture Notes in Computer Science, Haifa, Israel, June 1997. Springer-Verlag."},{"key":"e_1_3_2_1_7_1","first-page":"450","volume-title":"Proceedings of the12th Conference on Computer Aided Verification (CAV'00)","author":"Chan W.","year":"1855","unstructured":"W. Chan . Temporal-logic queries . In Proceedings of the12th Conference on Computer Aided Verification (CAV'00) , LNCS 1855 , pages 450 -- 463 . Springer Verlag , July 2000. W. Chan. Temporal-logic queries. In Proceedings of the12th Conference on Computer Aided Verification (CAV'00), LNCS 1855, pages 450--463. Springer Verlag, July 2000."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"E. M.\n      Clarke\n     and \n      E. A.\n      Emerson\n  . \n  Design and synthesis of synchronization skeletons using branching-time temporal logic\n  . In D. Kozen editor Proceedings of the Workshop on Logic of Programs Yorktown Heights volume \n  131\n   of\n  Lecture Notes in Computer Science pages \n  52\n  --\n  71\n  . \n  Springer-Verlag 1981\n  .   E. M. Clarke and E. A. Emerson. Design and synthesis of synchronization skeletons using branching-time temporal logic. In D. Kozen editor Proceedings of the Workshop on Logic of Programs Yorktown Heights volume 131 ofLecture Notes in Computer Science pages 52--71. Springer-Verlag 1981.","DOI":"10.1007\/BFb0025774"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/102243.102251"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/647767.760727"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587073"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/234426.234431"},{"key":"e_1_3_2_1_13_1","volume-title":"9th International Conference, AMAST","volume":"2422","author":"Hornus S.","year":"2002","unstructured":"S. Hornus and P. Schnoebelen . On solving temporal logic queries. In Algebraic Methodology and Software Technology , 9th International Conference, AMAST 2002 , Saint-Gilles-les-Bains, Reunion Island, France , volume 2422 ofLecture Notes in Computer Science. Springer, 2002. S. Hornus and P. Schnoebelen. On solving temporal logic queries. In Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, volume 2422 ofLecture Notes in Computer Science. Springer, 2002."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90183-G"},{"key":"e_1_3_2_1_15_1","volume-title":"Department of Computer Science","author":"Klarlund N.","year":"2001","unstructured":"N. Klarlund and A. Moller . MONA Version 1.4 User Manual. BRICS Notes Series NS-01-1 , Department of Computer Science , University of Aarhus , Jan. 2001 . N. Klarlund and A. Moller. MONA Version 1.4 User Manual. BRICS Notes Series NS-01-1, Department of Computer Science, University of Aarhus, Jan. 2001."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(82)90125-6"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/135226.135233"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45220-1_38"},{"key":"e_1_3_2_1_19_1","series-title":"Lecture Notes in Computer Science","volume-title":"Evidence-based model checking","author":"Tan L.","year":"2002","unstructured":"L. Tan and R. Cleaveland . Evidence-based model checking . In E. Brinksma and K. G. Larsen, editors,CAV, volume 2404 of Lecture Notes in Computer Science . Springer , 2002 . L. Tan and R. Cleaveland. Evidence-based model checking. In E. Brinksma and K. G. Larsen, editors,CAV, volume 2404 of Lecture Notes in Computer Science. Springer, 2002."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1955.5.285"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/646485.694455"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/11562436_8"}],"event":{"name":"ASE05: International Conference on Automated Software Engineering 2005","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Long Beach CA USA","acronym":"ASE05"},"container-title":["Proceedings of the 20th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1101908.1101915","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1101908.1101915","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:01Z","timestamp":1750262881000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1101908.1101915"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,11,7]]},"references-count":22,"alternative-id":["10.1145\/1101908.1101915","10.1145\/1101908"],"URL":"https:\/\/doi.org\/10.1145\/1101908.1101915","relation":{},"subject":[],"published":{"date-parts":[[2005,11,7]]},"assertion":[{"value":"2005-11-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}