{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T00:36:04Z","timestamp":1725755764513},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,7]]},"DOI":"10.1109\/tase.2019.00-23","type":"proceedings-article","created":{"date-parts":[[2019,11,29]],"date-time":"2019-11-29T14:31:59Z","timestamp":1575037919000},"page":"25-32","source":"Crossref","is-referenced-by-count":4,"title":["A Logical Approach for the Schedulability Analysis of CCSL"],"prefix":"10.1109","author":[{"given":"Yuanrui","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Frederic","family":"Mallet","sequence":"additional","affiliation":[]},{"given":"Huibiao","family":"Zhu","sequence":"additional","affiliation":[]},{"given":"Yixiang","family":"Chen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1016\/j.scico.2017.08.015"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1145\/3078633.3081035"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1007\/3-540-09237-4"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1007\/978-3-319-08587-6_22"},{"key":"ref14","article-title":"The SMT-LIB Standard: Version 2.6","author":"barrett","year":"2017","journal-title":"Department of Computer Science The University of Iowa Tech Rep"},{"key":"ref15","first-page":"157","article-title":"Safe CCSL specifications and marked graphs","author":"mallet","year":"2013","journal-title":"12th ACM\/IEEE Int Conf Formal Methods Models for Codesign"},{"key":"ref16","article-title":"Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications","author":"zhang","year":"2018","journal-title":"FTSCS 2018"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1016\/j.scico.2015.03.001"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1145\/568438.568456"},{"key":"ref19","article-title":"Untersuchungen über das logische schließen","author":"gentzen","year":"1934","journal-title":"Ph D Dissertation"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1145\/359545.359563"},{"key":"ref3","article-title":"Syntax and Semantics of the Clock Constraint Specification Language (CCSL)","author":"andr\u00e9","year":"2009","journal-title":"INRIA Research Report RR-6925"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1145\/2554850.2554929"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1145\/2744769.2744775"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1007\/978-3-319-47846-3_27"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/MEMCOD.2011.5970507"},{"year":"2011","journal-title":"OMG Tech Rep","article-title":"UML profile for MARTE: Modeling and analysis of real-time embedded systems","key":"ref2"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1007\/s11334-008-0055-2"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/APSEC.2013.62"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1007\/BF01700692"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1145\/321239.321249"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1145\/371282.371285"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1007\/978-3-642-21070-9_19"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1109\/FOCS.1961.13"}],"event":{"name":"2019 International Symposium on Theoretical Aspects of Software Engineering (TASE)","start":{"date-parts":[[2019,7,29]]},"location":"Guilin, China","end":{"date-parts":[[2019,7,31]]}},"container-title":["2019 International Symposium on Theoretical Aspects of Software Engineering (TASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8905921\/8913869\/08914128.pdf?arnumber=8914128","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T03:15:24Z","timestamp":1657854924000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8914128\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/tase.2019.00-23","relation":{},"subject":[],"published":{"date-parts":[[2019,7]]}}}