{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,4,13]],"date-time":"2023-04-13T17:39:16Z","timestamp":1681407556733},"reference-count":12,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.84.4","type":"journal-article","created":{"date-parts":[[2012,7,3]],"date-time":"2012-07-03T00:47:46Z","timestamp":1341276466000},"page":"47-53","source":"Crossref","is-referenced-by-count":9,"title":["Synthesizing Robust Systems with RATSY"],"prefix":"10.4204","volume":"84","author":[{"given":"Roderick","family":"Bloem","sequence":"first","affiliation":[{"name":"IAIK, TU-Graz"}]},{"given":"Hans-J\u00fcrgen","family":"Gamauf","sequence":"additional","affiliation":[{"name":"IAIK, TU-Graz"}]},{"given":"Georg","family":"Hofferek","sequence":"additional","affiliation":[{"name":"IAIK, TU-Graz"}]},{"given":"Bettina","family":"K\u00f6nighofer","sequence":"additional","affiliation":[{"name":"IAIK, TU-Graz"}]},{"given":"Robert","family":"K\u00f6nighofer","sequence":"additional","affiliation":[{"name":"IAIK, TU-Graz"}]}],"member":"2720","published-online":{"date-parts":[[2012,7,3]]},"reference":[{"key":"Bloem10d","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/978-3-642-14295-6_36","article-title":"Robustness in the Presence of Liveness","volume-title":"CAV","author":"Bloem","year":"2010"},{"key":"Bloem10c","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-642-14295-6_37","article-title":"RATSY - A New Requirements Analysis Tool with Synthesis","volume-title":"CAV","author":"Bloem","year":"2010"},{"key":"Bloem07b","doi-asserted-by":"publisher","first-page":"1188","DOI":"10.1145\/1266366.1266622","article-title":"Interactive presentation: Automatic hardware synthesis from specifications: a case study","volume-title":"DATE","author":"Bloem","year":"2007"},{"key":"Bloem07","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2007.09.004","article-title":"Specify, Compile, Run: Hardware from PSL","volume":"190","author":"Bloem","year":"2007"},{"key":"Bloem09b","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1109\/FMCAD.2009.5351139","article-title":"Synthesizing robust systems","volume-title":"FMCAD","author":"Bloem","year":"2009"},{"key":"Church62","article-title":"Logic, Arithmetic and Automata","volume-title":"Proceedings International Mathematical Congress","author":"Church","year":"1962"},{"key":"Doyen10","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1109\/ACSD.2010.26","article-title":"Robustness of Sequential Circuits","volume-title":"ACSD","author":"Doyen","year":"2010"},{"key":"Majumd11","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1145\/1967701.1967732","article-title":"Robust discrete synthesis against unspecified disturbances","volume-title":"HSCC","author":"Majumdar","year":"2011"},{"key":"Piterm06c","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1109\/LICS.2006.23","article-title":"Faster Solutions of Rabin and Streett Games","volume-title":"LICS","author":"Piterman","year":"2006"},{"key":"Piterm06b","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/11609773_24","article-title":"Synthesis of Reactive(1) Designs","volume-title":"VMCAI","author":"Piterman","year":"2006"},{"key":"Pnueli89","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1145\/75277.75293","article-title":"On the Synthesis of a Reactive Module","volume-title":"POPL","author":"Pnueli","year":"1989"},{"key":"Shivak02","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1109\/DSN.2002.1028924","article-title":"Modeling the Effect of Technology Trends on the Soft Error Rate of Combinational Logic","volume-title":"DSN","author":"Shivakumar","year":"2002"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2012,7,6]],"date-time":"2012-07-06T06:47:44Z","timestamp":1341557264000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1207.1268v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,3]]},"references-count":12,"URL":"https:\/\/doi.org\/10.4204\/eptcs.84.4","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,7,3]]}}}