{"id":"https://openalex.org/W3093977803","doi":"https://doi.org/10.1145/3425174.3425213","title":"Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations","display_name":"Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations","publication_year":2020,"publication_date":"2020-10-20","ids":{"openalex":"https://openalex.org/W3093977803","doi":"https://doi.org/10.1145/3425174.3425213","mag":"3093977803"},"language":"en","primary_location":{"id":"doi:10.1145/3425174.3425213","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3425174.3425213","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th Brazilian Symposium on Systematic and Automated Software Testing","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/A5033956385","display_name":"Jan Toennemann","orcid":"https://orcid.org/0000-0002-5201-1591"},"institutions":[{"id":"https://openalex.org/I43980791","display_name":"Clausthal University of Technology","ror":"https://ror.org/04qb8nc58","country_code":"DE","type":"education","lineage":["https://openalex.org/I43980791"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Jan Toennemann","raw_affiliation_strings":["Institute for Software and Systems Engineering, TU Clausthal, Clausthal-Zellerfeld, Germany"],"affiliations":[{"raw_affiliation_string":"Institute for Software and Systems Engineering, TU Clausthal, Clausthal-Zellerfeld, Germany","institution_ids":["https://openalex.org/I43980791"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020747085","display_name":"Adina Anicul\u0103esei","orcid":"https://orcid.org/0009-0001-9563-4000"},"institutions":[{"id":"https://openalex.org/I43980791","display_name":"Clausthal University of Technology","ror":"https://ror.org/04qb8nc58","country_code":"DE","type":"education","lineage":["https://openalex.org/I43980791"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Adina Anicul\u0103esei","raw_affiliation_strings":["Institute for Software and Systems Engineering, TU Clausthal, Clausthal-Zellerfeld, Germany"],"affiliations":[{"raw_affiliation_string":"Institute for Software and Systems Engineering, TU Clausthal, Clausthal-Zellerfeld, Germany","institution_ids":["https://openalex.org/I43980791"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102777412","display_name":"Andreas Rausch","orcid":"https://orcid.org/0000-0002-6850-6409"},"institutions":[{"id":"https://openalex.org/I43980791","display_name":"Clausthal University of Technology","ror":"https://ror.org/04qb8nc58","country_code":"DE","type":"education","lineage":["https://openalex.org/I43980791"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Andreas Rausch","raw_affiliation_strings":["Institute for Software and Systems Engineering, TU Clausthal, Clausthal-Zellerfeld, Germany"],"affiliations":[{"raw_affiliation_string":"Institute for Software and Systems Engineering, TU Clausthal, Clausthal-Zellerfeld, Germany","institution_ids":["https://openalex.org/I43980791"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5033956385"],"corresponding_institution_ids":["https://openalex.org/I43980791"],"apc_list":null,"apc_paid":null,"fwci":0.3038,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.62539683,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"60","last_page":"68"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9997000098228455,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9997000098228455,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9984999895095825,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9975000023841858,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6962514519691467},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.6629630923271179},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5980584621429443},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5944802165031433},{"id":"https://openalex.org/keywords/legacy-code","display_name":"Legacy code","score":0.5603177547454834},{"id":"https://openalex.org/keywords/functional-equivalence","display_name":"Functional equivalence","score":0.5496314167976379},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.48535481095314026},{"id":"https://openalex.org/keywords/kpi-driven-code-analysis","display_name":"KPI-driven code analysis","score":0.4674298167228699},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4576529264450073},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.4535433351993561},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.3299879729747772},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.31474971771240234},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.25375896692276},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2437552809715271}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6962514519691467},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.6629630923271179},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5980584621429443},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5944802165031433},{"id":"https://openalex.org/C85687889","wikidata":"https://www.wikidata.org/wiki/Q445962","display_name":"Legacy code","level":3,"score":0.5603177547454834},{"id":"https://openalex.org/C2988012377","wikidata":"https://www.wikidata.org/wiki/Q29966452","display_name":"Functional equivalence","level":2,"score":0.5496314167976379},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.48535481095314026},{"id":"https://openalex.org/C121957198","wikidata":"https://www.wikidata.org/wiki/Q14365593","display_name":"KPI-driven code analysis","level":5,"score":0.4674298167228699},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4576529264450073},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4535433351993561},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.3299879729747772},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.31474971771240234},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.25375896692276},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2437552809715271},{"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/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3425174.3425213","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3425174.3425213","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th Brazilian Symposium on Systematic and Automated Software Testing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.5099999904632568}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W125726805","https://openalex.org/W994990881","https://openalex.org/W1499441859","https://openalex.org/W1535825818","https://openalex.org/W1538643901","https://openalex.org/W1541969962","https://openalex.org/W1586502670","https://openalex.org/W1843968717","https://openalex.org/W1974940962","https://openalex.org/W2005678785","https://openalex.org/W2016730924","https://openalex.org/W2026099591","https://openalex.org/W2028025798","https://openalex.org/W2039430166","https://openalex.org/W2042920590","https://openalex.org/W2083222184","https://openalex.org/W2094489875","https://openalex.org/W2095741627","https://openalex.org/W2104219811","https://openalex.org/W2113364141","https://openalex.org/W2152664489","https://openalex.org/W2156714044","https://openalex.org/W2159181605","https://openalex.org/W2470569489","https://openalex.org/W2488032294","https://openalex.org/W2588096382","https://openalex.org/W2787362676","https://openalex.org/W2794845999","https://openalex.org/W2810045119","https://openalex.org/W2957350724","https://openalex.org/W2972587753","https://openalex.org/W2990717960","https://openalex.org/W4229730107","https://openalex.org/W4231602332"],"related_works":["https://openalex.org/W1486852150","https://openalex.org/W2950501278","https://openalex.org/W4302368868","https://openalex.org/W2998034204","https://openalex.org/W2280976997","https://openalex.org/W3132717223","https://openalex.org/W1511313526","https://openalex.org/W2572745718","https://openalex.org/W3093977803","https://openalex.org/W1536501326"],"abstract_inverted_index":{"Model-based":[0],"development":[1,51,68],"is":[2,39,52],"on":[3],"the":[4,29,43,75],"rise":[5],"and":[6,32,62],"tool":[7],"chains":[8],"employing":[9],"automated":[10],"code":[11,17,65],"generation":[12],"from":[13,78],"models":[14],"using":[15],"certified":[16],"generators":[18],"are":[19],"getting":[20],"increasingly":[21],"common.":[22],"We":[23],"present":[24],"an":[25,34],"approach":[26],"which":[27],"enables":[28],"reverse":[30],"operation":[31],"creates":[33],"ANSYS":[35],"SCADE":[36],"model":[37],"that":[38],"functionally":[40],"equivalent":[41],"to":[42,53,59,73],"C":[44],"code.":[45],"The":[46],"main":[47],"motivation":[48],"behind":[49],"this":[50],"enable":[54],"original":[55],"equipment":[56],"manufacturers":[57],"(OEMs)":[58],"further":[60],"use":[61],"maintain":[63],"legacy":[64],"in":[66],"new":[67],"environments,":[69],"rather":[70],"than":[71],"having":[72],"re-develop":[74],"respective":[76],"functionality":[77],"scratch.":[79]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}