{"id":"https://openalex.org/W2029211030","doi":"https://doi.org/10.1109/aspdac.2014.6742988","title":"Constraint-based platform variants specification for early system verification","display_name":"Constraint-based platform variants specification for early system verification","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W2029211030","doi":"https://doi.org/10.1109/aspdac.2014.6742988","mag":"2029211030"},"language":"en","primary_location":{"id":"doi:10.1109/aspdac.2014.6742988","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aspdac.2014.6742988","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC)","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/A5018368877","display_name":"Andreas Burger","orcid":"https://orcid.org/0000-0003-3496-2294"},"institutions":[{"id":"https://openalex.org/I29955533","display_name":"Center for Information Technology","ror":"https://ror.org/03jh5a977","country_code":"US","type":"facility","lineage":["https://openalex.org/I1299022934","https://openalex.org/I1299303238","https://openalex.org/I29955533"]},{"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","US"],"is_corresponding":true,"raw_author_name":"Andreas Burger","raw_affiliation_strings":["FZI Research Center for Information Technology, Karlsruhe, Germany","FZI Research Center for Information Technology, Karlsruhe, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"FZI Research Center for Information Technology, Karlsruhe, Germany","institution_ids":["https://openalex.org/I143379178"]},{"raw_affiliation_string":"FZI Research Center for Information Technology, Karlsruhe, Germany#TAB#","institution_ids":["https://openalex.org/I29955533"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051095305","display_name":"Alexander Viehl","orcid":null},"institutions":[{"id":"https://openalex.org/I29955533","display_name":"Center for Information Technology","ror":"https://ror.org/03jh5a977","country_code":"US","type":"facility","lineage":["https://openalex.org/I1299022934","https://openalex.org/I1299303238","https://openalex.org/I29955533"]},{"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","US"],"is_corresponding":false,"raw_author_name":"Alexander Viehl","raw_affiliation_strings":["FZI Research Center for Information Technology, Karlsruhe, Germany","FZI Research Center for Information Technology, Karlsruhe, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"FZI Research Center for Information Technology, Karlsruhe, Germany","institution_ids":["https://openalex.org/I143379178"]},{"raw_affiliation_string":"FZI Research Center for Information Technology, Karlsruhe, Germany#TAB#","institution_ids":["https://openalex.org/I29955533"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072039303","display_name":"Andreas Braun","orcid":"https://orcid.org/0000-0003-1819-6091"},"institutions":[{"id":"https://openalex.org/I29955533","display_name":"Center for Information Technology","ror":"https://ror.org/03jh5a977","country_code":"US","type":"facility","lineage":["https://openalex.org/I1299022934","https://openalex.org/I1299303238","https://openalex.org/I29955533"]},{"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","US"],"is_corresponding":false,"raw_author_name":"Andreas Braun","raw_affiliation_strings":["FZI Research Center for Information Technology, Karlsruhe, Germany","FZI Research Center for Information Technology, Karlsruhe, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"FZI Research Center for Information Technology, Karlsruhe, Germany","institution_ids":["https://openalex.org/I143379178"]},{"raw_affiliation_string":"FZI Research Center for Information Technology, Karlsruhe, Germany#TAB#","institution_ids":["https://openalex.org/I29955533"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040266604","display_name":"Finn Haedicke","orcid":null},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Finn Haedicke","raw_affiliation_strings":["Institute of Computer Science, University of Bremen, Bremen, Germany","Solvertec GmbH, Bremen, Germany"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, University of Bremen, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]},{"raw_affiliation_string":"Solvertec GmbH, Bremen, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112634980","display_name":"Daniel Grose","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Daniel Grose","raw_affiliation_strings":["Solvertec GmbH, Bremen, Germany"],"affiliations":[{"raw_affiliation_string":"Solvertec GmbH, Bremen, Germany","institution_ids":[]}]},{"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/I29955533","display_name":"Center for Information Technology","ror":"https://ror.org/03jh5a977","country_code":"US","type":"facility","lineage":["https://openalex.org/I1299022934","https://openalex.org/I1299303238","https://openalex.org/I29955533"]},{"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","US"],"is_corresponding":false,"raw_author_name":"Oliver Bringmann","raw_affiliation_strings":["FZI Research Center for Information Technology, Karlsruhe, Germany","FZI Research Center for Information Technology, Karlsruhe, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"FZI Research Center for Information Technology, Karlsruhe, Germany","institution_ids":["https://openalex.org/I143379178"]},{"raw_affiliation_string":"FZI Research Center for Information Technology, Karlsruhe, Germany#TAB#","institution_ids":["https://openalex.org/I29955533"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087076980","display_name":"Wolfgang Rosenstiel","orcid":null},"institutions":[{"id":"https://openalex.org/I29955533","display_name":"Center for Information Technology","ror":"https://ror.org/03jh5a977","country_code":"US","type":"facility","lineage":["https://openalex.org/I1299022934","https://openalex.org/I1299303238","https://openalex.org/I29955533"]},{"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","US"],"is_corresponding":false,"raw_author_name":"Wolfgang Rosenstiel","raw_affiliation_strings":["FZI Research Center for Information Technology, Karlsruhe, Germany","FZI Research Center for Information Technology, Karlsruhe, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"FZI Research Center for Information Technology, Karlsruhe, Germany","institution_ids":["https://openalex.org/I143379178"]},{"raw_affiliation_string":"FZI Research Center for Information Technology, Karlsruhe, Germany#TAB#","institution_ids":["https://openalex.org/I29955533"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5018368877"],"corresponding_institution_ids":["https://openalex.org/I29955533","https://openalex.org/I143379178"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.07433068,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"800","last_page":"805"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994999766349792,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9990000128746033,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7928447723388672},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.698421061038971},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.6435135006904602},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5997408628463745},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.49543774127960205},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.46451181173324585},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.44305911660194397},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4336872696876526},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3675633370876312},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.335498183965683},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.2097809612751007},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09993252158164978}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7928447723388672},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.698421061038971},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.6435135006904602},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5997408628463745},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.49543774127960205},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.46451181173324585},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.44305911660194397},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4336872696876526},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3675633370876312},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.335498183965683},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.2097809612751007},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09993252158164978},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C548081761","wikidata":"https://www.wikidata.org/wiki/Q180388","display_name":"Waste management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/aspdac.2014.6742988","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aspdac.2014.6742988","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5199999809265137,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321114","display_name":"Bundesministerium f\u00fcr Bildung und Forschung","ror":"https://ror.org/04pz7b180"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1583008453","https://openalex.org/W2006189921","https://openalex.org/W2048220466","https://openalex.org/W2057424398","https://openalex.org/W2099213660","https://openalex.org/W2103364805","https://openalex.org/W2118989541","https://openalex.org/W2142910937","https://openalex.org/W2155398252","https://openalex.org/W2158202033","https://openalex.org/W2165915311","https://openalex.org/W2165988687","https://openalex.org/W2406059451","https://openalex.org/W2408249370","https://openalex.org/W3141582805","https://openalex.org/W3147466665","https://openalex.org/W3149485484","https://openalex.org/W3151277855","https://openalex.org/W4247806563","https://openalex.org/W6634949822","https://openalex.org/W6713656006"],"related_works":["https://openalex.org/W3120172095","https://openalex.org/W2118572231","https://openalex.org/W2106507440","https://openalex.org/W2105593427","https://openalex.org/W2108860137","https://openalex.org/W3209085687","https://openalex.org/W2153955347","https://openalex.org/W1928822090","https://openalex.org/W2533078207","https://openalex.org/W2125238773"],"abstract_inverted_index":{"To":[0],"overcome":[1],"the":[2,39,55,67],"verification":[3],"gap":[4],"arising":[5],"from":[6],"significantly":[7],"increased":[8],"external":[9],"IP":[10],"integration":[11],"and":[12,18,37,62,70],"reuse":[13],"during":[14],"electronic":[15],"platform":[16,27,57],"design":[17],"composition,":[19],"we":[20],"present":[21],"a":[22,51],"model-based":[23,75],"approach":[24],"to":[25,43],"specify":[26],"variants.":[28],"The":[29],"variants":[30,58],"specification":[31,53],"is":[32],"processed":[33],"automatically":[34],"by":[35],"formalizing":[36],"solving":[38],"integrated":[40],"constraint":[41,48],"sets":[42,49],"derive":[44],"valid":[45],"platforms.":[46],"These":[47],"enable":[50],"precise":[52],"of":[54,72],"required":[56],"for":[59],"verification,":[60],"exploration":[61],"test.":[63],"Experimental":[64],"results":[65],"demonstrate":[66],"applicability,":[68],"versatility":[69],"scalability":[71],"our":[73],"novel":[74],"approach.":[76]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}