{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:15:34Z","timestamp":1759331734873,"version":"3.37.3"},"reference-count":58,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[2023,12,1]],"date-time":"2023-12-01T00:00:00Z","timestamp":1701388800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,12,1]],"date-time":"2023-12-01T00:00:00Z","timestamp":1701388800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,12,1]],"date-time":"2023-12-01T00:00:00Z","timestamp":1701388800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62272170"],"award-info":[{"award-number":["62272170"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Shanghai Trusted Industry Internet Software Collaborative Innovation Center"},{"name":"\u201cDigital Silk Road\u201d Shanghai International Joint Laboratory of Trustworthy Intelligent Software","award":["22510750100"],"award-info":[{"award-number":["22510750100"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2023,12]]},"DOI":"10.1109\/tcad.2023.3285412","type":"journal-article","created":{"date-parts":[[2023,6,12]],"date-time":"2023-06-12T18:12:51Z","timestamp":1686593571000},"page":"5127-5140","source":"Crossref","is-referenced-by-count":3,"title":["Automated Synthesis of Safe Timing Behaviors for Requirements Models Using CCSL"],"prefix":"10.1109","volume":"42","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5058-4660","authenticated-orcid":false,"given":"Ming","family":"Hu","sequence":"first","affiliation":[{"name":"MoE Engineering Research Center of Hardware\/Software Co-Design Technology and Application, East China Normal University, Shanghai, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0245-8499","authenticated-orcid":false,"given":"Jun","family":"Xia","sequence":"additional","affiliation":[{"name":"MoE Engineering Research Center of Hardware\/Software Co-Design Technology and Application, East China Normal University, Shanghai, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1938-2902","authenticated-orcid":false,"given":"Min","family":"Zhang","sequence":"additional","affiliation":[{"name":"MoE Engineering Research Center of Hardware\/Software Co-Design Technology and Application, East China Normal University, Shanghai, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2217-6659","authenticated-orcid":false,"given":"Xiaohong","family":"Chen","sequence":"additional","affiliation":[{"name":"MoE Engineering Research Center of Hardware\/Software Co-Design Technology and Application, East China Normal University, Shanghai, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9088-9821","authenticated-orcid":false,"given":"Fr\u00e9d\u00e9ric","family":"Mallet","sequence":"additional","affiliation":[{"name":"CNRS, Inria, I3S, Université Cote d’Azur, Sophia Antipolis, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3922-0989","authenticated-orcid":false,"given":"Mingsong","family":"Chen","sequence":"additional","affiliation":[{"name":"MoE Engineering Research Center of Hardware\/Software Co-Design Technology and Application, East China Normal University, Shanghai, China"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2018.09.007"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08699-6"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00143"},{"key":"ref4","first-page":"17","article-title":"On the software engineering challenges of applying reactive synthesis to robotics","volume-title":"Proc. Int. Workshop Robot. Softw. Eng. (RoSE)","author":"Maoz"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2014.6945504"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2016.58"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.23919\/DATE48585.2020.9116344"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39031-9_8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2016.7509429"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SERE-C.2013.43"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2012.6176654"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40648-0_4"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342122"},{"key":"ref14","first-page":"1","article-title":"Formal requirements elicitation with FRET","volume-title":"Proc. Int. Working Conf. Requirements Eng. Found. Softw. Qual. (REFSQ)","author":"Giannakopoulou"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1984.1659054"},{"volume-title":"UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems","year":"2011","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.5220\/0003506000540063"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1542452.1542475"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744775"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2017.08.015"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2016.7797750"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.03.001"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2013.62"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3078633.3081035"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30561-0_4"},{"key":"ref26","first-page":"1","article-title":"Sample-guided automated synthesis for CCSL specifications","volume-title":"Proc. Des. Automat. Conf. (DAC)","author":"Hu"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS52674.2021.00030"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2022.3197956"},{"volume-title":"CIF","year":"2022","key":"ref29"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-62822-2_1"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619649"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606605"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454104"},{"key":"ref34","first-page":"659","article-title":"FlashRegex: Deducing anti-ReDoS regexes from examples","volume-title":"Proc. Int. Conf. Automat. Softw. Eng. (ASE)","author":"Li"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238162"},{"key":"ref36","first-page":"101","article-title":"Counterexample-driven synthesis for probabilistic program sketches","volume-title":"Proc. Int. Symp. Formal Methods (FM)","author":"Hensel"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_35"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405852"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2019.000-8"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-018-0235-8"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882305"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2018.8556946"},{"key":"ref43","first-page":"250","article-title":"Synthesis of infinite-state systems with random behavior","volume-title":"Proc. Int. Conf. Automat. Softw. Eng. (ASE)","author":"Katis"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-021-00868-z"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786824"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2022.117022"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2011.10"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-16722-6_4"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68690-5_4"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.23919\/DATE51398.2021.9474210"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-98938-9_14"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2019.00040"},{"volume-title":"MyCCSL","year":"2019","key":"ref53"},{"journal-title":"LTL 2 BA: Fast translation from LTL formulae to B\u00fcchi automata","year":"2021","key":"ref54"},{"volume-title":"Requirements engineering for cyber-physical systems","year":"2022","key":"ref55"},{"volume-title":"Reinforcement learning-based CCSL synthesizer","key":"ref56"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/11944836_35"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2022.102777"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/10325328\/10149082.pdf?arnumber=10149082","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T06:41:44Z","timestamp":1712904104000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10149082\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12]]},"references-count":58,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2023.3285412","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"type":"print","value":"0278-0070"},{"type":"electronic","value":"1937-4151"}],"subject":[],"published":{"date-parts":[[2023,12]]}}}