{"id":"https://openalex.org/W2798790471","doi":"https://doi.org/10.23919/date.2018.8342014","title":"Exact multi-objective design space exploration using ASPmT","display_name":"Exact multi-objective design space exploration using ASPmT","publication_year":2018,"publication_date":"2018-03-01","ids":{"openalex":"https://openalex.org/W2798790471","doi":"https://doi.org/10.23919/date.2018.8342014","mag":"2798790471"},"language":"en","primary_location":{"id":"doi:10.23919/date.2018.8342014","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date.2018.8342014","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)","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/A5048091333","display_name":"Kai Neubauer","orcid":"https://orcid.org/0000-0003-4138-5114"},"institutions":[{"id":"https://openalex.org/I4665924","display_name":"University of Rostock","ror":"https://ror.org/03zdwsf69","country_code":"DE","type":"education","lineage":["https://openalex.org/I4665924"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Kai Neubauer","raw_affiliation_strings":["Applied Microelectronics and Computer Engineering, University of Rostock, Germany"],"affiliations":[{"raw_affiliation_string":"Applied Microelectronics and Computer Engineering, University of Rostock, Germany","institution_ids":["https://openalex.org/I4665924"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081459731","display_name":"Philipp Wanko","orcid":"https://orcid.org/0000-0003-4986-4881"},"institutions":[{"id":"https://openalex.org/I176453806","display_name":"University of Potsdam","ror":"https://ror.org/03bnmw459","country_code":"DE","type":"education","lineage":["https://openalex.org/I176453806"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Philipp Wanko","raw_affiliation_strings":["Knowledge Processing and Information Systems, University of Potsdam, Germany"],"affiliations":[{"raw_affiliation_string":"Knowledge Processing and Information Systems, University of Potsdam, Germany","institution_ids":["https://openalex.org/I176453806"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058467603","display_name":"Torsten Schaub","orcid":"https://orcid.org/0000-0002-7456-041X"},"institutions":[{"id":"https://openalex.org/I176453806","display_name":"University of Potsdam","ror":"https://ror.org/03bnmw459","country_code":"DE","type":"education","lineage":["https://openalex.org/I176453806"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Torsten Schaub","raw_affiliation_strings":["Knowledge Processing and Information Systems, University of Potsdam, Germany"],"affiliations":[{"raw_affiliation_string":"Knowledge Processing and Information Systems, University of Potsdam, Germany","institution_ids":["https://openalex.org/I176453806"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063619304","display_name":"Christian Haubelt","orcid":"https://orcid.org/0000-0002-1568-5423"},"institutions":[{"id":"https://openalex.org/I4665924","display_name":"University of Rostock","ror":"https://ror.org/03zdwsf69","country_code":"DE","type":"education","lineage":["https://openalex.org/I4665924"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christian Haubelt","raw_affiliation_strings":["Applied Microelectronics and Computer Engineering, University of Rostock, Germany"],"affiliations":[{"raw_affiliation_string":"Applied Microelectronics and Computer Engineering, University of Rostock, Germany","institution_ids":["https://openalex.org/I4665924"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5048091333"],"corresponding_institution_ids":["https://openalex.org/I4665924"],"apc_list":null,"apc_paid":null,"fwci":2.5644,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.90749542,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"2018","issue":null,"first_page":"257","last_page":"260"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9984999895095825,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9984999895095825,"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"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9957000017166138,"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/T10260","display_name":"Software Engineering Research","score":0.9947999715805054,"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/abstraction","display_name":"Abstraction","score":0.6985156536102295},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6727185249328613},{"id":"https://openalex.org/keywords/design-space-exploration","display_name":"Design space exploration","score":0.6464481949806213},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.5831423997879028},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.5553332567214966},{"id":"https://openalex.org/keywords/abstraction-layer","display_name":"Abstraction layer","score":0.5194405913352966},{"id":"https://openalex.org/keywords/convergence","display_name":"Convergence (economics)","score":0.5178273320198059},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5130566358566284},{"id":"https://openalex.org/keywords/multi-objective-optimization","display_name":"Multi-objective optimization","score":0.510384738445282},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44949859380722046},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.42273640632629395},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.42025288939476013},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.19462183117866516},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17265984416007996},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.15007978677749634},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.12731975317001343}],"concepts":[{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6985156536102295},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6727185249328613},{"id":"https://openalex.org/C2776221188","wikidata":"https://www.wikidata.org/wiki/Q21072556","display_name":"Design space exploration","level":2,"score":0.6464481949806213},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5831423997879028},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.5553332567214966},{"id":"https://openalex.org/C147358964","wikidata":"https://www.wikidata.org/wiki/Q1200992","display_name":"Abstraction layer","level":3,"score":0.5194405913352966},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.5178273320198059},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5130566358566284},{"id":"https://openalex.org/C68781425","wikidata":"https://www.wikidata.org/wiki/Q2052203","display_name":"Multi-objective optimization","level":2,"score":0.510384738445282},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44949859380722046},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.42273640632629395},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.42025288939476013},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19462183117866516},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17265984416007996},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.15007978677749634},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.12731975317001343},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.23919/date.2018.8342014","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date.2018.8342014","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)","raw_type":"proceedings-article"},{"id":"pmh:oai:kobv.de-opus4-uni-potsdam:54514","is_oa":false,"landing_page_url":"https://publishup.uni-potsdam.de/frontdoor/index/index/docId/54514","pdf_url":null,"source":{"id":"https://openalex.org/S4306400594","display_name":"publish.UP (University of Potsdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I176453806","host_organization_name":"University of Potsdam","host_organization_lineage":["https://openalex.org/I176453806"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"doc-type:Other"},{"id":"mag:3121022217","is_oa":false,"landing_page_url":"https://jglobal.jst.go.jp/en/detail?JGLOBAL_ID=201802254925165834","pdf_url":null,"source":{"id":"https://openalex.org/S4306512817","display_name":"IEEE Conference Proceedings","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":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"IEEE Conference Proceedings","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W999267547","https://openalex.org/W2065371917","https://openalex.org/W2098907614","https://openalex.org/W2104493335","https://openalex.org/W2111307259","https://openalex.org/W2151138273","https://openalex.org/W2154635391","https://openalex.org/W2155378065","https://openalex.org/W2401337862","https://openalex.org/W2551048680","https://openalex.org/W2577124248","https://openalex.org/W2578895614","https://openalex.org/W2600141734","https://openalex.org/W2613166649","https://openalex.org/W3148341734","https://openalex.org/W6732635222"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2376932109","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W1583486451","https://openalex.org/W1769814326","https://openalex.org/W1517919824","https://openalex.org/W2215572465","https://openalex.org/W2005079971"],"abstract_inverted_index":{"An":[0],"efficient":[1],"Design":[2],"Space":[3],"Exploration":[4],"(DSE)":[5],"is":[6],"imperative":[7],"for":[8,42,141],"the":[9,21,52,55,122,161],"design":[10,25,31,127],"of":[11,30,54,78,125],"modern,":[12],"highly":[13,79],"complex":[14,80],"embedded":[15],"systems":[16],"in":[17,46],"order":[18],"to":[19,38,74,97,155,160],"steer":[20],"development":[22,44],"towards":[23],"optimal":[24],"points.":[26],"The":[27],"early":[28],"evaluation":[29],"decisions":[32],"at":[33],"system-level":[34,81,100],"abstraction":[35,48],"layer":[36],"helps":[37],"find":[39,75],"promising":[40],"regions":[41],"subsequent":[43],"steps":[45],"lower":[47],"levels":[49],"by":[50],"diminishing":[51],"complexity":[53],"search":[56],"problem.":[57],"In":[58,89],"recent":[59],"works,":[60],"symbolic":[61],"techniques,":[62],"especially":[63],"Answer":[64],"Set":[65],"Programming":[66],"(ASP)":[67],"modulo":[68],"Theories":[69],"(ASPmT),":[70],"have":[71],"been":[72],"shown":[73],"feasible":[76],"solutions":[77,152],"synthesis":[82],"problems":[83],"with":[84,117,135,153],"non-linear":[85],"constraints":[86,119],"very":[87],"efficiently.":[88],"this":[90,106],"paper,":[91],"we":[92,108],"present":[93],"a":[94,98,136],"novel":[95],"approach":[96,134],"holistic":[99],"DSE":[101],"based":[102],"on":[103],"ASPmT.":[104],"To":[105],"end,":[107],"include":[109],"additional":[110],"background":[111],"theories":[112],"that":[113,146],"concurrently":[114],"guarantee":[115],"compliance":[116],"hard":[118],"and":[120,131,158],"perform":[121],"simultaneous":[123],"optimization":[124],"several":[126],"objectives.":[128],"We":[129],"implement":[130],"compare":[132],"our":[133,147],"state-of-the-art":[137],"preference":[138],"handling":[139],"framework":[140],"ASP.":[142],"Experimental":[143],"results":[144],"indicate":[145],"proposed":[148],"method":[149],"produces":[150],"better":[151],"respect":[154],"both":[156],"diversity":[157],"convergence":[159],"true":[162],"Pareto":[163],"front.":[164]},"counts_by_year":[{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":4}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}