{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:41:32Z","timestamp":1729640492345,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1109\/sies.2011.5953660","type":"proceedings-article","created":{"date-parts":[[2011,7,20]],"date-time":"2011-07-20T20:50:22Z","timestamp":1311195022000},"page":"176-185","source":"Crossref","is-referenced-by-count":4,"title":["Specification-centered robustness"],"prefix":"10.1109","author":[{"given":"Roderick","family":"Bloem","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krishnendu","family":"Chatterjee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karin","family":"Greimel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas A.","family":"Henzinger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"Jobstmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","first-page":"58","article-title":"Infinite games and verification","author":"thomas","year":"0","journal-title":"Fourteenth Conference on Computer Aided Verification (CAV'02)"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/949344.949402"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.50.2"},{"key":"ref10","first-page":"147","article-title":"Environment assumptions for synthesis","author":"chatterjee","year":"0","journal-title":"Proc Int Conf Concur Theory (CONCUR)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18275-4_10"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3472-0_2"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/361179.361202"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2010.26"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_22"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-008-0083-0"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48153-2_9"},{"key":"ref18","article-title":"Games you cannot win","author":"faella","year":"0","journal-title":"Workshop on Games and Automata for Synthesis and Validation"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2008.4479838"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2006.23"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/963778.963782"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TDSC.2005.10","volume":"2","author":"kulkarni","year":"2005","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/32.256850"},{"key":"ref6","first-page":"410","article-title":"Robustness in the presence of liveness","author":"bloem","year":"2010","journal-title":"CAV"},{"key":"ref29","first-page":"364","article-title":"Synthesis of reactive(1) designs","author":"piterman","year":"0","journal-title":"Proc Int Conf Verification Model Checking Abstract Interpretation"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364456"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_14"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_23"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2009.5351139"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(85)90056-0"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/311531.311532"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0084-y"},{"journal-title":"Fundamentals of Software Engineering","year":"1991","author":"ghezzi","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2006.22"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.2008.0141"},{"key":"ref26","first-page":"45","article-title":"Minimizing generalized büchi automata","author":"juvekar","year":"2006","journal-title":"CAV"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_29"}],"event":{"name":"2011 6th IEEE International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2011,6,15]]},"location":"Vasteras, Sweden","end":{"date-parts":[[2011,6,17]]}},"container-title":["2011 6th IEEE International Symposium on Industrial and Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5937480\/5953643\/05953660.pdf?arnumber=5953660","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T03:25:32Z","timestamp":1497929132000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5953660\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/sies.2011.5953660","relation":{},"subject":[],"published":{"date-parts":[[2011,6]]}}}