{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,23]],"date-time":"2025-05-23T04:05:30Z","timestamp":1747973130502,"version":"3.41.0"},"reference-count":21,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T00:00:00Z","timestamp":1743379200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T00:00:00Z","timestamp":1743379200000},"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":[[2025,3,31]]},"DOI":"10.23919\/date64628.2025.10992936","type":"proceedings-article","created":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T17:36:35Z","timestamp":1747848995000},"page":"1-7","source":"Crossref","is-referenced-by-count":0,"title":["Exact Schedulability Analysis for Limited-Preemptive Parallel Applications Using Timed Automata in UPPAAL"],"prefix":"10.23919","author":[{"given":"Jonas","family":"Hansen","sequence":"first","affiliation":[{"name":"DEIS, Aalborg Universitet,Aalborg,Denmark"}]},{"given":"Srinidhi","family":"Srinivasan","sequence":"additional","affiliation":[{"name":"IRIS, Eindhoven University of Technology,Eindhoven,The Netherlands"}]},{"given":"Geoffrey","family":"Nelissen","sequence":"additional","affiliation":[{"name":"IRIS, Eindhoven University of Technology,Eindhoven,The Netherlands"}]},{"given":"Kim G.","family":"Larsen","sequence":"additional","affiliation":[{"name":"DEIS, Aalborg Universitet,Aalborg,Denmark"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-021-09376-1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-023-09403-3"},{"key":"ref3","first-page":"21","article-title":"Response-time analysis of limited-preemptive parallel DAG tasks under global scheduling","volume-title":"Euromicro Conference on Real-Time Systems (ECRTS)\u2018","author":"Nasri"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2018.00056"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2017.9"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3139258.3139288"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-018-09325-5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2019.2910525"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2020.2990282"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS52030.2021.00013"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2188805"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-009-9071-z"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.34"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2023.102928"},{"issue":"2","key":"ref15","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","article-title":"A theory of timed automata","volume":"126","author":"Alur","year":"1994","journal-title":"Theoretical Computer Science"},{"key":"ref16","first-page":"200","volume-title":"A Tutorial on Uppaal","author":"Behrmann","year":"2004"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8715111"},{"journal-title":"Uppaal models for lppa - date 2025","year":"2025","key":"ref18"},{"journal-title":"Schedule-Abstraction Graph framework GitHub organization","key":"ref19"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2015.26"},{"article-title":"Waters industrial challenge 2017","volume-title":"International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS),2017","author":"Hamann","key":"ref21"}],"event":{"name":"2025 Design, Automation & Test in Europe Conference (DATE)","start":{"date-parts":[[2025,3,31]]},"location":"Lyon, France","end":{"date-parts":[[2025,4,2]]}},"container-title":["2025 Design, Automation & Test in Europe Conference (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10992638\/10992588\/10992936.pdf?arnumber=10992936","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T06:06:08Z","timestamp":1747893968000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10992936\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,31]]},"references-count":21,"URL":"https:\/\/doi.org\/10.23919\/date64628.2025.10992936","relation":{},"subject":[],"published":{"date-parts":[[2025,3,31]]}}}