{"id":"https://openalex.org/W2740338871","doi":"https://doi.org/10.1145/3079368.3079392","title":"An MDE Approach for Modular Program Analyses","display_name":"An MDE Approach for Modular Program Analyses","publication_year":2017,"publication_date":"2017-04-03","ids":{"openalex":"https://openalex.org/W2740338871","doi":"https://doi.org/10.1145/3079368.3079392","mag":"2740338871"},"language":"en","primary_location":{"id":"doi:10.1145/3079368.3079392","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3079368.3079392","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion to the first International Conference on the Art, Science and Engineering of Programming","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039777169","display_name":"Bu\u011fra M. Yildiz","orcid":null},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Bugra M. Yildiz","raw_affiliation_strings":["University of Twente, Enschede, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088940435","display_name":"Christoph Bockisch","orcid":"https://orcid.org/0009-0006-9905-4798"},"institutions":[{"id":"https://openalex.org/I161103922","display_name":"Philipps University of Marburg","ror":"https://ror.org/01rdrb571","country_code":"DE","type":"education","lineage":["https://openalex.org/I161103922"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christoph Bockisch","raw_affiliation_strings":["Philipps-Universit\u00e4t Marburg, Marburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Philipps-Universit\u00e4t Marburg, Marburg, Germany","institution_ids":["https://openalex.org/I161103922"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045219123","display_name":"Arend Rensink","orcid":"https://orcid.org/0000-0002-1714-6319"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Arend Rensink","raw_affiliation_strings":["University of Twente, Enschede, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065913689","display_name":"Mehmet Ak\u015fit","orcid":null},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Mehmet Aksit","raw_affiliation_strings":["University of Twente, Enschede, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"5"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8451567888259888},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.8087124824523926},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.6700308322906494},{"id":"https://openalex.org/keywords/interoperability","display_name":"Interoperability","score":0.618242621421814},{"id":"https://openalex.org/keywords/bytecode","display_name":"Bytecode","score":0.5888528823852539},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.5792133212089539},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5765848159790039},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.49351632595062256},{"id":"https://openalex.org/keywords/java-bytecode","display_name":"Java bytecode","score":0.4416287839412689},{"id":"https://openalex.org/keywords/generics-in-java","display_name":"Generics in Java","score":0.42557308077812195},{"id":"https://openalex.org/keywords/java-modeling-language","display_name":"Java Modeling Language","score":0.417753666639328},{"id":"https://openalex.org/keywords/real-time-java","display_name":"Real time Java","score":0.37024030089378357},{"id":"https://openalex.org/keywords/java-annotation","display_name":"Java annotation","score":0.3683863878250122},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.32740241289138794},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.0769268274307251}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8451567888259888},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8087124824523926},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6700308322906494},{"id":"https://openalex.org/C20136886","wikidata":"https://www.wikidata.org/wiki/Q749647","display_name":"Interoperability","level":2,"score":0.618242621421814},{"id":"https://openalex.org/C2779818221","wikidata":"https://www.wikidata.org/wiki/Q837330","display_name":"Bytecode","level":3,"score":0.5888528823852539},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.5792133212089539},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5765848159790039},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.49351632595062256},{"id":"https://openalex.org/C2777472213","wikidata":"https://www.wikidata.org/wiki/Q137496","display_name":"Java bytecode","level":5,"score":0.4416287839412689},{"id":"https://openalex.org/C172482141","wikidata":"https://www.wikidata.org/wiki/Q379273","display_name":"Generics in Java","level":5,"score":0.42557308077812195},{"id":"https://openalex.org/C60945770","wikidata":"https://www.wikidata.org/wiki/Q2517517","display_name":"Java Modeling Language","level":5,"score":0.417753666639328},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.37024030089378357},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.3683863878250122},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.32740241289138794},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0769268274307251},{"id":"https://openalex.org/C548081761","wikidata":"https://www.wikidata.org/wiki/Q180388","display_name":"Waste management","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3079368.3079392","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3079368.3079392","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion to the first International Conference on the Art, Science and Engineering of Programming","raw_type":"proceedings-article"},{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/71993db2-1f96-4fa1-ba51-a3cdffc8b2a5","is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/71993db2-1f96-4fa1-ba51-a3cdffc8b2a5","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Yildiz, B M, Bockisch, C, Aksit, M & Rensink, A 2017, An MDE Approach for Modular Program Analyses. in Programming \u201917 : Companion to the first International Conference on the Art, Science and Engineering of Programming., 15, Association for Computing Machinery, International Conference on the Art, Science, and Engineering of Programming 2017, Brussels, Belgium, 3/04/17. https://doi.org/10.1145/3079368.3079392","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.8399999737739563,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W34866348","https://openalex.org/W146458024","https://openalex.org/W576210519","https://openalex.org/W1481876827","https://openalex.org/W2037995721","https://openalex.org/W2038064175","https://openalex.org/W2062878323","https://openalex.org/W2115142504","https://openalex.org/W2138916466","https://openalex.org/W2148234439","https://openalex.org/W2150420722","https://openalex.org/W2152277834","https://openalex.org/W2153704407","https://openalex.org/W2155028447","https://openalex.org/W2157456548","https://openalex.org/W2160883697","https://openalex.org/W2166104710","https://openalex.org/W2222666961","https://openalex.org/W4239813889"],"related_works":["https://openalex.org/W1970806266","https://openalex.org/W3099706040","https://openalex.org/W2186011611","https://openalex.org/W1606351121","https://openalex.org/W2016474211","https://openalex.org/W2117534212","https://openalex.org/W1532887546","https://openalex.org/W1521580745","https://openalex.org/W2048348930","https://openalex.org/W2169629723"],"abstract_inverted_index":{"Program":[0],"analyses":[1,20,88],"are":[2],"an":[3,24,41,70],"important":[4],"tool":[5],"to":[6,22,34,145],"check":[7],"if":[8],"a":[9,81,101,105],"system":[10],"fulfills":[11],"its":[12],"specification.":[13],"A":[14],"typical":[15],"implementation":[16,108],"strategy":[17],"for":[18,43,55,72,84],"program":[19,33,85,110],"is":[21],"use":[23],"imperative,":[25],"general-purpose":[26],"language":[27],"like":[28],"Java,":[29],"and":[30,46,64,117,135,160],"access":[31],"the":[32,107,122,156],"be":[35,95],"analyzed":[36],"through":[37],"libraries":[38],"that":[39,60],"offer":[40],"API":[42],"reading,":[44],"writing":[45],"manipulating":[47],"intermediate":[48],"code,":[49],"such":[50],"as":[51,80,89,91,97],"BCEL":[52],"or":[53],"ASM":[54],"Java":[56,74,153],"bytecode.":[57],"We":[58,120,141],"claim":[59],"this":[61,66,125],"hampers":[62],"reuse":[63],"interoperability.<br/><br/>In":[65],"paper,":[67],"we":[68],"propose":[69],"Ecore-metamodel":[71],"covering":[73],"bytecode":[75,150],"completely,":[76],"which":[77],"can":[78,93],"act":[79],"common":[82],"basis":[83],"analyses.":[86],"Code":[87],"well":[90],"instrumentations":[92],"then":[94],"defined":[96],"model":[98,136],"transformations":[99],"in":[100,155],"declarative":[102],"language.":[103],"As":[104],"consequence,":[106],"of":[109,124,132,138,148],"analysis":[111],"becomes":[112],"more":[113,115,118],"concise,":[114],"readable":[116],"modular.":[119],"demonstrate":[121],"effectiveness":[123],"approach":[126],"by":[127],"two":[128],"case":[129],"studies:":[130],"profiling":[131],"timing":[133],"performance":[134],"checking":[137],"reachability":[139],"requirements.":[140],"also":[142],"provide":[143],"tools":[144],"generate":[146],"instances":[147],"our":[149],"metamodel":[151],"from":[152],"code":[154],"class":[157],"file":[158],"format":[159],"vice":[161],"versa.<br/>":[162]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-07-25T09:21:30.201066","created_date":"2025-10-10T00:00:00"}