{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:14:15Z","timestamp":1750306455323,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,11,4]],"date-time":"2015-11-04T00:00:00Z","timestamp":1446595200000},"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":[[2015,11,4]]},"DOI":"10.1145\/2834848.2834871","type":"proceedings-article","created":{"date-parts":[[2015,11,30]],"date-time":"2015-11-30T19:03:51Z","timestamp":1448910231000},"page":"183-192","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["WCET analysis in shared resources real-time systems with TDMA buses"],"prefix":"10.1145","author":[{"given":"Hamza","family":"Rihani","sequence":"first","affiliation":[{"name":"Univ. Grenoble Alpes, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthieu","family":"Moy","sequence":"additional","affiliation":[{"name":"Univ. Grenoble Alpes, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claire","family":"Maiza","sequence":"additional","affiliation":[{"name":"Univ. Grenoble Alpes, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Altmeyer","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,11,4]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"52","volume-title":"Science of Computer Programming","author":"Alt M.","year":"1996","unstructured":"M. Alt , C. Ferdin , F. Martin , and R. Wilhelm . Cache behavior prediction by abstract interpretation . In Science of Computer Programming , pages 52 -- 66 . Springer , 1996 . M. Alt, C. Ferdin, F. Martin, and R. Wilhelm. Cache behavior prediction by abstract interpretation. In Science of Computer Programming, pages 52--66. Springer, 1996."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1927882.1927891"},{"key":"e_1_3_2_1_3_1","first-page":"200","volume-title":"A tutorial on uppaal","author":"Behrmann G.","year":"2004","unstructured":"G. Behrmann , A. David , and K. G. Larsen . A tutorial on uppaal . In M. Bernardo and F. Corradini, editors, SFM-RT 2004 , number 3185 in LNCS, pages 200 -- 236 . Springer-Verlag , September 2004. G. Behrmann, A. David, and K. G. Larsen. A tutorial on uppaal. In M. Bernardo and F. Corradini, editors, SFM-RT 2004, number 3185 in LNCS, pages 200--236. Springer-Verlag, September 2004."},{"key":"e_1_3_2_1_4_1","first-page":"53","article-title":"The auspicious couple: Symbolic execution and WCET analysis","volume":"30","author":"Biere A.","year":"2013","unstructured":"A. Biere , J. Knoop , L. Kov\u00e1cs , and J. Zwirchmayr . The auspicious couple: Symbolic execution and WCET analysis . WCET , 30 : 53 -- 63 , 2013 . A. Biere, J. Knoop, L. Kov\u00e1cs, and J. Zwirchmayr. The auspicious couple: Symbolic execution and WCET analysis. WCET, 30:53--63, 2013.","journal-title":"WCET"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1811212.1811220"},{"key":"e_1_3_2_1_6_1","volume-title":"March","author":"David R. C.","year":"2013","unstructured":"R. C. David . The SMT-LIBv2 Language and Tools: A Tutorial , March 2013 . R. C. David. The SMT-LIBv2 Language and Tools: A Tutorial, March 2013."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_8_1","unstructured":"A.\n      Gustavsson A.\n      Ermedahl B.\n      Lisper and \n      P.\n      Pettersson\n  . \n  Towards WCET Analysis of Multicore Architectures Using UPPAAL\n  . In B. Lisper editor WCET \n  2010 volume \n  15\n   of \n  OpenAccess Series in Informatics (OASIcs) pages \n  101\n  --\n  112\n  . Schloss Dagstuhl-Leibniz-Zentrum fuer \n  Informatik 2010.  A. Gustavsson A. Ermedahl B. Lisper and P. Pettersson. Towards WCET Analysis of Multicore Architectures Using UPPAAL. In B. Lisper editor WCET 2010 volume 15 of OpenAccess Series in Informatics (OASIcs) pages 101--112. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik 2010."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2597809.2597817"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2012.11.003"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-013-9189-x"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2659787.2659805"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.30"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2656045.2656046"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-015-9219-y"},{"key":"e_1_3_2_1_16_1","first-page":"101","volume-title":"WCET 2009","author":"Reineke J.","year":"2009","unstructured":"J. Reineke and R. Sen . Sound and efficient WCET analysis in the presence of timing anomalies . In WCET 2009 , page 101 , 2009 . J. Reineke and R. Sen. Sound and efficient WCET analysis in the presence of timing anomalies. In WCET 2009, page 101, 2009."},{"key":"e_1_3_2_1_17_1","first-page":"4","article-title":"A definition and classification of timing anomalies","author":"Reineke J.","year":"2006","unstructured":"J. Reineke , B. Wachter , S. Thesing , R. Wilhelm , I. Polian , J. Eisinger , and B. Becker . A definition and classification of timing anomalies . WCET , 4 , 2006 . J. Reineke, B. Wachter, S. Thesing, R. Wilhelm, I. Polian, J. Eisinger, and B. Becker. A definition and classification of timing anomalies. WCET, 4, 2006.","journal-title":"WCET"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2010.24"}],"event":{"name":"RTNS '15: 23rd International Conference on Real-Time Networks and Systems","acronym":"RTNS '15","location":"Lille France"},"container-title":["Proceedings of the 23rd International Conference on Real Time and Networks Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2834848.2834871","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2834848.2834871","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:43:18Z","timestamp":1750225398000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2834848.2834871"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11,4]]},"references-count":18,"alternative-id":["10.1145\/2834848.2834871","10.1145\/2834848"],"URL":"https:\/\/doi.org\/10.1145\/2834848.2834871","relation":{},"subject":[],"published":{"date-parts":[[2015,11,4]]},"assertion":[{"value":"2015-11-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}