{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:24:51Z","timestamp":1750307091306,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,11,8]],"date-time":"2012-11-08T00:00:00Z","timestamp":1352332800000},"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":[[2012,11,8]]},"DOI":"10.1145\/2392987.2392999","type":"proceedings-article","created":{"date-parts":[[2012,11,13]],"date-time":"2012-11-13T15:04:07Z","timestamp":1352819047000},"page":"91-100","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["FFX"],"prefix":"10.1145","author":[{"given":"Armelle","family":"Bonenfant","sequence":"first","affiliation":[{"name":"IRIT - Universit\u00e9 de Toulouse, Toulouse"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hugues","family":"Cass\u00e9","sequence":"additional","affiliation":[{"name":"IRIT - Universit\u00e9 de Toulouse, Toulouse"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marianne","family":"de Michiel","sequence":"additional","affiliation":[{"name":"IRIT - Universit\u00e9 de Toulouse, Toulouse"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens","family":"Knoop","sequence":"additional","affiliation":[{"name":"Vienna University of Technology, Vienna"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura","family":"Kov\u00e1cs","sequence":"additional","affiliation":[{"name":"Vienna University of Technology, Vienna"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jakob","family":"Zwirchmayr","sequence":"additional","affiliation":[{"name":"Vienna University of Technology, Vienna"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,11,8]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"AbsInt Angewandte Informatik GmbH. aiT. http:\/\/www.absint.com 2007.  AbsInt Angewandte Informatik GmbH. aiT. http:\/\/www.absint.com 2007."},{"key":"e_1_3_2_2_2_1","first-page":"118","volume-title":"Workshop on Worst-Case Execution Time Analysis, Dublin, 30\/06\/09","volume":"252","author":"Ballabriga Cl\u00e9ment","year":"2009","unstructured":"Cl\u00e9ment Ballabriga , Hugues Cass\u00e9 , and Marianne de Michiel . A Generic Framework for Blackbox Components in WCET Computation (regular paper) . In Workshop on Worst-Case Execution Time Analysis, Dublin, 30\/06\/09 , volume 252 , pages 118 -- 129 , http:\/\/www.ocg.at, octobre 2009 . Austrian Computer society. Cl\u00e9ment Ballabriga, Hugues Cass\u00e9, and Marianne de Michiel. A Generic Framework for Blackbox Components in WCET Computation (regular paper). In Workshop on Worst-Case Execution Time Analysis, Dublin, 30\/06\/09, volume 252, pages 118--129, http:\/\/www.ocg.at, octobre 2009. Austrian Computer society."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1927882.1927891"},{"key":"e_1_3_2_2_4_1","volume-title":"Universit\u00e9 Paul Sabatier","author":"Cass\u00e9 Hugues","year":"2012","unstructured":"Hugues Cass\u00e9 and Marianne De Michiel . FFX : Flow Facts in XML. Rapport de recherche IRIT\/RR-2012-5-FR, IRIT , Universit\u00e9 Paul Sabatier , Toulouse , April 2012 . Hugues Cass\u00e9 and Marianne De Michiel. FFX: Flow Facts in XML. Rapport de recherche IRIT\/RR-2012-5-FR, IRIT, Universit\u00e9 Paul Sabatier, Toulouse, April 2012."},{"key":"e_1_3_2_2_5_1","volume-title":"Universit\u00e9 Paul Sabatier","author":"Cass\u00e9 Hugues","year":"2012","unstructured":"Hugues Cass\u00e9 , Marianne de Michiel , and Armelle Bonenfant . FFX ( Flow Fact in XML) format. Rapport de recherche RR-2012-5-EN, IRIT , Universit\u00e9 Paul Sabatier , Toulouse , 2012 . Hugues Cass\u00e9, Marianne de Michiel, and Armelle Bonenfant. FFX (Flow Fact in XML) format. Rapport de recherche RR-2012-5-EN, IRIT, Universit\u00e9 Paul Sabatier, Toulouse, 2012."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/368924.368928"},{"key":"e_1_3_2_2_7_1","first-page":"136","volume-title":"Proc. of 10th Int'l Workshop on Worst-Case Exeuction Time Analysis (WCET 2010","author":"Gustafsson Jan","year":"2010","unstructured":"Jan Gustafsson , Adam Betts , Andreas Ermedahl , and Bj\u00f6rn Lisper . The M\u00e4alardalen WCET Benchmarks: Past, Present And Future . In Proc. of 10th Int'l Workshop on Worst-Case Exeuction Time Analysis (WCET 2010 ), pages 136 -- 146 , Brussels, Belgium , July 2010 . \u00d6sterreichische Computer Gesellschaft. Jan Gustafsson, Adam Betts, Andreas Ermedahl, and Bj\u00f6rn Lisper. The M\u00e4alardalen WCET Benchmarks: Past, Present And Future. In Proc. of 10th Int'l Workshop on Worst-Case Exeuction Time Analysis (WCET 2010), pages 136--146, Brussels, Belgium, July 2010. \u00d6sterreichische Computer Gesellschaft."},{"key":"e_1_3_2_2_8_1","volume-title":"http:\/\/www.mrtc.mdh.se\/projects\/wcet\/sweet.html","author":"Gustafsson Jan","year":"2001","unstructured":"Jan Gustafsson . SWEET. http:\/\/www.mrtc.mdh.se\/projects\/wcet\/sweet.html , 2001 . Jan Gustafsson. SWEET. http:\/\/www.mrtc.mdh.se\/projects\/wcet\/sweet.html, 2001."},{"key":"e_1_3_2_2_9_1","first-page":"182","article-title":"Integration of Static Runtime Analysis and Program Compilation. Master's thesis, Vienna University of Technology","volume":"3","author":"Kirner Raimund","year":"2000","unstructured":"Raimund Kirner . Integration of Static Runtime Analysis and Program Compilation. Master's thesis, Vienna University of Technology , Treitlstra\u00dfe 3\/3 \/ 182 - 181 , 1040 Vienna, Austria, 2000 . Raimund Kirner. Integration of Static Runtime Analysis and Program Compilation. Master's thesis, Vienna University of Technology, Treitlstra\u00dfe 3\/3\/182-1, 1040 Vienna, Austria, 2000.","journal-title":"Treitlstra\u00dfe"},{"key":"e_1_3_2_2_10_1","volume-title":"User's Manual -- WCET-Analysis Framework based on WCETC.","author":"Kirner Raimund","year":"2001","unstructured":"Raimund Kirner . User's Manual -- WCET-Analysis Framework based on WCETC. Available at http:\/\/www.vmars.tuwien.ac.at\/~raimund\/calc_wcet\/, 2001 . Raimund Kirner. User's Manual -- WCET-Analysis Framework based on WCETC. Available at http:\/\/www.vmars.tuwien.ac.at\/~raimund\/calc_wcet\/, 2001."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34032-1_17"},{"key":"e_1_3_2_2_12_1","volume-title":"Proc. 8th Intl. Workshop on Worst-Case Execution Time Analysis (WCET 2008","author":"Kirner Raimund","year":"2008","unstructured":"Raimund Kirner , Albrecht Kadlec , Adrian Prantl , Markus Schordan , and Jens Knoop . Towards a Common WCET Annotation Language: Essential Ingredients . In Proc. 8th Intl. Workshop on Worst-Case Execution Time Analysis (WCET 2008 , 2008 . Raimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan, and Jens Knoop. Towards a Common WCET Annotation Language: Essential Ingredients. In Proc. 8th Intl. Workshop on Worst-Case Execution Time Analysis (WCET 2008, 2008."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-010-0161-0"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29709-0_20"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28717-6_34"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2008.53"},{"key":"e_1_3_2_2_18_1","first-page":"77","volume-title":"Markus Triska. Constraint Solving for High-Level WCET Analysis. In Proc. of 18th Logic-based Methods in Programming Environments","author":"Prantl Adrian","year":"2008","unstructured":"Adrian Prantl , Jens Knoop , Markus Schordan , and Markus Triska. Constraint Solving for High-Level WCET Analysis. In Proc. of 18th Logic-based Methods in Programming Environments , pages 77 -- 88 , 2008 . Adrian Prantl, Jens Knoop, Markus Schordan, and Markus Triska. Constraint Solving for High-Level WCET Analysis. In Proc. of 18th Logic-based Methods in Programming Environments, pages 77--88, 2008."},{"key":"e_1_3_2_2_19_1","first-page":"141","volume-title":"Conceptually New Tool for Worst-Case Execution Time Analysis. In Proc. 8th International Workshop on Worst-Case Execution Time Analysis (WCET 2008","author":"Prantl Adrian","year":"2008","unstructured":"Adrian Prantl , Markus Schordan , and Jens Knoop . TuBound -- A Conceptually New Tool for Worst-Case Execution Time Analysis. In Proc. 8th International Workshop on Worst-Case Execution Time Analysis (WCET 2008 ), pages 141 -- 148 , Prague, Czech Republic , 2008 . \u00d6sterreichische Computer Gesellschaft. ISBN: 978-3-85403-237-3. Adrian Prantl, Markus Schordan, and Jens Knoop. TuBound -- A Conceptually New Tool for Worst-Case Execution Time Analysis. In Proc. 8th International Workshop on Worst-Case Execution Time Analysis (WCET 2008), pages 141--148, Prague, Czech Republic, 2008. \u00d6sterreichische Computer Gesellschaft. ISBN: 978-3-85403-237-3."},{"key":"e_1_3_2_2_20_1","first-page":"224","volume-title":"Puschner and Anton Schedl. A Tool for the Computation of Worst-Case Task Execution Times. In Proc. of 5th Euromicro Workshop on Real-Time Systems","author":"Peter","year":"1993","unstructured":"Peter Puschner and Anton Schedl. A Tool for the Computation of Worst-Case Task Execution Times. In Proc. of 5th Euromicro Workshop on Real-Time Systems , pages 224 -- 229 , June 1993 . Peter Puschner and Anton Schedl. A Tool for the Computation of Worst-Case Task Execution Times. In Proc. of 5th Euromicro Workshop on Real-Time Systems, pages 224--229, June 1993."},{"key":"e_1_3_2_2_21_1","unstructured":"Rapita Systems Ltd. RapiTime Explained -- White Paper. http:\/\/www.rapitasystems.com\/downloads\/rapitime_explained_white_paper.  Rapita Systems Ltd. RapiTime Explained -- White Paper. http:\/\/www.rapitasystems.com\/downloads\/rapitime_explained_white_paper."},{"key":"e_1_3_2_2_22_1","volume-title":"http:\/\/www.tidorum.fi\/bound-t","author":"Ltd Tidorum","year":"2005","unstructured":"Tidorum Ltd . Bound- T. http:\/\/www.tidorum.fi\/bound-t , 2005 . Tidorum Ltd. Bound-T. http:\/\/www.tidorum.fi\/bound-t, 2005."},{"key":"e_1_3_2_2_23_1","volume-title":"Proc. 11th International Workshop on Worst-Case Execution Time Analysis (WCET 2011)","author":"von Hanxleden R.","year":"2011","unstructured":"R. von Hanxleden , N. Holsti , B. Lisper , E. Ploedereder , R. Wilhelm , A. Bonenfant , H. Casse , S. B\u00fcnte , W. Fellger , S. Gepperth , J. Gustafsson , B. Huber , N. M. Islam , D. K\u00e4stner , R. Kirner , L. Kovacs , F. Krause , M. de Michiel , M. C. Olesen , A. Prantl , W. Puffitsch , C. Rochange , M. Schoeberl , S. Wegener , M. Zolda , and J. Zwirchmayr . WCET Tool Challenge 2011: Report . In Proc. 11th International Workshop on Worst-Case Execution Time Analysis (WCET 2011) , 2011 . R. von Hanxleden, N. Holsti, B. Lisper, E. Ploedereder, R. Wilhelm, A. Bonenfant, H. Casse, S. B\u00fcnte, W. Fellger, S. Gepperth, J. Gustafsson, B. Huber, N. M. Islam, D. K\u00e4stner, R. Kirner, L. Kovacs, F. Krause, M. de Michiel, M. C. Olesen, A. Prantl, W. Puffitsch, C. Rochange, M. Schoeberl, S. Wegener, M. Zolda, and J. Zwirchmayr. WCET Tool Challenge 2011: Report. In Proc. 11th International Workshop on Worst-Case Execution Time Analysis (WCET 2011), 2011."}],"event":{"name":"RTNS '12: 20th International Conference on Real-Time and Network Systems","sponsor":["University of Lorraine University of Lorraine","INRIA Institut Natl de Recherche en Info et en Automatique","GDR ASR GDR Architecture, Syst\u00e8mes et R\u00e9seaux"],"location":"Pont \u00e0 Mousson France","acronym":"RTNS '12"},"container-title":["Proceedings of the 20th International Conference on Real-Time and Network Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2392987.2392999","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2392987.2392999","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:34:32Z","timestamp":1750239272000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2392987.2392999"}},"subtitle":["a portable WCET annotation language"],"short-title":[],"issued":{"date-parts":[[2012,11,8]]},"references-count":22,"alternative-id":["10.1145\/2392987.2392999","10.1145\/2392987"],"URL":"https:\/\/doi.org\/10.1145\/2392987.2392999","relation":{},"subject":[],"published":{"date-parts":[[2012,11,8]]},"assertion":[{"value":"2012-11-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}