{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T03:26:18Z","timestamp":1773199578553,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,11,6]],"date-time":"2024-11-06T00:00:00Z","timestamp":1730851200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,11,6]]},"DOI":"10.1145\/3696355.3699707","type":"proceedings-article","created":{"date-parts":[[2025,1,3]],"date-time":"2025-01-03T11:55:46Z","timestamp":1735905346000},"page":"70-81","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Leveraging Parallelism in Global Scheduling to Improve State Space Exploration in the SAG Framework"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8587-5812","authenticated-orcid":false,"given":"Pourya","family":"Gohari","sequence":"first","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4141-6718","authenticated-orcid":false,"given":"Geoffrey","family":"Nelissen","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9981-8392","authenticated-orcid":false,"given":"Jeroen","family":"Voeten","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1052-8437","authenticated-orcid":false,"given":"Mitra","family":"Nasri","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,1,3]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS49844.2020.00012"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"crossref","unstructured":"Neil Audsley Alan Burns Mike Richardson Ken Tindell and Andy\u00a0J Wellings. 1993. Applying new scheduling theory to static priority pre-emptive scheduling. Software engineering journal 8 5 (1993) 284\u2013292.","DOI":"10.1049\/sej.1993.0034"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2003.1253260"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"crossref","unstructured":"Theodore\u00a0P Baker. 2005. An analysis of EDF schedulability on a multiprocessor. IEEE Transactions on Parallel and Distributed Systems 16 8 (2005) 760\u2013768.","DOI":"10.1109\/TPDS.2005.88"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77096-1_5"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.35"},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2005.18"},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"crossref","unstructured":"Alessandro Biondi and Youcheng Sun. 2018. On the ineffectiveness of 1\/m-based interference bounds in the analysis of global EDF and FIFO scheduling. Real-Time Systems 54 (2018) 515\u2013536.","DOI":"10.1007\/s11241-018-9303-1"},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"crossref","unstructured":"Vincenzo Bonifaci and Alberto Marchetti-Spaccamela. 2012. Feasibility analysis of sporadic real-time multiprocessor task systems. Algorithmica 63 (2012) 763\u2013780.","DOI":"10.1007\/s00453-011-9505-6"},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"crossref","unstructured":"Artem Burmyakov Enrico Bini and Chang-Gun Lee. 2022. Towards a tractable exact test for global multiprocessor fixed priority scheduling. IEEE Trans. Comput. 71 11 (2022) 2955\u20132967.","DOI":"10.1109\/TC.2022.3142540"},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/2834848.2834877"},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"crossref","unstructured":"Liliana Cucu-Grosjean and Jo\u00ebl Goossens. 2011. Exact schedulability tests for real-time scheduling of periodic tasks on unrelated multiprocessor platforms. Journal of systems architecture 57 5 (2011) 561\u2013569.","DOI":"10.1016\/j.sysarc.2011.02.007"},{"key":"e_1_3_3_2_14_2","first-page":"6","volume-title":"Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS)","author":"Emberson Paul","year":"2010","unstructured":"Paul Emberson, Roger Stafford, and Robert\u00a0I Davis. 2010. Techniques for the synthesis of multiprocessor tasksets. In Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS). 6\u201311."},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"crossref","unstructured":"Mohammed Foughali Pierre-Emmanuel Hladik and Alexander Zuepke. 2023. Compositional verification of embedded real-time systems. Journal of Systems Architecture 142 (2023) 102928.","DOI":"10.1016\/j.sysarc.2023.102928"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/3534879.3534893"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA58653.2023.00039"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS59052.2023.00050"},{"key":"e_1_3_3_2_19_2","volume-title":"Euromicro Conference on Real-Time Systems (ECRTS)","author":"Gohari Pourya","year":"2024","unstructured":"Pourya Gohari, Jeroen Voeten, and Mitra Nasri. 2024. Reachability-Based Response-Time Analysis of Preemptive Tasks Under Global Scheduling. In Euromicro Conference on Real-Time Systems (ECRTS). Schloss Dagstuhl\u2013Leibniz-Zentrum f\u00fcr Informatik."},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75664-4_26"},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.11"},{"key":"e_1_3_3_2_22_2","volume-title":"Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS)","author":"Kramer Simon","year":"2015","unstructured":"Simon Kramer, Dirk Ziegenbein, and Arne Hamann. 2015. Real world automotive benchmarks for free. In Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS)."},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"crossref","unstructured":"Jinkyu Lee and Insik Shin. 2013. Limited carry-in technique for real-time multi-core scheduling. Journal of Systems Architecture 59 7 (2013) 372\u2013375.","DOI":"10.1016\/j.sysarc.2013.05.012"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2017.00009"},{"key":"e_1_3_3_2_25_2","first-page":"9","volume-title":"Euromicro Conference on Real-Time Systems (ECRTS)","author":"Nasri Mitra","year":"2018","unstructured":"Mitra Nasri, Geoffrey Nelissen, and Bj\u00f6rn\u00a0B Brandenburg. 2018. A response-time analysis for non-preemptive job sets under global scheduling. In Euromicro Conference on Real-Time Systems (ECRTS). 9\u20131."},{"key":"e_1_3_3_2_26_2","first-page":"21","volume-title":"Euromicro Conference on Real-Time Systems (ECRTS)","author":"Nasri Mitra","year":"2019","unstructured":"Mitra Nasri, Geoffrey Nelissen, and Bj\u00f6rn\u00a0B Brandenburg. 2019. Response-time analysis of limited-preemptive parallel DAG tasks under global scheduling. In Euromicro Conference on Real-Time Systems (ECRTS). 21\u20131."},{"key":"e_1_3_3_2_27_2","volume-title":"Euromicro Conference on Real-Time Systems (ECRTS)","author":"Nelissen Geoffrey","year":"2022","unstructured":"Geoffrey Nelissen, Joan Marc\u00e8\u00a0i Igual, and Mitra Nasri. 2022. Response-time analysis for non-preemptive periodic moldable gang tasks. In Euromicro Conference on Real-Time Systems (ECRTS)."},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS49844.2020.00021"},{"key":"e_1_3_3_2_29_2","doi-asserted-by":"crossref","unstructured":"Sayra Ranjha Pourya Gohari Geoffrey Nelissen and Mitra Nasri. 2023. Partial-order reduction in reachability-based response-time analyses of limited-preemptive DAG tasks. Real-Time Systems 59 2 (2023) 201\u2013255.","DOI":"10.1007\/s11241-023-09398-x"},{"key":"e_1_3_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS52674.2021.00061"},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS54340.2022.00018"},{"key":"e_1_3_3_2_32_2","first-page":"to appear","volume-title":"2024 IEEE Real-Time Systems Symposium (RTSS)","author":"Srinivasan Srinidhi","year":"2024","unstructured":"Srinidhi Srinivasan, Mario Gunzel, and Geoffrey Nelissen. 2024. RTA for Limited-Preemptive Self-Suspending and Event-Driven Delay-Induced Tasks. In 2024 IEEE Real-Time Systems Symposium (RTSS). IEEE, to appear."},{"key":"e_1_3_3_2_33_2","first-page":"16:1 \u2013 16:24","volume-title":"Euromicro Conference on Real-Time Systems (ECRTS)","author":"Srinivasan Srinidhi","year":"2024","unstructured":"Srinidhi Srinivasan, Geoffrey Nelissen, Reinder\u00a0J. Bril, and Nirvana Meratnia. 2024. Analysis of TSN Time-Aware Shapers using Schedule Abstraction Graphs. In Euromicro Conference on Real-Time Systems (ECRTS). 16:1 \u2013 16:24."},{"key":"e_1_3_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.1145\/2659787.2659814"},{"key":"e_1_3_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2015.20"},{"key":"e_1_3_3_2_36_2","doi-asserted-by":"crossref","unstructured":"Youcheng Sun and Giuseppe Lipari. 2016. A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor Global Fixed-Priority scheduling. Real-Time Systems 52 (2016) 323\u2013355.","DOI":"10.1007\/s11241-015-9245-9"},{"key":"e_1_3_3_2_37_2","first-page":"1","volume-title":"International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)","author":"Sun Youcheng","year":"2014","unstructured":"Youcheng Sun, Giuseppe Lipari, Nan Guan, and Wang Yi. 2014. Improving the response time analysis of global fixed-priority multiprocessor scheduling. In International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). 1\u20139."},{"key":"e_1_3_3_2_38_2","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8715111"},{"key":"e_1_3_3_2_39_2","doi-asserted-by":"crossref","unstructured":"Quan Zhou Guohui Li and Jianjun Li. 2017. Improved carry-in workload estimation for global multiprocessor scheduling. IEEE Transactions on Parallel and Distributed Systems 28 9 (2017) 2527\u20132538.","DOI":"10.1109\/TPDS.2017.2679195"},{"key":"e_1_3_3_2_40_2","doi-asserted-by":"crossref","unstructured":"Quan Zhou Guohui Li Chunyang Zhou and Jianjun Li. 2020. Limited busy periods in response time analysis for tasks under global EDF scheduling. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 40 2 (2020) 232\u2013245.","DOI":"10.1109\/TCAD.2020.2994265"}],"event":{"name":"RTNS 2024: The 32nd International Conference on Real-Time Networks and Systems","location":"Porto Portugal","acronym":"RTNS 2024"},"container-title":["Proceedings of the 32nd International Conference on Real-Time Networks and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696355.3699707","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3696355.3699707","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:10:11Z","timestamp":1750295411000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696355.3699707"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,6]]},"references-count":39,"alternative-id":["10.1145\/3696355.3699707","10.1145\/3696355"],"URL":"https:\/\/doi.org\/10.1145\/3696355.3699707","relation":{},"subject":[],"published":{"date-parts":[[2024,11,6]]},"assertion":[{"value":"2025-01-03","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}