{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:15:49Z","timestamp":1750220149919,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,29]],"date-time":"2022-11-29T00:00:00Z","timestamp":1669680000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-19-CE25-0015"],"award-info":[{"award-number":["ANR-19-CE25-0015"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001381","name":"National Research Foundation Singapore","doi-asserted-by":"publisher","award":["2019 ANR NRF 0092"],"award-info":[{"award-number":["2019 ANR NRF 0092"]}],"id":[{"id":"10.13039\/501100001381","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,29]]},"DOI":"10.1145\/3563822.3568013","type":"proceedings-article","created":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T21:17:50Z","timestamp":1669929470000},"page":"27-33","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["strategFTO: Untimed Control for Timed Opacity"],"prefix":"10.1145","author":[{"given":"\u00c9tienne","family":"Andr\u00e9","sequence":"first","affiliation":[{"name":"Universit\u00e9 Sorbonne Paris Nord, France \/ LIPN, France \/ CNRS, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shapagat","family":"Bolat","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Lorraine, France \/ CNRS, France \/ Inria, France \/ LORIA, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Engel","family":"Lefaucheux","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Lorraine, France \/ CNRS, France \/ Inria, France \/ LORIA, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dylan","family":"Marinho","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Lorraine, France \/ CNRS, France \/ Inria, France \/ LORIA, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/167088.167242"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jisa.2021.102926"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81685-8_26"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-72016-2_17"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS51672.2020.00012"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3502851"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-79379-1_3"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.001"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2160158.2160159"},{"key":"e_1_3_2_1_11_1","volume-title":"Antonella Santone, and Luca Tesei.","author":"Barbuti Roberto","year":"2002","unstructured":"Roberto Barbuti , Nicoletta De Francesco , Antonella Santone, and Luca Tesei. 2002 . A Notion of Non-Interference for Timed Automata . 51, 1-2 (2002), 1\u201311. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, and Luca Tesei. 2002. A Notion of Non-Interference for Timed Automata. 51, 1-2 (2002), 1\u201311."},{"key":"e_1_3_2_1_12_1","first-page":"2","article-title":"A Decidable Notion of Timed Non-Interference","volume":"54","author":"Barbuti Roberto","year":"2003","unstructured":"Roberto Barbuti and Luca Tesei . 2003 . A Decidable Notion of Timed Non-Interference . Fundamenta Informaticae , 54 , 2 - 3 (2003), 137\u2013150. Roberto Barbuti and Luca Tesei. 2003. A Decidable Notion of Timed Non-Interference. Fundamenta Informaticae, 54, 2-3 (2003), 137\u2013150.","journal-title":"Fundamenta Informaticae"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2014.944356"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31982-5_14"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-008-0058-x"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.FSTTCS.2017.13"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02617-1_3"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717696"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1002\/9781118558188.ch4"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.05.046"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.23919\/ECC54610.2021.9655222"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.3233\/jcs-2004-12102"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2357445"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2018.1426883"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-68697-5_9"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-24098-5_6"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45739-9_14"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89722-6_2"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01461-2_3"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2857363"}],"event":{"name":"FTSCS '22: 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Auckland New Zealand","acronym":"FTSCS '22"},"container-title":["Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3563822.3568013","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3563822.3568013","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:00:07Z","timestamp":1750186807000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3563822.3568013"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,29]]},"references-count":30,"alternative-id":["10.1145\/3563822.3568013","10.1145\/3563822"],"URL":"https:\/\/doi.org\/10.1145\/3563822.3568013","relation":{},"subject":[],"published":{"date-parts":[[2022,11,29]]},"assertion":[{"value":"2022-12-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}