{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T21:55:36Z","timestamp":1777499736284,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,7,13]],"date-time":"2017-07-13T00:00:00Z","timestamp":1499904000000},"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,7,13]]},"DOI":"10.1145\/3092282.3092291","type":"proceedings-article","created":{"date-parts":[[2017,7,13]],"date-time":"2017-07-13T13:45:49Z","timestamp":1499953549000},"page":"80-89","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Runtime enforcement of reactive systems using synchronous enforcers"],"prefix":"10.1145","author":[{"given":"Srinivas","family":"Pinisetty","sequence":"first","affiliation":[{"name":"Aalto University, Finland \/ University of Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Partha S.","family":"Roop","sequence":"additional","affiliation":[{"name":"University of Auckland, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven","family":"Smyth","sequence":"additional","affiliation":[{"name":"University of Kiel, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stavros","family":"Tripakis","sequence":"additional","affiliation":[{"name":"Aalto University, Finland \/ University of California at Berkeley, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reinhard von","family":"Hanxleden","sequence":"additional","affiliation":[{"name":"University of Kiel, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/784820.784829"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"e_1_3_2_1_3_1","unstructured":"G\u00e9rard Berry. 2000.  G\u00e9rard Berry. 2000."},{"key":"e_1_3_2_1_4_1","volume-title":"Version v5_91","author":"Language Primer The Esterel","unstructured":"The Esterel v5 Language Primer , Version v5_91 . Centre de Math\u00e9matiques Appliqu\u00e9es Ecole de s Mines and INRIA, 06565 Sophia-Antipolis. The Esterel v5 Language Primer, Version v5_91. Centre de Math\u00e9matiques Appliqu\u00e9es Ecole des Mines and INRIA, 06565 Sophia-Antipolis."},{"key":"e_1_3_2_1_5_1","unstructured":"Roderick Bloem Bettina K\u00f6nighofer Robert K\u00f6nighofer and Chao Wang. 2015.  Roderick Bloem Bettina K\u00f6nighofer Robert K\u00f6nighofer and Chao Wang. 2015."},{"key":"e_1_3_2_1_6_1","volume-title":"TACAS (LNCS)","author":"Synthesis Shield","unstructured":"Shield Synthesis : Runtime Enforcement for Reactive Systems . In TACAS (LNCS) , Vol. 9035 . Springer . Shield Synthesis: Runtime Enforcement for Reactive Systems. In TACAS (LNCS), Vol. 9035. Springer."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-014-0239-8"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-011-0114-4"},{"key":"e_1_3_2_1_9_1","volume-title":"Algebraic Methodology and Software Technology (AMAST\u00e2\u0102\u017993)","author":"Halbwachs Nicolas","unstructured":"Nicolas Halbwachs , Fabienne Lagnier , and Pascal Raymond . 1994. Synchronous observers and the verification of reactive systems . In Algebraic Methodology and Software Technology (AMAST\u00e2\u0102\u017993) . Springer , 83\u201396. Nicolas Halbwachs, Fabienne Lagnier, and Pascal Raymond. 1994. Synchronous observers and the verification of reactive systems. In Algebraic Methodology and Software Technology (AMAST\u00e2\u0102\u017993). Springer, 83\u201396."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28756-5_14"},{"key":"e_1_3_2_1_11_1","unstructured":"Martin Leucker and Christian Schallhart. 2009.  Martin Leucker and Christian Schallhart. 2009."},{"key":"e_1_3_2_1_12_1","volume-title":"Journal of Logic and Algebraic Programming 78, 5","author":"Runtime Verification A Brief Account","year":"2009","unstructured":"A Brief Account of Runtime Verification . Journal of Logic and Algebraic Programming 78, 5 ( 2009 ), 293\u2013303. A Brief Account of Runtime Verification. Journal of Logic and Algebraic Programming 78, 5 (2009), 293\u2013303."},{"key":"e_1_3_2_1_13_1","unstructured":"Jay Ligatti Lujo Bauer and David Walker. 2009.  Jay Ligatti Lujo Bauer and David Walker. 2009."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1455526.1455532"},{"key":"e_1_3_2_1_15_1","volume-title":"Lee","author":"Motika Christian","year":"2012","unstructured":"Christian Motika , Hauke Fuhrmann , Reinhard von Hanxleden , and Edward A . Lee . 2012 . Christian Motika, Hauke Fuhrmann, Reinhard von Hanxleden, and Edward A. Lee. 2012."},{"key":"e_1_3_2_1_16_1","unstructured":"Executing Domain-Specific Models in Eclipse. Technical Report 1214.  Executing Domain-Specific Models in Eclipse. Technical Report 1214."},{"key":"e_1_3_2_1_17_1","unstructured":"Christian-Albrechts-Universit\u00e4t zu Kiel. ISSN 2192-6247.  Christian-Albrechts-Universit\u00e4t zu Kiel. ISSN 2192-6247."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45234-9_32"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-014-0215-y"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40648-0_7"},{"key":"e_1_3_2_1_21_1","unstructured":"Pascal Raymond Xavier Nicollin Nicolas Halbwachs and Daniel Weber. 1998.  Pascal Raymond Xavier Nicollin Nicolas Halbwachs and Daniel Weber. 1998."},{"key":"e_1_3_2_1_22_1","volume-title":"Real-Time Systems Symposium. IEEE, 200\u2013209","author":"Automatic","unstructured":"Automatic testing of reactive systems . In Real-Time Systems Symposium. IEEE, 200\u2013209 . Automatic testing of reactive systems. In Real-Time Systems Symposium. IEEE, 200\u2013209."},{"key":"e_1_3_2_1_23_1","volume-title":"Specification, Algebra, and Software","author":"Rushby John","unstructured":"John Rushby . 2014. The versatile synchronous observer . In Specification, Algebra, and Software . Springer , 110\u2013128. John Rushby. 2014. The versatile synchronous observer. In Specification, Algebra, and Software. Springer, 110\u2013128."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/353323.353382"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763284"},{"key":"e_1_3_2_1_26_1","unstructured":"Christian von Essen and Barbara Jobstmann. 2013.  Christian von Essen and Barbara Jobstmann. 2013."},{"key":"e_1_3_2_1_27_1","unstructured":"Program Repair without Regret. Springer Berlin Heidelberg 896\u2013911. 978- 3- 642- 39799- 8_64  Program Repair without Regret. Springer Berlin Heidelberg 896\u2013911. 978- 3- 642- 39799- 8_64"},{"key":"e_1_3_2_1_28_1","unstructured":"Reinhard von Hanxleden Bj\u00f6rn Duderstadt Christian Motika Steven Smyth Michael Mendler Joaqu\u00edn Aguado Stephen Mercer and Owen O\u2019Brien. 2014.  Reinhard von Hanxleden Bj\u00f6rn Duderstadt Christian Motika Steven Smyth Michael Mendler Joaqu\u00edn Aguado Stephen Mercer and Owen O\u2019Brien. 2014."}],"event":{"name":"ISSTA '17: International Symposium on Software Testing and Analysis","location":"Santa Barbara CA USA","acronym":"ISSTA '17","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092282.3092291","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3092282.3092291","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:03:08Z","timestamp":1750215788000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092282.3092291"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,13]]},"references-count":28,"alternative-id":["10.1145\/3092282.3092291","10.1145\/3092282"],"URL":"https:\/\/doi.org\/10.1145\/3092282.3092291","relation":{},"subject":[],"published":{"date-parts":[[2017,7,13]]},"assertion":[{"value":"2017-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}