{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T03:26:28Z","timestamp":1773199588207,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,8]],"date-time":"2014-10-08T00:00:00Z","timestamp":1412726400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,10,8]]},"DOI":"10.1145\/2659787.2659814","type":"proceedings-article","created":{"date-parts":[[2014,10,1]],"date-time":"2014-10-01T13:35:08Z","timestamp":1412170508000},"page":"35-44","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["A Weak Simulation Relation for Real-Time Schedulability Analysis of Global Fixed Priority Scheduling Using Linear Hybrid Automata"],"prefix":"10.1145","author":[{"given":"Youcheng","family":"Sun","sequence":"first","affiliation":[{"name":"Scuola Superiore Sant'Anna"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"Lipari","sequence":"additional","affiliation":[{"name":"Scuola Superiore Sant'Anna, LSV - ENS Cachan and CNRS"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,10,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"e_1_3_2_1_2_1","volume-title":"Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems","author":"Alur Rajeev","year":"1993","unstructured":"Rajeev Alur , Costas Courcoubetis , Thomas A Henzinger , and Pei-Hsin Ho . Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems . Springer , 1993 . Rajeev Alur, Costas Courcoubetis, Thomas A Henzinger, and Pei-Hsin Ho. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Springer, 1993."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/956418.956614"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2009.25"},{"key":"e_1_3_2_1_5_1","series-title":"Lecture Notes in Computer Science","first-page":"62","volume-title":"Principles of Distributed Systems","author":"Baker Theodore","unstructured":"Theodore Baker and Michele Cirinei . Brute-Force Determination of Multiprocessor Schedulability for Sets of Sporadic Hard-Deadline Tasks . In Eduardo Tovar, Philippas Tsigas, and Hac\u00e8ne Fouchal, editors, Principles of Distributed Systems , volume 4878 of Lecture Notes in Computer Science , page 62 -- 75 . Springer Berlin Heidelberg . Theodore Baker and Michele Cirinei. Brute-Force Determination of Multiprocessor Schedulability for Sets of Sporadic Hard-Deadline Tasks. In Eduardo Tovar, Philippas Tsigas, and Hac\u00e8ne Fouchal, editors, Principles of Distributed Systems, volume 4878 of Lecture Notes in Computer Science, page 62--75. Springer Berlin Heidelberg."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.48"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.41"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1265815"},{"key":"e_1_3_2_1_9_1","first-page":"138","volume-title":"Cassez and Kim Larsen. The Impressive Power of Stopwatches. In In Proc. of CONCUR 2000: Concurrency Theory","author":"Franck","year":"2000","unstructured":"Franck Cassez and Kim Larsen. The Impressive Power of Stopwatches. In In Proc. of CONCUR 2000: Concurrency Theory , pages 138 -- 152 . Springer , 2000 . Franck Cassez and Kim Larsen. The Impressive Power of Stopwatches. In In Proc. of CONCUR 2000: Concurrency Theory, pages 138--152. Springer, 2000."},{"key":"e_1_3_2_1_10_1","first-page":"6","volume-title":"1st International 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 I Davis . Techniques for the synthesis of multiprocessor tasksets . In 1st International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) , pages 6 -- 11 , 2010 . Paul Emberson, Roger Stafford, and Robert I Davis. Techniques for the synthesis of multiprocessor tasksets. In 1st International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS), pages 6--11, 2010."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-012-9172-y"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.11"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008678014487"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_3_2_1_15_1","first-page":"155","volume-title":"Min\u00e9. A New Numerical Abstract Domain Based on Difference-Bound Matrices. In Proceedings of the Second Symposium on Programs as Data Objects, PADO '01","author":"Antoine","year":"2001","unstructured":"Antoine Min\u00e9. A New Numerical Abstract Domain Based on Difference-Bound Matrices. In Proceedings of the Second Symposium on Programs as Data Objects, PADO '01 , pages 155 -- 172 , London, UK, UK , 2001 . Springer-Verlag. Antoine Min\u00e9. A New Numerical Abstract Domain Based on Difference-Bound Matrices. In Proceedings of the Second Symposium on Programs as Data Objects, PADO '01, pages 155--172, London, UK, UK, 2001. Springer-Verlag."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-006-8609-1"},{"key":"e_1_3_2_1_17_1","volume-title":"January","author":"Sun Youcheng","year":"2014","unstructured":"Youcheng Sun and Giuseppe Lipari . FOrmal Real-Time Scheduler (FORTS). Web page: https:\/\/github.com\/glipari\/forts , January 2014 . Youcheng Sun and Giuseppe Lipari. FOrmal Real-Time Scheduler (FORTS). Web page: https:\/\/github.com\/glipari\/forts, January 2014."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Youcheng Sun Giuseppe Lipari Etienne Andr\u00e9 and Laurent Fribourg. Toward parametric timed interfaces for real-time components. EPTCS 145 page 49.  Youcheng Sun Giuseppe Lipari Etienne Andr\u00e9 and Laurent Fribourg. Toward parametric timed interfaces for real-time components. EPTCS 145 page 49.","DOI":"10.4204\/EPTCS.145.6"},{"key":"e_1_3_2_1_19_1","volume-title":"Improving the Response Time Analysis of Global Fixed-Priority Multiprocessor Scheduling","author":"Sun Youcheng","year":"2014","unstructured":"Youcheng Sun , Giuseppe Lipari , Guan Nan , and Wang Yi . Improving the Response Time Analysis of Global Fixed-Priority Multiprocessor Scheduling . In IEEE Proceedings of the 20th Int. Conf. on Embedded and Real-Time Computing Systems and Applications (RTCSA 2014 ), Chongqing, China . Youcheng Sun, Giuseppe Lipari, Guan Nan, and Wang Yi. Improving the Response Time Analysis of Global Fixed-Priority Multiprocessor Scheduling. In IEEE Proceedings of the 20th Int. Conf. on Embedded and Real-Time Computing Systems and Applications (RTCSA 2014), Chongqing, China."}],"event":{"name":"RTNS '14: 22nd International Conference on Real-Time Networks and Systems","location":"Versaille France","acronym":"RTNS '14","sponsor":["CEA Commissariat \u00e0 l'\u00e9nergie atomique et aux \u00e9nergies alternatives","GDR ASR GDR Architecture, Syst\u00e8mes et R\u00e9seaux"]},"container-title":["Proceedings of the 22nd International Conference on Real-Time Networks and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2659787.2659814","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2659787.2659814","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:47Z","timestamp":1750231187000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2659787.2659814"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,8]]},"references-count":19,"alternative-id":["10.1145\/2659787.2659814","10.1145\/2659787"],"URL":"https:\/\/doi.org\/10.1145\/2659787.2659814","relation":{},"subject":[],"published":{"date-parts":[[2014,10,8]]},"assertion":[{"value":"2014-10-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}