{"id":"https://openalex.org/W2366604892","doi":"https://doi.org/10.1145/2906363.2906367","title":"A Lightweight Design Space Exploration and Optimization Language","display_name":"A Lightweight Design Space Exploration and Optimization Language","publication_year":2016,"publication_date":"2016-05-13","ids":{"openalex":"https://openalex.org/W2366604892","doi":"https://doi.org/10.1145/2906363.2906367","mag":"2366604892"},"language":"en","primary_location":{"id":"doi:10.1145/2906363.2906367","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2906363.2906367","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://mediatum.ub.tum.de/node?id=1430232","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041286175","display_name":"Alexander Diewald","orcid":null},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]},{"id":"https://openalex.org/I4210134795","display_name":"Fortiss","ror":"https://ror.org/042x1tp92","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I4210134795"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Alexander Diewald","raw_affiliation_strings":["fortiss GmbH, An-Institut Technische Universit\u00e4t M\u00fcnchen, Guerickestr. 25, 80805 Munich, Germany"],"affiliations":[{"raw_affiliation_string":"fortiss GmbH, An-Institut Technische Universit\u00e4t M\u00fcnchen, Guerickestr. 25, 80805 Munich, Germany","institution_ids":["https://openalex.org/I4210134795","https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013799785","display_name":"Sebastian Vo\u00df","orcid":"https://orcid.org/0000-0002-0731-8703"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]},{"id":"https://openalex.org/I4210134795","display_name":"Fortiss","ror":"https://ror.org/042x1tp92","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I4210134795"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sebastian Voss","raw_affiliation_strings":["fortiss GmbH, An-Institut Technische Universit\u00e4t M\u00fcnchen, Guerickestr. 25, 80805 Munich, Germany"],"affiliations":[{"raw_affiliation_string":"fortiss GmbH, An-Institut Technische Universit\u00e4t M\u00fcnchen, Guerickestr. 25, 80805 Munich, Germany","institution_ids":["https://openalex.org/I4210134795","https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061565261","display_name":"Simon Barner","orcid":null},"institutions":[{"id":"https://openalex.org/I4210134795","display_name":"Fortiss","ror":"https://ror.org/042x1tp92","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I4210134795"]},{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Simon Barner","raw_affiliation_strings":["fortiss GmbH, An-Institut Technische Universit\u00e4t M\u00fcnchen Guerickestr. 25 80805 Munich, Germany"],"affiliations":[{"raw_affiliation_string":"fortiss GmbH, An-Institut Technische Universit\u00e4t M\u00fcnchen Guerickestr. 25 80805 Munich, Germany","institution_ids":["https://openalex.org/I4210134795","https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5041286175"],"corresponding_institution_ids":["https://openalex.org/I4210134795","https://openalex.org/I62916508"],"apc_list":null,"apc_paid":null,"fwci":2.5748,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.8882661,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"190","last_page":"193"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9997000098228455,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9997000098228455,"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/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9993000030517578,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7338366508483887},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.7279756665229797},{"id":"https://openalex.org/keywords/design-space-exploration","display_name":"Design space exploration","score":0.6158283948898315},{"id":"https://openalex.org/keywords/optimization-problem","display_name":"Optimization problem","score":0.5962058305740356},{"id":"https://openalex.org/keywords/engineering-optimization","display_name":"Engineering optimization","score":0.5324177742004395},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.518763542175293},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5076953172683716},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.5047928094863892},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4685346186161041},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.45102259516716003},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.4191145598888397},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3128657937049866},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.138736754655838},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12278655171394348},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.10399404168128967},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09577682614326477}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7338366508483887},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.7279756665229797},{"id":"https://openalex.org/C2776221188","wikidata":"https://www.wikidata.org/wiki/Q21072556","display_name":"Design space exploration","level":2,"score":0.6158283948898315},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.5962058305740356},{"id":"https://openalex.org/C110850998","wikidata":"https://www.wikidata.org/wiki/Q5377895","display_name":"Engineering optimization","level":3,"score":0.5324177742004395},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.518763542175293},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5076953172683716},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.5047928094863892},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4685346186161041},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.45102259516716003},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.4191145598888397},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3128657937049866},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.138736754655838},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12278655171394348},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.10399404168128967},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09577682614326477},{"id":"https://openalex.org/C548081761","wikidata":"https://www.wikidata.org/wiki/Q180388","display_name":"Waste management","level":1,"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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2906363.2906367","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2906363.2906367","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:mediatum.ub.tum.de:node/1430232","is_oa":true,"landing_page_url":"http://mediatum.ub.tum.de/node?id=1430232","pdf_url":null,"source":{"id":"https://openalex.org/S4306400453","display_name":"mediaTUM \u2013 the media and publications repository of the Technical University Munich (Technical University Munich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I62916508","host_organization_name":"Technical University of Munich","host_organization_lineage":["https://openalex.org/I62916508"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:mediatum.ub.tum.de:node/1430232","is_oa":true,"landing_page_url":"http://mediatum.ub.tum.de/node?id=1430232","pdf_url":null,"source":{"id":"https://openalex.org/S4306400453","display_name":"mediaTUM \u2013 the media and publications repository of the Technical University Munich (Technical University Munich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I62916508","host_organization_name":"Technical University of Munich","host_organization_lineage":["https://openalex.org/I62916508"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3794150729","display_name":null,"funder_award_id":"610640","funder_id":"https://openalex.org/F4320334960","funder_display_name":"Seventh Framework Programme"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334960","display_name":"Seventh Framework Programme","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W2000199097","https://openalex.org/W2044856809","https://openalex.org/W2045656241","https://openalex.org/W2159595840","https://openalex.org/W2188391635","https://openalex.org/W2288177315","https://openalex.org/W2296319761","https://openalex.org/W2400377686","https://openalex.org/W2536620281"],"related_works":["https://openalex.org/W2120447654","https://openalex.org/W2977179488","https://openalex.org/W2144453115","https://openalex.org/W2128223750","https://openalex.org/W4238532390","https://openalex.org/W2188872161","https://openalex.org/W2961779879","https://openalex.org/W797688974","https://openalex.org/W2002978035","https://openalex.org/W2209382646"],"abstract_inverted_index":{"The":[0,117,163,188],"solution":[1,61],"of":[2,11,26,31,66,111,131,157,165],"many":[3],"engineering":[4],"and":[5,36,135,140,143,183],"scientific":[6],"problems":[7],"requires":[8],"the":[9,32,41,46,49,60,64,67,155,178,201,213],"exploration":[10,114],"a":[12,27,97,105,120,205],"huge":[13],"n-dimensional":[14],"design":[15,50],"space.":[16,51],"Typical":[17],"approaches":[18,68],"rely":[19],"on":[20],"an":[21,37],"abstract":[22],"problem":[23,71,182],"model":[24,29],"consisting":[25],"system":[28],"(description":[30],"problem's":[33],"variable":[34],"couplings)":[35],"optimization":[38,101,128,133,141,151,170,181,193],"specification":[39],"defining":[40],"objectives":[42],"as":[43,45,78,80],"well":[44,79],"constraints":[47],"bounding":[48],"Advances":[52],"in":[53],"solver":[54],"technologies":[55],"enabled":[56],"to":[57,70,76,81,86,125,168,177,184,191,195,218],"efficiently":[58],"search":[59],"space,":[62],"however":[63],"diversity":[65],"led":[69],"descriptions":[72],"that":[73,83,103,123,148,153],"are":[74,84],"difficult":[75],"reuse,":[77],"solutions":[82,139],"hard":[85],"compare.":[87],"Our":[88],"Exploration":[89],"Meta-Model":[90],"(EMM)":[91],"addresses":[92],"this":[93],"issue":[94],"by":[95,160,174],"providing":[96],"unified":[98],"language":[99],"for":[100,108,200,207],"specifications":[102,129,152,197],"is":[104,119,172,198],"well-defined":[106],"basis":[107],"model-based":[109],"implementations":[110],"solver-independent":[112],"design-space":[113],"(DSE)":[115],"tool-chains.":[116],"EMM":[118,214],"light-weight":[121],"framework":[122,167],"allows":[124],"a)":[126],"describe":[127],"independent":[130],"particular":[132],"methods":[134,171],"solvers,":[136],"b)":[137],"relate":[138,192],"specifications,":[142],"c)":[144],"define":[145],"domain":[146,161],"profiles":[147],"provide":[149],"high-level":[150],"ease":[154],"adoption":[156],"automated":[158],"DSE":[159],"experts.":[162],"applicability":[164],"our":[166],"different":[169],"demonstrated":[173],"applying":[175],"it":[176],"generic":[179],"vector":[180],"single-objective":[185],"linear":[186],"programs.":[187],"EMM's":[189],"support":[190],"results":[194],"input":[196],"exercised":[199],"Opt4J":[202],"framework.":[203],"Finally,":[204],"profile":[206],"real-time":[208],"embedded":[209],"systems":[210],"demonstrates":[211],"how":[212],"can":[215],"be":[216],"tailored":[217],"specific":[219],"domains.":[220]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1}],"updated_date":"2026-03-18T14:38:29.013473","created_date":"2025-10-10T00:00:00"}