{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T07:02:05Z","timestamp":1779087725922,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,3,21]],"date-time":"2011-03-21T00:00:00Z","timestamp":1300665600000},"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":[[2011,3,21]]},"DOI":"10.1145\/1960275.1960280","type":"proceedings-article","created":{"date-parts":[[2011,3,22]],"date-time":"2011-03-22T12:25:29Z","timestamp":1300796729000},"page":"19-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":30,"title":["AspectLTL"],"prefix":"10.1145","author":[{"given":"Shahar","family":"Maoz","sequence":"first","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}]},{"given":"Yaniv","family":"Sa'ar","sequence":"additional","affiliation":[{"name":"Weizmann Institute of Science, Rehovot, Israel"}]}],"member":"320","published-online":{"date-parts":[[2011,3,21]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"AspectLTL website. http:\/\/aspectltl.ysaar.net\/.  AspectLTL website. http:\/\/aspectltl.ysaar.net\/."},{"key":"e_1_3_2_1_2_1","first-page":"1188","volume-title":"DATE","author":"Bloem R.","year":"2007"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.09.004"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"J. B\u00fcchi and L. Landweber. Solving sequential conditions by finite-state strategies. Trans. Amer. Math. Soc. 138: 295--311 1969.  J. B\u00fcchi and L. Landweber. Solving sequential conditions by finite-state strategies. Trans. Amer. Math. Soc. 138:295--311 1969.","DOI":"10.1090\/S0002-9947-1969-0280205-0"},{"key":"e_1_3_2_1_5_1","first-page":"23","volume-title":"Proc. 1962 Int. Congr. Math.","author":"Church A.","year":"1963"},{"key":"e_1_3_2_1_6_1","series-title":"LNCS","first-page":"52","volume-title":"VMCAI","author":"Cimatti A.","year":"2008"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1509837.1509846"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"e_1_3_2_1_9_1","first-page":"267","volume-title":"Proc. 1st IEEE Symp. Logic in Comp. Sci.","author":"Emerson E. A.","year":"1986"},{"key":"e_1_3_2_1_10_1","first-page":"21","volume-title":"Aspect-Oriented Software Development","author":"Filman R. E.","year":"2005"},{"key":"e_1_3_2_1_11_1","series-title":"LNCS","first-page":"308","volume-title":"TACAS","author":"Goldman M.","year":"2007"},{"key":"e_1_3_2_1_12_1","first-page":"212","volume-title":"AMOEBA-RT: Run-Time Verification of Adaptive Software. In MoDELS Workshops","volume":"5002","author":"Goldsby H.","year":"2007"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.36"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1509837.1509840"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"S.\n       \n      Katz\n    .\n      \n  \n   \n  Aspect categories and classes of temporal properties. In A. Rashid and M. Aksit editors T. Aspect-Oriented Software Development I volume \n  3880\n   of \n  LNCS pages \n  106\n  --\n  134\n  . \n  Springer 2006\n  .   S. Katz. Aspect categories and classes of temporal properties. In A. Rashid and M. Aksit editors T. Aspect-Oriented Software Development I volume 3880 of LNCS pages 106--134. Springer 2006.","DOI":"10.1007\/11687061_4"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.3000"},{"key":"e_1_3_2_1_17_1","series-title":"LNCS","first-page":"327","volume-title":"ECOOP","author":"Kiczales G.","year":"2001"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"G.\n       \n      Kiczales J.\n       \n      Lamping A.\n       \n      Mendhekar C.\n       \n      Maeda C. V.\n       \n      Lopes J.-M.\n       \n      Loingtier and \n      \n      \n      J.\n       \n      Irwin\n      \n  \n  . \n  Aspect-oriented programming. In M. Aksit and S. Matsuoka editors ECOOP volume \n  1241\n   of \n  LNCS pages \n  220\n  --\n  242\n  . \n  Springer 1997\n  .  G. Kiczales J. Lamping A. Mendhekar C. Maeda C. V. Lopes J.-M. Loingtier and J. Irwin. Aspect-oriented programming. In M. Aksit and S. Matsuoka editors ECOOP volume 1241 of LNCS pages 220--242. Springer 1997.","DOI":"10.1007\/BFb0053381"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2009.5351127"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029916"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/128869"},{"key":"e_1_3_2_1_22_1","series-title":"LNCS","first-page":"176","volume-title":"SPLC","author":"Mannion M.","year":"2002"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2006.23"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/11609773_24"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/FSCS.1990.89597"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_18"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"M.\n       \n      Rabin\n    . \n      \n      \n      Automata\n       on \n      Infinite Objects\n     and \n      \n      \n      Churc's\n       \n      Problem volume \n  13\n   of \n  Regional Conf\n  . Series in Mathematics. Amer. Math. \n  Soc\n  . 1972\n  .   M. Rabin. Automata on Infinite Objects and Churc's Problem volume 13 of Regional Conf. Series in Mathematics. Amer. Math. Soc. 1972.","DOI":"10.1090\/cbms\/013"},{"key":"e_1_3_2_1_30_1","unstructured":"SMV model checker. http:\/\/www.cs.cmu.edu\/~modelcheck\/smv.html.  SMV model checker. http:\/\/www.cs.cmu.edu\/~modelcheck\/smv.html."},{"key":"e_1_3_2_1_31_1","unstructured":"F. Somenzi. CUDD: CU Decision Diagram package. http:\/\/vlsi.colorado.edu\/~fabio\/CUDD\/ 1998.  F. Somenzi. CUDD: CU Decision Diagram package. http:\/\/vlsi.colorado.edu\/~fabio\/CUDD\/ 1998."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.02.007"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289971.1289989"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070526"}],"event":{"name":"AOSD'11: Tenth International Conference on Aspect-Oriented Software Development","location":"Porto de Galinhas Brazil","acronym":"AOSD'11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering","Centro de Informatica - UFPE Centro de Informatica - UFPE","CAPES Coorden\u00e7\u00e3ao de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","CNPq Conselho Nacional de Desenvolvimento Cientifico e Tecn","FINEP Financiadora de Estudos e Projetos","PUC-Rio","FACEPE Fundacao de Amparo a Ciencia e Tecnologia do Estado de Pernambuco"]},"container-title":["Proceedings of the tenth international conference on Aspect-oriented software development"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1960275.1960280","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1960275.1960280","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:48:52Z","timestamp":1750240132000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1960275.1960280"}},"subtitle":["an aspect language for LTL specifications"],"short-title":[],"issued":{"date-parts":[[2011,3,21]]},"references-count":34,"alternative-id":["10.1145\/1960275.1960280","10.1145\/1960275"],"URL":"https:\/\/doi.org\/10.1145\/1960275.1960280","relation":{},"subject":[],"published":{"date-parts":[[2011,3,21]]},"assertion":[{"value":"2011-03-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}