{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T06:28:03Z","timestamp":1750746483903,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,5,7]],"date-time":"2017-05-07T00:00:00Z","timestamp":1494115200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,5,7]]},"DOI":"10.1145\/3102980.3102999","type":"proceedings-article","created":{"date-parts":[[2017,7,20]],"date-time":"2017-07-20T17:51:38Z","timestamp":1500573098000},"page":"111-117","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Towards Automated Configuration of Systems with Non-Functional Constraints"],"prefix":"10.1145","author":[{"given":"Linda","family":"Leuschner","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t Dresden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"K\u00fcttler","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Dresden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tobias","family":"Stumpf","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Dresden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christel","family":"Baier","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Dresden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hermann","family":"H\u00e4rtig","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Dresden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sascha","family":"Kl\u00fcppelholz","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Dresden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,5,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/23.212327"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11214-015-0139-x"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.05.014"},{"key":"e_1_3_2_1_4_1","first-page":"224","volume-title":"Correctness by Construction: Integrating Formality into a Commercial Development Process","author":"Hall Anthony","year":"2002","unstructured":"Anthony Hall . Correctness by Construction: Integrating Formality into a Commercial Development Process , pages 224 -- 233 . Springer Berlin Heidelberg, Berlin , Heidelberg , 2002 . Anthony Hall. Correctness by Construction: Integrating Formality into a Commercial Development Process, pages 224--233. Springer Berlin Heidelberg, Berlin, Heidelberg, 2002."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.976937"},{"key":"e_1_3_2_1_6_1","volume-title":"Principles of Model Checking","author":"Baier Christel","year":"2008","unstructured":"Christel Baier and Joost-Pieter Katoen . Principles of Model Checking . MIT Press , 2008 . Christel Baier and Joost-Pieter Katoen. Principles of Model Checking. MIT Press, 2008."},{"key":"e_1_3_2_1_7_1","volume-title":"Probabilistic Model Checking","author":"Baier Christel","year":"2016","unstructured":"Christel Baier , Luca de Alfaro , Vojtech Forejt , and Marta Kwiatkowska . Probabilistic Model Checking . 2016 . To appear. Christel Baier, Luca de Alfaro, Vojtech Forejt, and Marta Kwiatkowska. Probabilistic Model Checking. 2016. To appear."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/2944225.2944369"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/MWC.2007.4300983"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1594835.1504189"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2695664.2695680"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.112.10"},{"key":"e_1_3_2_1_13_1","volume-title":"Analysis of Stochastic Matching Markets. IEHAS Discussion Papers 1132","author":"Biro Peter","year":"2011","unstructured":"Peter Biro and Gethin Norman . Analysis of Stochastic Matching Markets. IEHAS Discussion Papers 1132 , Institute of Economics, Centre for Economic and Regional Studies, Hungarian Academy of Sciences , July 2011 . Peter Biro and Gethin Norman. Analysis of Stochastic Matching Markets. IEHAS Discussion Papers 1132, Institute of Economics, Centre for Economic and Regional Studies, Hungarian Academy of Sciences, July 2011."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2002.1224427"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786853"},{"key":"e_1_3_2_1_16_1","first-page":"146","volume-title":"Synthesis for PCTL in Parametric Markov Decision Processes","author":"Hahn Ernst Moritz","year":"2011","unstructured":"Ernst Moritz Hahn , Tingting Han , and Lijun Zhang . Synthesis for PCTL in Parametric Markov Decision Processes , pages 146 -- 161 . Springer Berlin Heidelberg , Berlin, Heidelberg , 2011 . Ernst Moritz Hahn, Tingting Han, and Lijun Zhang. Synthesis for PCTL in Parametric Markov Decision Processes, pages 146--161. Springer Berlin Heidelberg, Berlin, Heidelberg, 2011."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-006-0015-2"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2150989"},{"issue":"4","key":"e_1_3_2_1_19_1","first-page":"453","article-title":"Space dosimetry measurements in the stratosphere using different active and passive dosimetry systems","volume":"171","author":"Z\u00e1bori Bal\u00e1zs","year":"2016","unstructured":"Bal\u00e1zs Z\u00e1bori , Attila Hirn , S\u00e1ndor Deme , Istv\u00e1n Ap\u00e1thy , Antal Cs\u0151ke , Tam\u00e1s P\u00e1zm\u00e1 ndi, and P\u00e9ter Sz\u00e1nt\u00f3 . Space dosimetry measurements in the stratosphere using different active and passive dosimetry systems . Radiation Protection Dosimetry , 171 ( 4 ): 453 , 2016 . Bal\u00e1zs Z\u00e1bori, Attila Hirn, S\u00e1ndor Deme, Istv\u00e1n Ap\u00e1thy, Antal Cs\u0151ke, Tam\u00e1s P\u00e1zm\u00e1 ndi, and P\u00e9ter Sz\u00e1nt\u00f3. Space dosimetry measurements in the stratosphere using different active and passive dosimetry systems. Radiation Protection Dosimetry, 171(4):453, 2016.","journal-title":"Radiation Protection Dosimetry"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-9002(00)00155-8"},{"key":"e_1_3_2_1_21_1","first-page":"86","volume-title":"Proc. 17th IEEE North Atlantic Test Workshop","author":"Wang Fan","year":"2008","unstructured":"Fan Wang and Vishwani D Agrawal . Probabilistic soft error rate estimation from statistical seu parameters . In Proc. 17th IEEE North Atlantic Test Workshop , pages 86 -- 92 , 2008 . Fan Wang and Vishwani D Agrawal. Probabilistic soft error rate estimation from statistical seu parameters. In Proc. 17th IEEE North Atlantic Test Workshop, pages 86--92, 2008."},{"key":"e_1_3_2_1_22_1","volume-title":"DSN, page 887","author":"Gu Weining","year":"2004","unstructured":"Weining Gu , Zbigniew Kalbarczyk , and Ravishankar K. Iyer . Error sensitivity of the linux kernel executing on powerpc g4 and pentium 4 processors . In DSN, page 887 , 2004 . Weining Gu, Zbigniew Kalbarczyk, and Ravishankar K. Iyer. Error sensitivity of the linux kernel executing on powerpc g4 and pentium 4 processors. In DSN, page 887, 2004."},{"volume-title":"Proceedings of the th IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN'), Student Forum. IEEE Computer Society Press, June. (Cited on page.).","author":"Stumpf Tobias","key":"e_1_3_2_1_23_1","unstructured":"Tobias Stumpf . How to protect the protector? In Proceedings of the th IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN'), Student Forum. IEEE Computer Society Press, June. (Cited on page.). Tobias Stumpf. How to protect the protector? In Proceedings of the th IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN'), Student Forum. IEEE Computer Society Press, June. (Cited on page.)."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1995.495219"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2014.6926000"},{"key":"e_1_3_2_1_26_1","first-page":"308","volume-title":"Proceedings of ASP-DAC 2003","author":"Clarke Edmund","year":"2003","unstructured":"Edmund Clarke and Daniel Kroening . Hardware verification using ANSI-C programs as a reference . In Proceedings of ASP-DAC 2003 , pages 308 -- 311 . IEEE Computer Society Press, 1 2003 . Edmund Clarke and Daniel Kroening. Hardware verification using ANSI-C programs as a reference. In Proceedings of ASP-DAC 2003, pages 308--311. IEEE Computer Society Press, 1 2003."}],"event":{"name":"HotOS '17: Workshop on Hot Topics in Operating Systems","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Whistler BC Canada","acronym":"HotOS '17"},"container-title":["Proceedings of the 16th Workshop on Hot Topics in Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3102980.3102999","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3102980.3102999","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:37:06Z","timestamp":1750217826000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3102980.3102999"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,7]]},"references-count":26,"alternative-id":["10.1145\/3102980.3102999","10.1145\/3102980"],"URL":"https:\/\/doi.org\/10.1145\/3102980.3102999","relation":{},"subject":[],"published":{"date-parts":[[2017,5,7]]},"assertion":[{"value":"2017-05-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}