{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,24]],"date-time":"2026-07-24T15:29:53Z","timestamp":1784906993535,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,4,3]],"date-time":"2017-04-03T00:00:00Z","timestamp":1491177600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,4,3]]},"DOI":"10.1145\/3079368.3079392","type":"proceedings-article","created":{"date-parts":[[2017,8,2]],"date-time":"2017-08-02T19:36:18Z","timestamp":1501702578000},"page":"1-5","source":"Crossref","is-referenced-by-count":4,"title":["An MDE Approach for Modular Program Analyses"],"prefix":"10.1145","author":[{"given":"Bugra M.","family":"Yildiz","sequence":"first","affiliation":[{"name":"University of Twente, Enschede, The Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christoph","family":"Bockisch","sequence":"additional","affiliation":[{"name":"Philipps-Universit\u00e4t Marburg, Marburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Arend","family":"Rensink","sequence":"additional","affiliation":[{"name":"University of Twente, Enschede, The Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mehmet","family":"Aksit","sequence":"additional","affiliation":[{"name":"University of Twente, Enschede, The Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,4,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1960314.1960342"},{"key":"e_1_3_2_1_2_1","first-page":"232","volume-title":"Proc. of Workshop on Verification and Control of Hybrid Systems III, number 1066 in Lecture Notes in Computer Science","author":"Bengtsson J.","year":"1995"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2007.19"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2012.11.1.a7"},{"key":"e_1_3_2_1_5_1","unstructured":"E. Bruneton R. Lenglet and T. Coupaye. ASM: a code manipulation tool to implement adaptable systems. Adaptable and extensible component systems 30: 19 2002.  E. Bruneton R. Lenglet and T. Coupaye. ASM: a code manipulation tool to implement adaptable systems. Adaptable and extensible component systems 30: 19 2002."},{"key":"e_1_3_2_1_6_1","volume-title":"Addison-Wesley Professional","author":"Budinsky F.","year":"2004"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/DISCEX.2001.932157"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.91"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1757599.1757606"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13595-8_10"},{"key":"e_1_3_2_1_11_1","unstructured":"EMF. Eclipse Modeling Framework website. https:\/\/www.eclipse.org\/modeling\/emf\/ Apr. 2016.  EMF. Eclipse Modeling Framework website. https:\/\/www.eclipse.org\/modeling\/emf\/ Apr. 2016."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEW.2003.1270727"},{"key":"e_1_3_2_1_13_1","unstructured":"JBCPP. Java bytecode metamodel and jbc++ plug-in website. https:\/\/bitbucket.org\/bmyildiz\/java-bytecode-metamodel-repository June 2016.  JBCPP. Java bytecode metamodel and jbc++ plug-in website. https:\/\/bitbucket.org\/bmyildiz\/java-bytecode-metamodel-repository June 2016."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/370049.370456"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"e_1_3_2_1_16_1","unstructured":"Oracle. Java class file format website. https:\/\/docs.oracle.com\/javase\/specs\/jvms\/se7\/html\/jvms-4.html May 2016.  Oracle. Java class file format website. https:\/\/docs.oracle.com\/javase\/specs\/jvms\/se7\/html\/jvms-4.html May 2016."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2009.14"},{"key":"e_1_3_2_1_18_1","volume-title":"Pearson Education","author":"Steinberg D.","year":"2008"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/352029.352035"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSAE.2012.6272595"}],"event":{"name":"Programming '17: International Conference on the Art, Science, and Engineering of Programming","location":"Brussels Belgium","acronym":"Programming '17","sponsor":["AOSA Aspect-Oriented Software Association"]},"container-title":["Companion to the first International Conference on the Art, Science and Engineering of Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3079368.3079392","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3079368.3079392","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:03:25Z","timestamp":1750215805000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3079368.3079392"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,3]]},"references-count":20,"alternative-id":["10.1145\/3079368.3079392","10.1145\/3079368"],"URL":"https:\/\/doi.org\/10.1145\/3079368.3079392","relation":{},"subject":[],"published":{"date-parts":[[2017,4,3]]}}}