{"id":"https://openalex.org/W2132226913","doi":"https://doi.org/10.1145/1629395.1629424","title":"Tight WCRT analysis of synchronous C programs","display_name":"Tight WCRT analysis of synchronous C programs","publication_year":2009,"publication_date":"2009-10-11","ids":{"openalex":"https://openalex.org/W2132226913","doi":"https://doi.org/10.1145/1629395.1629424","mag":"2132226913"},"language":"en","primary_location":{"id":"doi:10.1145/1629395.1629424","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1629395.1629424","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://macau.uni-kiel.de/servlets/MCRFileNodeServlet/macau_derivate_00002989/tr-0912-bericht.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076621370","display_name":"Partha S. Roop","orcid":"https://orcid.org/0000-0001-9654-5678"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":true,"raw_author_name":"Partha S. Roop","raw_affiliation_strings":["The University of Auckland, Auckland, New Zealand","The University of Auckland, Auckland, New Zealand ,"],"affiliations":[{"raw_affiliation_string":"The University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]},{"raw_affiliation_string":"The University of Auckland, Auckland, New Zealand ,","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079479704","display_name":"Sidharta Andalam","orcid":"https://orcid.org/0000-0001-6660-8172"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Sidharta Andalam","raw_affiliation_strings":["The University of Auckland, Auckland, New Zealand","The University of Auckland, Auckland, New Zealand ,"],"affiliations":[{"raw_affiliation_string":"The University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]},{"raw_affiliation_string":"The University of Auckland, Auckland, New Zealand ,","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029982033","display_name":"Reinhard von Hanxleden","orcid":"https://orcid.org/0000-0001-5691-1215"},"institutions":[{"id":"https://openalex.org/I32021983","display_name":"Kiel University","ror":"https://ror.org/04v76ef78","country_code":"DE","type":"education","lineage":["https://openalex.org/I32021983"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Reinhard von Hanxleden","raw_affiliation_strings":["Christian-Albrechts-University , Kiel, Germany"],"affiliations":[{"raw_affiliation_string":"Christian-Albrechts-University , Kiel, Germany","institution_ids":["https://openalex.org/I32021983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010585759","display_name":"Simon Yuan","orcid":null},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Simon Yuan","raw_affiliation_strings":["The University of Auckland, Auckland, New Zealand","The University of Auckland, Auckland, New Zealand ,"],"affiliations":[{"raw_affiliation_string":"The University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]},{"raw_affiliation_string":"The University of Auckland, Auckland, New Zealand ,","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082890682","display_name":"Claus Traulsen","orcid":null},"institutions":[{"id":"https://openalex.org/I32021983","display_name":"Kiel University","ror":"https://ror.org/04v76ef78","country_code":"DE","type":"education","lineage":["https://openalex.org/I32021983"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Claus Traulsen","raw_affiliation_strings":["Christian-Albrechts-University , Kiel, Germany"],"affiliations":[{"raw_affiliation_string":"Christian-Albrechts-University , Kiel, Germany","institution_ids":["https://openalex.org/I32021983"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5076621370"],"corresponding_institution_ids":["https://openalex.org/I154130895"],"apc_list":null,"apc_paid":null,"fwci":3.7487,"has_fulltext":true,"cited_by_count":61,"citation_normalized_percentile":{"value":0.93718664,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"205","last_page":"214"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.646403968334198}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.646403968334198}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1145/1629395.1629424","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1629395.1629424","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systems","raw_type":"proceedings-article"},{"id":"pmh:oai:macau.uni-kiel.de:macau_mods_00001848","is_oa":true,"landing_page_url":"https://macau.uni-kiel.de/receive/macau_mods_00001848","pdf_url":"https://macau.uni-kiel.de/servlets/MCRFileNodeServlet/macau_derivate_00002989/tr-0912-bericht.pdf","source":{"id":"https://openalex.org/S4377196482","display_name":"MACAU (Kiel University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I32021983","host_organization_name":"Christian-Albrechts-Universit\u00e4t zu Kiel","host_organization_lineage":["https://openalex.org/I32021983"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"doc-type:Report"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.518.5906","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.518.5906","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://homepages.engineering.auckland.ac.nz/~roop/pub/2009/cases09.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.564.6487","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.564.6487","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://rtsys.informatik.uni-kiel.de/~biblio/downloads/papers/cases09.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.626.4400","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.626.4400","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://homepages.engineering.auckland.ac.nz/~roop/pub/2009/roop-report09.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.657.45","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.657.45","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://homepages.engineering.auckland.ac.nz/%7Epretzel/papers/cases2009-wcet.pdf","raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:macau.uni-kiel.de:macau_mods_00001848","is_oa":true,"landing_page_url":"https://macau.uni-kiel.de/receive/macau_mods_00001848","pdf_url":"https://macau.uni-kiel.de/servlets/MCRFileNodeServlet/macau_derivate_00002989/tr-0912-bericht.pdf","source":{"id":"https://openalex.org/S4377196482","display_name":"MACAU (Kiel University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I32021983","host_organization_name":"Christian-Albrechts-Universit\u00e4t zu Kiel","host_organization_lineage":["https://openalex.org/I32021983"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"doc-type:Report"},"sustainable_development_goals":[{"score":0.6499999761581421,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2132226913.pdf","grobid_xml":"https://content.openalex.org/works/W2132226913.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W258022877","https://openalex.org/W1493249179","https://openalex.org/W1503973138","https://openalex.org/W1527654363","https://openalex.org/W1560508321","https://openalex.org/W1604429416","https://openalex.org/W2007037339","https://openalex.org/W2058713130","https://openalex.org/W2076285066","https://openalex.org/W2080875873","https://openalex.org/W2097973125","https://openalex.org/W2101508170","https://openalex.org/W2109565511","https://openalex.org/W2111852001","https://openalex.org/W2112474235","https://openalex.org/W2120926795","https://openalex.org/W2122833539","https://openalex.org/W2126511047","https://openalex.org/W2131209186","https://openalex.org/W2145692503","https://openalex.org/W2151653149","https://openalex.org/W2166295031","https://openalex.org/W2179148191","https://openalex.org/W2185723255","https://openalex.org/W2187708965","https://openalex.org/W2340735175","https://openalex.org/W2462961178","https://openalex.org/W2913459036","https://openalex.org/W4244631962","https://openalex.org/W6630104300","https://openalex.org/W6636162575","https://openalex.org/W6684644128"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"Accurate":[0],"estimation":[1,103],"of":[2,6,20,43,53,61,68,72,84,104,109,153],"the":[3,27,65,82,101,105,170,173],"tick":[4,28],"length":[5,29],"a":[7,41,59,110,128],"synchronous":[8,69,111,129],"program":[9],"is":[10,136,165],"essential":[11],"for":[12,46,63,81,100,138,149,172],"efficient":[13],"and":[14,77],"predictable":[15,88],"implementations":[16],"that":[17,86,135],"are":[18,31,57,79,87],"devoid":[19],"timing":[21],"faults.":[22],"The":[23],"techniques":[24,44,62,74],"to":[25,168],"determine":[26],"statically":[30],"classified":[32],"as":[33],"worst":[34,47],"case":[35,48],"reaction":[36],"time":[37,50],"(WCRT)":[38],"analysis.":[39],"While":[40],"plethora":[42],"exist":[45],"execution":[49],"(WCET)":[51],"analysis":[52,152],"procedural":[54],"programs,":[55],"there":[56],"only":[58],"handful":[60],"determining":[64],"WCRT":[66,107,116,151],"value":[67,108],"programs.":[70],"Most":[71],"these":[73,154],"produce":[75,169],"overestimates":[76],"hence":[78],"unsuitable":[80],"design":[83],"systems":[85],"while":[89],"being":[90],"also":[91],"efficient.":[92],"In":[93],"this":[94],"paper,":[95],"we":[96,125],"present":[97,146],"an":[98,147,157],"approach":[99,148],"accurate":[102],"exact":[106],"program,":[112],"called":[113,133,160],"its":[114],"tight":[115],"value,":[117],"using":[118],"model":[119,174],"checking.":[120],"For":[121],"our":[122],"input":[123,171],"specifications":[124],"have":[126],"selected":[127],"C":[130],"based":[131],"language":[132],"PRET-C":[134],"designed":[137],"programming":[139],"Precision":[140],"Timed":[141],"(PRET)":[142],"architectures.":[143],"We":[144],"then":[145,166],"static":[150],"programs":[155],"via":[156],"intermediate":[158,163],"format":[159],"TCCFG.":[161],"This":[162],"representation":[164],"compiled":[167],"checker.":[175]},"counts_by_year":[{"year":2025,"cited_by_count":21},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":9},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}