{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,8]],"date-time":"2025-11-08T18:02:30Z","timestamp":1762624950656,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":54,"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\/501100004794","name":"Centre National de la Recherche Scientifique","doi-asserted-by":"publisher","award":[""],"award-info":[{"award-number":[""]}],"id":[{"id":"10.13039\/501100004794","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National Research Foundation of Korea","award":["2021R1A5A1021944 and 2022R1F1A1074550"],"award-info":[{"award-number":["2021R1A5A1021944 and 2022R1F1A1074550"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,29]]},"DOI":"10.1145\/3563822.3569923","type":"proceedings-article","created":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T21:17:50Z","timestamp":1669929470000},"page":"3-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata"],"prefix":"10.1145","author":[{"given":"Jaime","family":"Arias","sequence":"first","affiliation":[{"name":"CNRS, France \/ LIPN, France \/ Universit\u00e9 Sorbonne Paris Nord, France"}]},{"given":"Kyungmin","family":"Bae","sequence":"additional","affiliation":[{"name":"Pohang University of Science and Technology, South Korea"}]},{"given":"Carlos","family":"Olarte","sequence":"additional","affiliation":[{"name":"CNRS, France \/ LIPN, France \/ Universit\u00e9 Sorbonne Paris Nord, France"}]},{"given":"Peter Csaba","family":"\u00d6lveczky","sequence":"additional","affiliation":[{"name":"University of Oslo, Norway"}]},{"given":"Laure","family":"Petrucci","sequence":"additional","affiliation":[{"name":"CNRS, France \/ LIPN, France \/ Universit\u00e9 Sorbonne Paris Nord, France"}]},{"given":"Fredrik","family":"R\u00f8mming","sequence":"additional","affiliation":[{"name":"University of Oslo, Norway"}]}],"member":"320","published-online":{"date-parts":[[2022,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00593-0_18"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/167088.167242"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-017-0467-0"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81685-8_26"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-02444-8_27"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-79379-1_3"},{"key":"e_1_3_2_1_8_1","unstructured":"Jaime Arias Kyungmin Bae Carlos Olarte Peter Csaba \u00d6lveczky Laure Petrucci and Fredrik R\u00f8mming. 2022. pta2maude. https:\/\/depot.lipn.univ-paris13.fr\/arias\/pta2maude \t\t\t\t  Jaime Arias Kyungmin Bae Carlos Olarte Peter Csaba \u00d6lveczky Laure Petrucci and Fredrik R\u00f8mming. 2022. pta2maude. https:\/\/depot.lipn.univ-paris13.fr\/arias\/pta2maude"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Jaime Arias Kyungmin Bae Carlos Olarte Laure Petrucci Peter Csaba \u00d6lveczky and Fredrik R\u00f8mming. 2022. Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata. LIPN. https:\/\/hal.archives-ouvertes.fr\/hal-03814256 \t\t\t\t  Jaime Arias Kyungmin Bae Carlos Olarte Laure Petrucci Peter Csaba \u00d6lveczky and Fredrik R\u00f8mming. 2022. Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata. LIPN. https:\/\/hal.archives-ouvertes.fr\/hal-03814256","DOI":"10.1145\/3563822.3569923"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.RTA.2013.81"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.09.011"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-12904-4_6"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.10.002"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2019.03.006"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41591-8_12"},{"key":"e_1_3_2_1_16_1","volume-title":"Survivability: Design, Formal Modeling, and Validation of Cloud Storage Systems Using Maude","author":"Bobba Rakesh","year":"2018","unstructured":"Rakesh Bobba , Jon Grov , Indranil Gupta , Si Liu , Jos\u00e9 Meseguer , Peter Csaba \u00d6lveczky , and Stephen Skeirik . 2018 . Survivability: Design, Formal Modeling, and Validation of Cloud Storage Systems Using Maude . John Wiley & Sons , 10\u201348. Rakesh Bobba, Jon Grov, Indranil Gupta, Si Liu, Jos\u00e9 Meseguer, Peter Csaba \u00d6lveczky, and Stephen Skeirik. 2018. Survivability: Design, Formal Modeling, and Validation of Cloud Storage Systems Using Maude. John Wiley & Sons, 10\u201348."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-019-00333-7"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-008-0061-x"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.3390\/app12042014"},{"key":"e_1_3_2_1_20_1","volume-title":"Peled","author":"Clarke Edmund M.","year":"2001","unstructured":"Edmund M. Clarke , Orna Grumberg , and Doron A . Peled . 2001 . Model checking, 1 st Edition. MIT Press . isbn:978-0-262-03270-4 Edmund M. Clarke, Orna Grumberg, and Doron A. Peled. 2001. Model checking, 1st Edition. MIT Press. isbn:978-0-262-03270-4","edition":"1"},{"key":"e_1_3_2_1_21_1","unstructured":"Manuel Clavel Francisco Dur\u00e1n Steven Eker Santiago Escobar Patrick Lincoln Narciso Mart\u00ed-Oliet Jos\u00e9 Meseguer Rub\u00e9n Rubio and Carolyn Talcott. 2022. Maude Manual (Version 3.2.1). Available at http:\/\/maude.cs.illinois.edu \t\t\t\t  Manuel Clavel Francisco Dur\u00e1n Steven Eker Santiago Escobar Patrick Lincoln Narciso Mart\u00ed-Oliet Jos\u00e9 Meseguer Rub\u00e9n Rubio and Carolyn Talcott. 2022. Maude Manual (Version 3.2.1). Available at http:\/\/maude.cs.illinois.edu"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71999-1"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0361-y"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73449-9_13"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2012.10"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54624-2_25"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1567-8326(02)00037-1"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2357445"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29072-5_6"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23506-6_17"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81685-8_23"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.06.006"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2009.11"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_6"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090100048"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2015.05.002"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90182-F"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-64299-4_26"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2019.100483"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS2018.2018.00009"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-12441-9_11"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24933-4_19"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-12904-4_3"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13464-7_5"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/11693017_26"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00363-2"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.06.005"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-007-9001-5"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_23"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-0015-0"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.09.022"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2016.10.001"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2015.181"},{"key":"e_1_3_2_1_54_1","volume-title":"Preliminary proceedings of WRLA@ETAPS. 220\u2013232","author":"Yu Geunyeol","year":"2020","unstructured":"Geunyeol Yu and Kyungmin Bae . 2020 . Maude-SE: a Tight Integration of Maude and SMT Solvers . In Preliminary proceedings of WRLA@ETAPS. 220\u2013232 . Geunyeol Yu and Kyungmin Bae. 2020. Maude-SE: a Tight Integration of Maude and SMT Solvers. In Preliminary proceedings of WRLA@ETAPS. 220\u2013232."}],"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.3569923","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3563822.3569923","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.3569923"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,29]]},"references-count":54,"alternative-id":["10.1145\/3563822.3569923","10.1145\/3563822"],"URL":"https:\/\/doi.org\/10.1145\/3563822.3569923","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"}}]}}