{"id":"https://openalex.org/W2737387517","doi":"https://doi.org/10.1145/3102980.3102999","title":"Towards Automated Configuration of Systems with Non-Functional Constraints","display_name":"Towards Automated Configuration of Systems with Non-Functional Constraints","publication_year":2017,"publication_date":"2017-05-07","ids":{"openalex":"https://openalex.org/W2737387517","doi":"https://doi.org/10.1145/3102980.3102999","mag":"2737387517"},"language":"en","primary_location":{"id":"doi:10.1145/3102980.3102999","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3102980.3102999","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th Workshop on Hot Topics in Operating Systems","raw_type":"proceedings-article"},"type":"conference-paper","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/A5038322723","display_name":"Linda Leuschner","orcid":null},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Linda Leuschner","raw_affiliation_strings":["Technische Universit\u00e4t Dresden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Dresden","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010330385","display_name":"Martin K\u00fcttler","orcid":null},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Martin K\u00fcttler","raw_affiliation_strings":["Technische Universit\u00e4t Dresden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Dresden","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071817498","display_name":"Tobias Stumpf","orcid":null},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Tobias Stumpf","raw_affiliation_strings":["Technische Universit\u00e4t Dresden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Dresden","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091344667","display_name":"Christel Baier","orcid":"https://orcid.org/0000-0002-5321-9343"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christel Baier","raw_affiliation_strings":["Technische Universit\u00e4t Dresden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Dresden","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035121729","display_name":"Hermann H\u00e4rtig","orcid":"https://orcid.org/0000-0002-8357-2594"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hermann H\u00e4rtig","raw_affiliation_strings":["Technische Universit\u00e4t Dresden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Dresden","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028850927","display_name":"Sascha Kl\u00fcppelholz","orcid":"https://orcid.org/0000-0003-1724-2586"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sascha Kl\u00fcppelholz","raw_affiliation_strings":["Technische Universit\u00e4t Dresden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Dresden","institution_ids":["https://openalex.org/I78650965"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I78650965"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"111","last_page":"117"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"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"}},"topics":[{"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9987000226974487,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9987000226974487,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8650321364402771},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6154583096504211},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.6080771088600159},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5250675082206726},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5121035575866699},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.45244473218917847},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.4518279433250427},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.44952550530433655},{"id":"https://openalex.org/keywords/basis","display_name":"Basis (linear algebra)","score":0.4355301260948181},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.43183571100234985},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.366674542427063},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.33399009704589844},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.32454392313957214},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2315310835838318},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16290724277496338},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.13239148259162903}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8650321364402771},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6154583096504211},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.6080771088600159},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5250675082206726},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5121035575866699},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.45244473218917847},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.4518279433250427},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.44952550530433655},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.4355301260948181},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.43183571100234985},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.366674542427063},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.33399009704589844},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.32454392313957214},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2315310835838318},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16290724277496338},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.13239148259162903},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3102980.3102999","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3102980.3102999","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th Workshop on Hot Topics in Operating Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.9100000262260437,"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W180763288","https://openalex.org/W1498432697","https://openalex.org/W1554492130","https://openalex.org/W1559540003","https://openalex.org/W1594158258","https://openalex.org/W1997960810","https://openalex.org/W2000865099","https://openalex.org/W2034225360","https://openalex.org/W2037149422","https://openalex.org/W2042203635","https://openalex.org/W2053823809","https://openalex.org/W2057086403","https://openalex.org/W2086502833","https://openalex.org/W2096962170","https://openalex.org/W2107558091","https://openalex.org/W2116352900","https://openalex.org/W2119490044","https://openalex.org/W2120591095","https://openalex.org/W2149256602","https://openalex.org/W2154158220","https://openalex.org/W2162943184","https://openalex.org/W2166536280","https://openalex.org/W2415475889","https://openalex.org/W2576017016","https://openalex.org/W2803993242","https://openalex.org/W2998249817","https://openalex.org/W3125171024","https://openalex.org/W4285719527","https://openalex.org/W6629784141","https://openalex.org/W6656306659"],"related_works":["https://openalex.org/W1538854713","https://openalex.org/W4235160909","https://openalex.org/W1660242800","https://openalex.org/W2041209185","https://openalex.org/W2379651310","https://openalex.org/W2113019827","https://openalex.org/W1541249122","https://openalex.org/W2413828414","https://openalex.org/W2367222340","https://openalex.org/W2037121848"],"abstract_inverted_index":{"The":[0,28,81,110,148],"paper":[1],"reports":[2],"on":[3,18,191],"first":[4],"steps":[5],"towards":[6,205],"a":[7,34,38,50,61,67,86,113,181,185,203],"systematic":[8],"design":[9],"process":[10],"that":[11,53,69,160],"ensures":[12],"quantitative":[13,58,101,135],"stochastic":[14],"requirements":[15,17,25],"like":[16],"the":[19,54,57,71,90,118,122,132,151,163,172,198,206],"expected":[20],"energy":[21],"consumption":[22],"or":[23],"resilience":[24],"by":[26,142],"construction.":[27],"idea":[29],"is":[30,98,112],"to":[31,42,47],"automatically":[32,48],"extract":[33],"formal":[35,44,136],"model":[36,125],"from":[37],"configurable":[39],"system":[40,55,178,210],"and":[41,107,176,189],"use":[43],"analysis":[45,137],"techniques":[46],"determine":[49],"configuration":[51],"such":[52,103],"meets":[56],"requirements.":[59],"As":[60,167],"proof":[62],"of":[63,74,93,121,138,165,171,180,208],"concept":[64],"we":[65,174],"present":[66],"tool":[68,82],"supports":[70],"automated":[72,209],"synthesis":[73],"protocol":[75,158],"parameters":[76,159,179],"for":[77,134,153,157],"IPC":[78,146],"(interprocess":[79],"communication).":[80],"takes":[83],"as":[84,104],"input":[85,119],"Lua":[87],"script":[88,97],"describing":[89],"communication":[91],"structure":[92],"several":[94],"processes.":[95],"This":[96,128],"annotated":[99],"with":[100,184],"information":[102],"error":[105],"probabilities":[106],"timing":[108],"information.":[109],"output":[111],"Markov":[114,129],"chain":[115,130],"specified":[116],"in":[117,145],"language":[120],"prominent":[123],"probabilistic":[124],"checker":[126],"PRISM.":[127],"yields":[131],"basis":[133,152],"failure":[139],"scenarios":[140],"caused":[141],"hardware":[143],"faults":[144],"channels.":[147],"results":[149,199],"yield":[150],"finding":[154],"optimal":[155],"values":[156],"tune,":[161],"e.g.,":[162],"level":[164],"resiliency.":[166],"an":[168],"initial":[169],"demonstration":[170],"tool,":[173],"analyze":[175],"adjust":[177],"simple":[182],"scenario":[183],"few":[186],"communicating":[187],"processes":[188],"report":[190],"results.":[192],"Though":[193],"achieved":[194],"under":[195],"simplified":[196],"assumptions,":[197],"presented":[200],"here":[201],"are":[202],"proof-of-concept":[204],"vision":[207],"configuration.":[211]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}