{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,7]],"date-time":"2026-05-07T02:44:21Z","timestamp":1778121861599,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,6,13]],"date-time":"2016-06-13T00:00:00Z","timestamp":1465776000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Indo-German Science & Technology Centre"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,6,13]]},"DOI":"10.1145\/2907950.2907961","type":"proceedings-article","created":{"date-parts":[[2016,6,2]],"date-time":"2016-06-02T15:23:42Z","timestamp":1464881022000},"page":"72-81","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["TIC: a scalable model checking based approach to WCET estimation"],"prefix":"10.1145","author":[{"given":"Ravindra","family":"Metta","sequence":"first","affiliation":[{"name":"Tata Consultancy Services, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Becker","sequence":"additional","affiliation":[{"name":"TU Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Prasad","family":"Bokil","sequence":"additional","affiliation":[{"name":"Tata Consultancy Services, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samarjit","family":"Chakraborty","sequence":"additional","affiliation":[{"name":"TU Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R","family":"Venkatesh","sequence":"additional","affiliation":[{"name":"Tata Consultancy Services, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,6,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-015-0340-4"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"D.\n       \n      Beyer\n    .\n      \n  \n   \n  Status Report on Software Verification (Competition Summary SV-COMP\n   \n  2014\n  ). In E. \u00c1brah\u00e1m and K. Havelund editors Tools and Algorithms for the \n  Construction and Analysis of Systems volume \n  8413\n   of \n  Lecture Notes in Computer Science pages 373\u2013\n  388\n  . Springer Berlin Heidelberg 2014.  D. Beyer. Status Report on Software Verification (Competition Summary SV-COMP 2014). In E. \u00c1brah\u00e1m and K. Havelund editors Tools and Algorithms for the Construction and Analysis of Systems volume 8413 of Lecture Notes in Computer Science pages 373\u2013388. Springer Berlin Heidelberg 2014.","DOI":"10.1007\/978-3-642-54862-8_25"},{"key":"e_1_3_2_1_3_1","volume-title":"Experiments: 5th International Conference, VSTTE 2013","author":"Blazy S.","year":"2013"},{"key":"e_1_3_2_1_4_1","volume-title":"Springer","author":"Brumley D.","year":"2011"},{"key":"e_1_3_2_1_5_1","first-page":"131","volume-title":"Programming Languages and Systems: 24th European Symposium on Programming, ESOP 2015","author":"Cern\u00fd P."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-013-9178-0"},{"key":"e_1_3_2_1_7_1","first-page":"2","article-title":"Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona","volume":"29","author":"Clarke E.","year":"2004","journal-title":"Spain, March"},{"key":"e_1_3_2_1_8_1","first-page":"03270","volume-title":"MIT Press","author":"Clarke E. M.","year":"1999"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/2755753.2757139"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Y. Demyanova T. Pani H. Veith and F. Zuleger. Computer Aided Verification: 27th International Conference CAV 2015 San Francisco CA USA July 18-24 2015 Proceedings Part I chapter Empirical Software Metrics for Benchmarking of Verification Tools pages 561\u2013 579. Springer International Publishing Cham 2015.  Y. Demyanova T. Pani H. Veith and F. Zuleger. Computer Aided Verification: 27th International Conference CAV 2015 San Francisco CA USA July 18-24 2015 Proceedings Part I chapter Empirical Software Metrics for Benchmarking of Verification Tools pages 561\u2013 579. Springer International Publishing Cham 2015.","DOI":"10.1007\/978-3-319-21690-4_39"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2005.139"},{"key":"e_1_3_2_1_12_1","first-page":"147","volume-title":"WCET2010","author":"Gustafsson J.","year":"2010"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026599015809"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2597809.2597817"},{"key":"e_1_3_2_1_15_1","volume-title":"Space Systems Finland Ltd","author":"Holsti N.","year":"2002"},{"key":"e_1_3_2_1_16_1","volume-title":"Design","author":"Kim S.","year":"2009"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29709-0_20"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2010.5549585"},{"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.1109\/EUC.2008.178"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/SAMOS.2011.6045462"},{"key":"e_1_3_2_1_22_1","first-page":"347","volume-title":"Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings, chapter Why Model Checking Can Improve WCET Analysis","author":"Metzner A."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207114"},{"key":"e_1_3_2_1_24_1","first-page":"449","volume-title":"Proceedings of the 5th International Conference on Software Engineering, ICSE \u201981","author":"Weiser M.","year":"1981"},{"key":"e_1_3_2_1_25_1","first-page":"322","volume-title":"Lecture Notes in Computer Science","author":"Wilhelm R."}],"event":{"name":"LCTES'16: SIGPLAN\/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2016","location":"Santa Barbara CA USA","acronym":"LCTES'16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 17th ACM SIGPLAN\/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2907950.2907961","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2907950.2907961","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:54:27Z","timestamp":1750208067000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2907950.2907961"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,13]]},"references-count":25,"alternative-id":["10.1145\/2907950.2907961","10.1145\/2907950"],"URL":"https:\/\/doi.org\/10.1145\/2907950.2907961","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2980930.2907961","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,6,13]]},"assertion":[{"value":"2016-06-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}