{"id":"https://openalex.org/W2019488907","doi":"https://doi.org/10.1145/2039370.2039417","title":"Dominator homomorphism based code matching for source-level simulation of embedded software","display_name":"Dominator homomorphism based code matching for source-level simulation of embedded software","publication_year":2011,"publication_date":"2011-10-09","ids":{"openalex":"https://openalex.org/W2019488907","doi":"https://doi.org/10.1145/2039370.2039417","mag":"2019488907"},"language":"en","primary_location":{"id":"doi:10.1145/2039370.2039417","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2039370.2039417","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis","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/A5043855034","display_name":"Stefan Stattelmann","orcid":null},"institutions":[{"id":"https://openalex.org/I143379178","display_name":"FZI Research Center for Information Technology","ror":"https://ror.org/04kdh6x72","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I143379178"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Stefan Stattelmann","raw_affiliation_strings":["FZI Forschungszentrum Informatik, Karlsruhe, Germany","FZI Forschungszentrum Informatik, Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"FZI Forschungszentrum Informatik, Karlsruhe, Germany","institution_ids":["https://openalex.org/I143379178"]},{"raw_affiliation_string":"FZI Forschungszentrum Informatik, Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe, Germany","institution_ids":["https://openalex.org/I143379178"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074802358","display_name":"Oliver Bringmann","orcid":"https://orcid.org/0000-0002-1615-507X"},"institutions":[{"id":"https://openalex.org/I143379178","display_name":"FZI Research Center for Information Technology","ror":"https://ror.org/04kdh6x72","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I143379178"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Oliver Bringmann","raw_affiliation_strings":["FZI Forschungszentrum Informatik, Karlsruhe, Germany","FZI Forschungszentrum Informatik, Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"FZI Forschungszentrum Informatik, Karlsruhe, Germany","institution_ids":["https://openalex.org/I143379178"]},{"raw_affiliation_string":"FZI Forschungszentrum Informatik, Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe, Germany","institution_ids":["https://openalex.org/I143379178"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087076980","display_name":"Wolfgang Rosenstiel","orcid":null},"institutions":[{"id":"https://openalex.org/I143379178","display_name":"FZI Research Center for Information Technology","ror":"https://ror.org/04kdh6x72","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I143379178"]},{"id":"https://openalex.org/I8087733","display_name":"University of T\u00fcbingen","ror":"https://ror.org/03a1kwz48","country_code":"DE","type":"education","lineage":["https://openalex.org/I8087733"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Wolfgang Rosenstiel","raw_affiliation_strings":["University of Tuebingen, Tuebingen, Germany","FZI Forschungszentrum Informatik, Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Tuebingen, Tuebingen, Germany","institution_ids":["https://openalex.org/I8087733"]},{"raw_affiliation_string":"FZI Forschungszentrum Informatik, Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe, Germany","institution_ids":["https://openalex.org/I143379178"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"305","last_page":"314"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.8810433745384216},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.8235152959823608},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.6327057480812073},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6202629208564758},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.585241436958313},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.5715975165367126},{"id":"https://openalex.org/keywords/dead-code-elimination","display_name":"Dead code elimination","score":0.5609763860702515},{"id":"https://openalex.org/keywords/dead-code","display_name":"Dead code","score":0.48966339230537415},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.4805039167404175},{"id":"https://openalex.org/keywords/unreachable-code","display_name":"Unreachable code","score":0.46305012702941895},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.443254679441452},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.438627153635025},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.4312606751918793},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3977554440498352},{"id":"https://openalex.org/keywords/redundant-code","display_name":"Redundant code","score":0.3756120800971985},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.2539495825767517},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.24493208527565002}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8810433745384216},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8235152959823608},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.6327057480812073},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6202629208564758},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.585241436958313},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.5715975165367126},{"id":"https://openalex.org/C2144512","wikidata":"https://www.wikidata.org/wiki/Q1143090","display_name":"Dead code elimination","level":5,"score":0.5609763860702515},{"id":"https://openalex.org/C47434764","wikidata":"https://www.wikidata.org/wiki/Q1770035","display_name":"Dead code","level":5,"score":0.48966339230537415},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.4805039167404175},{"id":"https://openalex.org/C50951305","wikidata":"https://www.wikidata.org/wiki/Q2482534","display_name":"Unreachable code","level":5,"score":0.46305012702941895},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.443254679441452},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.438627153635025},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.4312606751918793},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3977554440498352},{"id":"https://openalex.org/C151578736","wikidata":"https://www.wikidata.org/wiki/Q1251793","display_name":"Redundant code","level":4,"score":0.3756120800971985},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.2539495825767517},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.24493208527565002},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2039370.2039417","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2039370.2039417","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7799999713897705,"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1491178396","https://openalex.org/W1562406586","https://openalex.org/W1721908487","https://openalex.org/W1982033096","https://openalex.org/W1986449043","https://openalex.org/W2058963206","https://openalex.org/W2060248861","https://openalex.org/W2078536008","https://openalex.org/W2088514859","https://openalex.org/W2096258337","https://openalex.org/W2103272022","https://openalex.org/W2105974337","https://openalex.org/W2123508706","https://openalex.org/W2125416724","https://openalex.org/W2137989661","https://openalex.org/W2141740031","https://openalex.org/W2160197352","https://openalex.org/W2168830726"],"related_works":["https://openalex.org/W2161969548","https://openalex.org/W4244016640","https://openalex.org/W3008325674","https://openalex.org/W2036000779","https://openalex.org/W2112669344","https://openalex.org/W1539844444","https://openalex.org/W2045218056","https://openalex.org/W179346248","https://openalex.org/W2011669306","https://openalex.org/W2999906275"],"abstract_inverted_index":{"Relating":[0],"optimized":[1,63],"binary":[2],"code":[3,52,64],"and":[4,72,94],"the":[5,24,50,60,70],"source-level":[6],"statements":[7],"from":[8,41],"which":[9],"it":[10],"was":[11,20],"created":[12],"can":[13],"be":[14,37,47],"challenging":[15],"if":[16,32,101],"an":[17],"optimizing":[18],"compiler":[19,71,102],"used":[21],"to":[22,46,49,53],"create":[23],"machine":[25],"code.":[26],"Moreover,":[27],"this":[28],"relation":[29],"is":[30],"crucial":[31],"a":[33,42],"compiler-optimized":[34],"program":[35],"must":[36],"debugged":[38],"or":[39],"results":[40],"low-level":[43],"analysis":[44],"need":[45],"mapped":[48],"source":[51],"perform":[54],"manual":[55],"optimizations.":[56],"Existing":[57],"approaches":[58],"for":[59,77,81],"debugging":[61],"of":[62,85],"usually":[65],"require":[66],"pervasive":[67],"changes":[68],"in":[69,88],"hence":[73],"are":[74,104],"not":[75],"available":[76],"all":[78],"architectures.":[79],"Methods":[80],"analyzing":[82],"non-functional":[83],"properties":[84],"software":[86],"components":[87],"complex":[89],"systems":[90],"(i.e.":[91],"execution":[92],"time":[93],"power":[95],"consumption)":[96],"often":[97],"have":[98],"similar":[99],"constraints,":[100],"optimizations":[103],"supported":[105],"at":[106],"all.":[107]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":4}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}