{"id":"https://openalex.org/W2112632382","doi":"https://doi.org/10.1109/sies.2010.5551382","title":"A system for synthesizing abstraction-enabled simulators for binary code verification","display_name":"A system for synthesizing abstraction-enabled simulators for binary code verification","publication_year":2010,"publication_date":"2010-07-01","ids":{"openalex":"https://openalex.org/W2112632382","doi":"https://doi.org/10.1109/sies.2010.5551382","mag":"2112632382"},"language":"en","primary_location":{"id":"doi:10.1109/sies.2010.5551382","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sies.2010.5551382","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Symposium on Industrial Embedded System (SIES)","raw_type":"proceedings-article"},"type":"article","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/A5018069982","display_name":"Dominique G\u00fcckel","orcid":null},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Dominique Guckel","raw_affiliation_strings":["Embedded Software Laboratory, RWTH Aachen University, Aachen, Germany","Embedded Software Laboratory, RWTH Aachen University, Ahornstra\u00dfe 55, 52074 Aachen, Germany"],"affiliations":[{"raw_affiliation_string":"Embedded Software Laboratory, RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]},{"raw_affiliation_string":"Embedded Software Laboratory, RWTH Aachen University, Ahornstra\u00dfe 55, 52074 Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070791589","display_name":"J\u00f6rg Br\u00e4uer","orcid":null},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jorg Brauer","raw_affiliation_strings":["Embedded Software Laboratory, RWTH Aachen University, Aachen, Germany","Embedded Software Laboratory, RWTH Aachen University, Ahornstra\u00dfe 55, 52074 Aachen, Germany"],"affiliations":[{"raw_affiliation_string":"Embedded Software Laboratory, RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]},{"raw_affiliation_string":"Embedded Software Laboratory, RWTH Aachen University, Ahornstra\u00dfe 55, 52074 Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019982470","display_name":"Stefan Kowalewski","orcid":"https://orcid.org/0000-0001-9397-2009"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Stefan Kowalewski","raw_affiliation_strings":["Embedded Software Laboratory, RWTH Aachen University, Aachen, Germany","Embedded Software Laboratory, RWTH Aachen University, Ahornstra\u00dfe 55, 52074 Aachen, Germany"],"affiliations":[{"raw_affiliation_string":"Embedded Software Laboratory, RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]},{"raw_affiliation_string":"Embedded Software Laboratory, RWTH Aachen University, Ahornstra\u00dfe 55, 52074 Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5018069982"],"corresponding_institution_ids":["https://openalex.org/I887968799"],"apc_list":null,"apc_paid":null,"fwci":1.3935,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.85396026,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"2404","issue":null,"first_page":"118","last_page":"127"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.8365283012390137},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.70008784532547},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6201121807098389},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.6125745177268982},{"id":"https://openalex.org/keywords/microcontroller","display_name":"Microcontroller","score":0.5601349472999573},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.550449013710022},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5446627736091614},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5045138597488403},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.47367197275161743},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4615462124347687},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.45881161093711853},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.44473034143447876},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.44078847765922546},{"id":"https://openalex.org/keywords/embedded-software","display_name":"Embedded software","score":0.43480977416038513},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.34793275594711304},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3384780287742615},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.32079076766967773},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.25932931900024414},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.18267357349395752},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.12065315246582031}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8365283012390137},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.70008784532547},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6201121807098389},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.6125745177268982},{"id":"https://openalex.org/C173018170","wikidata":"https://www.wikidata.org/wiki/Q165678","display_name":"Microcontroller","level":2,"score":0.5601349472999573},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.550449013710022},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5446627736091614},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5045138597488403},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.47367197275161743},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4615462124347687},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.45881161093711853},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.44473034143447876},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44078847765922546},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.43480977416038513},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.34793275594711304},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3384780287742615},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.32079076766967773},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.25932931900024414},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.18267357349395752},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.12065315246582031},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/sies.2010.5551382","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sies.2010.5551382","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Symposium on Industrial Embedded System (SIES)","raw_type":"proceedings-article"},{"id":"pmh:oai:publications.rwth-aachen.de:119226","is_oa":false,"landing_page_url":"https://publications.rwth-aachen.de/record/119226","pdf_url":null,"source":{"id":"https://openalex.org/S4306401033","display_name":"RWTH Publications (RWTH Aachen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887968799","host_organization_name":"RWTH Aachen University","host_organization_lineage":["https://openalex.org/I887968799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2010 International Symposium on Industrial Embedded Systems (SIES 2010) : Trento, Italy, 7 - 9 July 2010 / [University of Trento, Italy; IEEE; IES]<br/>2010 International Symposium on Industrial Embedded Systems, SIES 2010, Trento, Italy, 2010-07-07 - 2010-07-09","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.4699999988079071}],"awards":[],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W749729","https://openalex.org/W1497882246","https://openalex.org/W1589769328","https://openalex.org/W1602320145","https://openalex.org/W1919280204","https://openalex.org/W1973206941","https://openalex.org/W2010074783","https://openalex.org/W2010609147","https://openalex.org/W2027272202","https://openalex.org/W2096698236","https://openalex.org/W2126301692","https://openalex.org/W2136310957","https://openalex.org/W2139573796","https://openalex.org/W2167310095","https://openalex.org/W2170736936","https://openalex.org/W2647579703","https://openalex.org/W4235788944","https://openalex.org/W4285719527","https://openalex.org/W6600028639","https://openalex.org/W6678828286","https://openalex.org/W6680595400"],"related_works":["https://openalex.org/W1542124114","https://openalex.org/W2118572231","https://openalex.org/W3120172095","https://openalex.org/W3036403349","https://openalex.org/W2108860137","https://openalex.org/W2117425003","https://openalex.org/W1522369122","https://openalex.org/W2162615969","https://openalex.org/W2013077575","https://openalex.org/W1968510839"],"abstract_inverted_index":{"Formal":[0],"verification":[1],"of":[2,41,54,65,96],"embedded":[3,48],"software":[4],"is":[5],"crucial":[6],"in":[7,57,86],"safety-critical":[8],"applications,":[9],"ideally":[10],"requiring":[11],"as":[12,16],"little":[13],"human":[14],"intervention":[15],"possible.":[17],"Binary":[18],"code":[19],"model":[20,84],"checking":[21,85],"based":[22],"on":[23],"hardware":[24],"simulators":[25,101],"already":[26],"comes":[27],"close":[28],"to":[29],"this":[30,59,66,70,97],"goal,":[31],"although":[32],"with":[33,51],"high":[34],"initial":[35],"effort":[36],"for":[37,76,83,102],"developing":[38],"a":[39,74],"simulator":[40],"the":[42,47,63,94,103],"respective":[43],"target":[44],"platform.":[45],"In":[46],"systems":[49],"domain":[50],"its":[52],"varieties":[53],"different":[55],"architectures":[56],"use,":[58],"can":[60],"severely":[61],"restrict":[62],"applicability":[64],"approach.":[67],"To":[68],"remedy":[69],"drawback,":[71],"we":[72],"describe":[73],"system":[75],"automatically":[77],"synthesizing":[78,100],"simulators,":[79],"which":[80],"are":[81],"suited":[82],"that":[87],"they":[88],"support":[89],"automatic":[90],"abstraction.":[91],"We":[92],"evaluate":[93],"practicality":[95],"approach":[98],"by":[99],"Atmel":[104],"ATmega16":[105],"and":[106],"Intel":[107],"MCS-51":[108],"microcontrollers.":[109]},"counts_by_year":[{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}