{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:10:02Z","timestamp":1750306202401,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,10,19]],"date-time":"2016-10-19T00:00:00Z","timestamp":1476835200000},"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":[[2016,10,19]]},"DOI":"10.1145\/2997465.2997467","type":"proceedings-article","created":{"date-parts":[[2016,10,20]],"date-time":"2016-10-20T15:58:54Z","timestamp":1476979134000},"page":"289-298","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Time for Reactive System Modeling"],"prefix":"10.1145","author":[{"given":"Insa","family":"Fuhrmann","sequence":"first","affiliation":[{"name":"Kiel University, Department of Computer Science, Kiel, Germany"}]},{"given":"David","family":"Broman","sequence":"additional","affiliation":[{"name":"KTH Royal Institute of Technology, Stockholm, Sweden"}]},{"given":"Reinhard","family":"von Hanxleden","sequence":"additional","affiliation":[{"name":"Kiel University, Department of Computer Science, Kiel, Germany"}]},{"given":"Alexander","family":"Schulz-Rosengarten","sequence":"additional","affiliation":[{"name":"Kiel University, Department of Computer Science, Kiel, Germany"}]}],"member":"320","published-online":{"date-parts":[[2016,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"John Wiley & Sons","author":"Baccelli F. L.","year":"1992","unstructured":"F. L. Baccelli , G. Cohen , G. J. Olsder , and J.-P. Quadrat . Synchronisation and Linearity . John Wiley & Sons , 1992 . F. L. Baccelli, G. Cohen, G. J. Olsder, and J.-P. Quadrat. Synchronisation and Linearity. John Wiley & Sons, 1992."},{"key":"e_1_3_2_1_2_1","first-page":"64","volume-title":"Simone. The Synchronous Languages Twelve Years Later. In Proc. IEEE, Special Issue on Embedded Systems","volume":"91","author":"Benveniste A.","year":"2003","unstructured":"A. Benveniste , P. Caspi , S. A. Edwards , N. Halbwachs , P. L. Guernic , and R. de Simone. The Synchronous Languages Twelve Years Later. In Proc. IEEE, Special Issue on Embedded Systems , volume 91 , pages 64 -- 83 , Piscataway, NJ, USA , Jan. 2003 . IEEE. A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic, and R. de Simone. The Synchronous Languages Twelve Years Later. In Proc. IEEE, Special Issue on Embedded Systems, volume 91, pages 64--83, Piscataway, NJ, USA, Jan. 2003. IEEE."},{"issue":"3","key":"e_1_3_2_1_3_1","first-page":"189","article-title":"Identifying opportunities for worst-case execution time reduction in an avionics system","volume":"28","author":"Bernat G.","year":"2007","unstructured":"G. Bernat , R. Davis , N. Merriam , J. Tuffen , A. Gardner , M. Bennett , and D. Armstrong . Identifying opportunities for worst-case execution time reduction in an avionics system . Ada User Journal , 28 ( 3 ): 189 -- 195 , 2007 . G. Bernat, R. Davis, N. Merriam, J. Tuffen, A. Gardner, M. Bennett, and D. Armstrong. Identifying opportunities for worst-case execution time reduction in an avionics system. Ada User Journal, 28(3):189--195, 2007.","journal-title":"Ada User Journal"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.05.011"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41641"},{"key":"e_1_3_2_1_6_1","volume-title":"Electronic Notes in Theoretical Computer Science","author":"Closse E.","year":"2002","unstructured":"E. Closse , M. Poize , J. Pulou , P. Venier , and D. Weil . SAXO-RT: Interpreting Esterel semantic on a sequential execution structure . In F. Maraninchi, A. Girault, and E. Rutten, editors, Electronic Notes in Theoretical Computer Science . Elsevier , July 2002 . E. Closse, M. Poize, J. Pulou, P. Venier, and D. Weil. SAXO-RT: Interpreting Esterel semantic on a sequential execution structure. In F. Maraninchi, A. Girault, and E. Rutten, editors, Electronic Notes in Theoretical Computer Science. Elsevier, July 2002."},{"key":"e_1_3_2_1_7_1","volume-title":"Embedded Real Time Software (ERTS)","author":"Ferdinand C.","year":"2008","unstructured":"C. Ferdinand , R. Heckmann , T. L. Sergent , D. Lopes , B. Martin , X. Fornari , and F. Martin . Combining a high-level design tool for safety-critical systems with a tool for wcet analysis on executables . In Embedded Real Time Software (ERTS) , Toulouse , 2008 . C. Ferdinand, R. Heckmann, T. L. Sergent, D. Lopes, B. Martin, X. Fornari, and F. Martin. Combining a high-level design tool for safety-critical systems with a tool for wcet analysis on executables. In Embedded Real Time Software (ERTS), Toulouse, 2008."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008186323068"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1926458.1926478"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2006.12"},{"issue":"2","key":"e_1_3_2_1_12_1","first-page":"366","article-title":"Fast, interactive worst-case execution time analysis with back-annotation. Industrial Informatics","volume":"8","author":"Harmon T.","year":"2012","unstructured":"T. Harmon , M. Schoeberl , R. Kirner , R. Klefstad , K. Kim , and M. R. Lowry . Fast, interactive worst-case execution time analysis with back-annotation. Industrial Informatics , IEEE Transactions on , 8 ( 2 ): 366 -- 377 , 2012 . T. Harmon, M. Schoeberl, R. Kirner, R. Klefstad, K. Kim, and M. R. Lowry. Fast, interactive worst-case execution time analysis with back-annotation. Industrial Informatics, IEEE Transactions on, 8(2):366--377, 2012.","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1450135.1450175"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2014.6926001"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/787256.787342"},{"key":"e_1_3_2_1_16_1","first-page":"16","volume-title":"Proceedings of the Eleventh ACM International Conference on Embedded Software","author":"Kleinsorge J. C.","unstructured":"J. C. Kleinsorge , H. Falk , and P. Marwedel . Simple analysis of partial worst-case execution paths on general control flow graphs . In Proceedings of the Eleventh ACM International Conference on Embedded Software , page 16 . IEEE Press, 2013. J. C. Kleinsorge, H. Falk, and P. Marwedel. Simple analysis of partial worst-case execution paths on general control flow graphs. In Proceedings of the Eleventh ACM International Conference on Embedded Software, page 16. IEEE Press, 2013."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/524958.828340"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.664229"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1874620.1874644"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.1995.1010"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45234-9_32"},{"key":"e_1_3_2_1_23_1","first-page":"173","volume-title":"Proceedings of WAGA'99: Second Workshop on Attribute Grammars and their Applications","author":"Persson P.","year":"1999","unstructured":"P. Persson and G. Hedin . Interactive execution time predictions using reference attributed grammars . In Proceedings of WAGA'99: Second Workshop on Attribute Grammars and their Applications , pages 173 -- 184 , 1999 . P. Persson and G. Hedin. Interactive execution time predictions using reference attributed grammars. In Proceedings of WAGA'99: Second Workshop on Attribute Grammars and their Applications, pages 173--184, 1999."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/832260.833216"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-015-9219-y"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594310"},{"key":"e_1_3_2_1_27_1","first-page":"1","volume-title":"CASES","author":"Wang J. J.","year":"2013","unstructured":"J. J. Wang , P. S. Roop , and S. Andalam . ILPc: A novel approach for scalable timing analysis of synchronous programs . In CASES , pages 1 -- 10 , 2013 . J. J. Wang, P. S. Roop, and S. Andalam. ILPc: A novel approach for scalable timing analysis of synchronous programs. In CASES, pages 1--10, 2013."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2014.6925994"}],"event":{"name":"RTNS '16: 24th International Conference on Real-Time Networks and Systems","sponsor":["REGIONB Region Bretagne"],"location":"Brest France","acronym":"RTNS '16"},"container-title":["Proceedings of the 24th International Conference on Real-Time Networks and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2997465.2997467","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2997465.2997467","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:50:31Z","timestamp":1750218631000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2997465.2997467"}},"subtitle":["Interactive Timing Analysis with Hotspot Highlighting"],"short-title":[],"issued":{"date-parts":[[2016,10,19]]},"references-count":28,"alternative-id":["10.1145\/2997465.2997467","10.1145\/2997465"],"URL":"https:\/\/doi.org\/10.1145\/2997465.2997467","relation":{},"subject":[],"published":{"date-parts":[[2016,10,19]]},"assertion":[{"value":"2016-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}