{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:51Z","timestamp":1772164011653,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,22]],"date-time":"2011-10-22T00:00:00Z","timestamp":1319241600000},"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,10,22]]},"DOI":"10.1145\/2047862.2047884","type":"proceedings-article","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T08:23:06Z","timestamp":1319530986000},"page":"117-126","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Monitoring aspects for the customization of automatically generated code for big-step models"],"prefix":"10.1145","author":[{"given":"Shahram","family":"Esmaeilsabzali","sequence":"first","affiliation":[{"name":"University of Southampton, Southampton, United Kingdom"}]},{"given":"Bernd","family":"Fischer","sequence":"additional","affiliation":[{"name":"University of Southampton, Southampton, United Kingdom"}]},{"given":"Joanne M.","family":"Atlee","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, ON, Canada"}]}],"member":"320","published-online":{"date-parts":[[2011,10,22]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"327","volume-title":"An overview of AspectJ,\" in ECOOP'01, no. 2072 in LNCS","author":"Kiczales G.","year":"2001","unstructured":"G. Kiczales , E. Hilsdale , J. Hugunin , M. Kersten , J. Palm , and W. G. Griswold , \" An overview of AspectJ,\" in ECOOP'01, no. 2072 in LNCS , pp. 327 -- 353 , Springer , 2001 . G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold, \"An overview of AspectJ,\" in ECOOP'01, no. 2072 in LNCS, pp. 327--353, Springer, 2001."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87875-9_49"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-010-0102-z"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"M.\n      von der Beeck \"\n      A\n     comparison of Statecharts variants \" in FTRTFT'94 vol. \n  863\n   of \n  LNCS pp. \n  128\n  --\n  148 Springer 1994\n  .   M. von der Beeck \"A comparison of Statecharts variants \" in FTRTFT'94 vol. 863 of LNCS pp. 128--148 Springer 1994.","DOI":"10.1007\/3-540-58468-4_163"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12029-9_12"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"A.\n      Pnueli\n     and \n      M.\n      Shalev \"\n  What is in a step: On the semantics of statecharts \" in TACS vol. \n  526\n   of \n  LNCS pp. \n  244\n  --\n  264 1991\n  .   A. Pnueli and M. Shalev \"What is in a step: On the semantics of statecharts \" in TACS vol. 526 of LNCS pp. 244--264 1991.","DOI":"10.1007\/3-540-54415-1_49"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"J. R.\n      Burch\n     and \n      D. L.\n      Dill \"\n  Automatic verification of pipelined microprocessor control \" in CAV'94 vol. \n  818\n   of \n  LNCS pp. \n  68\n  --\n  80 Springer 1994\n  .   J. R. Burch and D. L. Dill \"Automatic verification of pipelined microprocessor control \" in CAV'94 vol. 818 of LNCS pp. 68--80 Springer 1994.","DOI":"10.1007\/3-540-58179-0_44"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-008-0033-9"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"G.\n      Holzmann \"\n      Reliable\n     software development\n  : \n  Analysis-aware design \" in TACAS'11 vol. \n  6605\n   of \n  LNCS pp. \n  1\n  --\n  2 Springer 2011\n  .   G. Holzmann \"Reliable software development: Analysis-aware design \" in TACAS'11 vol. 6605 of LNCS pp. 1--2 Springer 2011.","DOI":"10.1007\/978-3-642-19835-9_1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"J.\n      Gray T.\n      Bapty S.\n      Neema D. C.\n      Schmidt A. S.\n      Gokhale and \n      B.\n      Natarajan \"\n  An approach for supporting aspect-oriented domain modeling \" in GPCE'03 vol. \n  2830\n   of \n  LNCS pp. \n  151\n  --\n  168 Springer 2003\n  .   J. Gray T. Bapty S. Neema D. C. Schmidt A. S. Gokhale and B. Natarajan \"An approach for supporting aspect-oriented domain modeling \" in GPCE'03 vol. 2830 of LNCS pp. 151--168 Springer 2003.","DOI":"10.1007\/978-3-540-39815-8_10"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/11785477_28"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"S.\n      Esmaeilsabzali\n     and \n      N. A.\n      Day \"\n  Semantic quality attributes for big-step modelling languages \" in FASE'11 vol. \n  6603\n   of \n  LNCS pp. \n  65\n  --\n  80 Springer 2011\n  .   S. Esmaeilsabzali and N. A. Day \"Semantic quality attributes for big-step modelling languages \" in FASE'11 vol. 6603 of LNCS pp. 65--80 Springer 2011.","DOI":"10.1007\/978-3-642-19811-3_6"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"D.\n      Drusinsky \"\n      The\n     temporal rover and the atg rover \" in \n      SPIN\n      Model Checking\n     and \n      Software\n      Verification vol. \n  1885\n   of \n  LNCS pp. \n  323\n  --\n  330 Springer 2000\n  .   D. Drusinsky \"The temporal rover and the atg rover \" in SPIN Model Checking and Software Verification vol. 1885 of LNCS pp. 323--330 Springer 2000.","DOI":"10.1007\/10722468_19"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"K.\n      Havelund\n     and \n      G.\n      Ro\u015fu \"\n  Monitoring Java programs with Java PathExplorer \" in RV'01 vol. \n  55\n   of \n  Electronic Notes in Theoretical Computer Science pp. \n  1\n  --\n  18 Elsevier 2001\n  .  K. Havelund and G. Ro\u015fu \"Monitoring Java programs with Java PathExplorer \" in RV'01 vol. 55 of Electronic Notes in Theoretical Computer Science pp. 1--18 Elsevier 2001.","DOI":"10.1016\/S1571-0661(04)00253-1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094839"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297069"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.02.007"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"E.\n      Bodden P.\n      Lam and \n      L.\n      Hendren \"\n  Clara: A framework for partially evaluating finite-state runtime monitors ahead of time \" in RV'10 vol. \n  6418\n   of \n  LNCS pp. \n  183\n  --\n  197 Springer 2010\n  .   E. Bodden P. Lam and L. Hendren \"Clara: A framework for partially evaluating finite-state runtime monitors ahead of time \" in RV'10 vol. 6418 of LNCS pp. 183--197 Springer 2010.","DOI":"10.1007\/978-3-642-16612-9_15"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68524-1_3"},{"key":"e_1_3_2_1_23_1","series-title":"LNCS","volume-title":"Aspect-oriented instrumentation with GCC,\" in RV'10","author":"Seyster J.","year":"2010","unstructured":"J. Seyster , K. Dixit , X. Huang , R. Grosu , K. Havelund , S. A. Smolka , S. D. Stoller , and E. Zadok , \" Aspect-oriented instrumentation with GCC,\" in RV'10 , vol. 6418 of LNCS , Springer , 2010 . J. Seyster, K. Dixit, X. Huang, R. Grosu, K. Havelund, S. A. Smolka, S. D. Stoller, and E. Zadok, \"Aspect-oriented instrumentation with GCC,\" in RV'10, vol. 6418 of LNCS, Springer, 2010."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"D.\n      Zook S. S.\n      Huang and \n      Y.\n      Smaragdakis \"\n  Generating AspectJ programs with Meta-AspectJ \" in GPCE'04 vol. \n  3286\n   of \n  LNCS pp. \n  1\n  --\n  18 Springer 2004\n  .  D. Zook S. S. Huang and Y. Smaragdakis \"Generating AspectJ programs with Meta-AspectJ \" in GPCE'04 vol. 3286 of LNCS pp. 1--18 Springer 2004.","DOI":"10.1007\/978-3-540-30175-2_1"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"D.\n      Lohmann G.\n      Blaschke and \n      O.\n      Spinczyk \"\n  Generic advice: On the combination of AOP with generative programming in aspectC++ \" in GPCE'04 vol. \n  3286\n   of \n  LNCS pp. \n  55\n  --\n  74 Springer 2004\n  .  D. Lohmann G. Blaschke and O. Spinczyk \"Generic advice: On the combination of AOP with generative programming in aspectC++ \" in GPCE'04 vol. 3286 of LNCS pp. 55--74 Springer 2004.","DOI":"10.1007\/978-3-540-30175-2_4"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"D. R.\n      Smith \"\n      A\n     generative approach to aspect-oriented programming \" in GPCE'04 vol. \n  3286\n   of \n  LNCS pp. \n  39\n  --\n  54 Springer 2004\n  .  D. R. Smith \"A generative approach to aspect-oriented programming \" in GPCE'04 vol. 3286 of LNCS pp. 39--54 Springer 2004.","DOI":"10.1007\/978-3-540-30175-2_3"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028664.1028732"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen.2009.9033"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/IWICSS.2007.4"}],"event":{"name":"GPCE '11: Generative Programming and Component Engineering","location":"Portland Oregon USA","acronym":"GPCE '11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 10th ACM international conference on Generative programming and component engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2047862.2047884","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2047862.2047884","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:31Z","timestamp":1750225711000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2047862.2047884"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,22]]},"references-count":28,"alternative-id":["10.1145\/2047862.2047884","10.1145\/2047862"],"URL":"https:\/\/doi.org\/10.1145\/2047862.2047884","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2189751.2047884","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,10,22]]},"assertion":[{"value":"2011-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}