{"id":"https://openalex.org/W2142820623","doi":"https://doi.org/10.1007/s10270-010-0161-0","title":"Beyond loop bounds: comparing annotation languages for worst-case execution time analysis","display_name":"Beyond loop bounds: comparing annotation languages for worst-case execution time analysis","publication_year":2010,"publication_date":"2010-04-08","ids":{"openalex":"https://openalex.org/W2142820623","doi":"https://doi.org/10.1007/s10270-010-0161-0","mag":"2142820623"},"language":"en","primary_location":{"id":"doi:10.1007/s10270-010-0161-0","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-010-0161-0","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-010-0161-0.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software & Systems Modeling","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10270-010-0161-0.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090186060","display_name":"Raimund Kirner","orcid":"https://orcid.org/0000-0003-3921-6813"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Raimund Kirner","raw_affiliation_strings":["Institute of Computer Engineering, Vienna University of Technology, Vienna, Austria","[Institute of Computer Engineering, Vienna University of Technology, Vienna, Austria]"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Engineering, Vienna University of Technology, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"[Institute of Computer Engineering, Vienna University of Technology, Vienna, Austria]","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048747000","display_name":"Jens Knoop","orcid":null},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Jens Knoop","raw_affiliation_strings":["Institute of Computer Languages, Vienna University of Technology, Vienna, Austria","Institute of Computer Languages Vienna University of Technology Vienna Austria"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Languages, Vienna University of Technology, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"Institute of Computer Languages Vienna University of Technology Vienna Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016525028","display_name":"Adrian Prantl","orcid":null},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Adrian Prantl","raw_affiliation_strings":["Institute of Computer Languages, Vienna University of Technology, Vienna, Austria","Institute of Computer Languages Vienna University of Technology Vienna Austria"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Languages, Vienna University of Technology, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"Institute of Computer Languages Vienna University of Technology Vienna Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063665777","display_name":"Markus Schordan","orcid":"https://orcid.org/0000-0002-9571-5994"},"institutions":[{"id":"https://openalex.org/I121760703","display_name":"University of Applied Sciences Technikum Wien","ror":"https://ror.org/04jsx0x49","country_code":"AT","type":"education","lineage":["https://openalex.org/I121760703"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Markus Schordan","raw_affiliation_strings":["University of Applied Sciences Technikum Wien, Vienna, Austria","University of Applied Sciences \u2013 Technikum Wien, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"University of Applied Sciences Technikum Wien, Vienna, Austria","institution_ids":["https://openalex.org/I121760703"]},{"raw_affiliation_string":"University of Applied Sciences \u2013 Technikum Wien, Vienna, Austria","institution_ids":["https://openalex.org/I121760703"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077763608","display_name":"Albrecht Kadlec","orcid":null},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Albrecht Kadlec","raw_affiliation_strings":["Institute of Computer Engineering, Vienna University of Technology, Vienna, Austria","[Institute of Computer Engineering, Vienna University of Technology, Vienna, Austria]"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Engineering, Vienna University of Technology, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"[Institute of Computer Engineering, Vienna University of Technology, Vienna, Austria]","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5090186060"],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":1.5161,"has_fulltext":true,"cited_by_count":16,"citation_normalized_percentile":{"value":0.84485164,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"10","issue":"3","first_page":"411","last_page":"437"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9997000098228455,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9997000098228455,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.975600004196167,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9729999899864197,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.8790743350982666},{"id":"https://openalex.org/keywords/generality","display_name":"Generality","score":0.6642168760299683},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.5968203544616699},{"id":"https://openalex.org/keywords/annotation","display_name":"Annotation","score":0.5825740694999695},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.547006368637085},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4983248710632324},{"id":"https://openalex.org/keywords/avionics","display_name":"Avionics","score":0.4926069378852844},{"id":"https://openalex.org/keywords/usability","display_name":"Usability","score":0.4649587571620941},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.463683545589447},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.42489269375801086},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.33351361751556396},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.17249420285224915},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15750804543495178}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8790743350982666},{"id":"https://openalex.org/C2780767217","wikidata":"https://www.wikidata.org/wiki/Q5532421","display_name":"Generality","level":2,"score":0.6642168760299683},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.5968203544616699},{"id":"https://openalex.org/C2776321320","wikidata":"https://www.wikidata.org/wiki/Q857525","display_name":"Annotation","level":2,"score":0.5825740694999695},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.547006368637085},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4983248710632324},{"id":"https://openalex.org/C15792166","wikidata":"https://www.wikidata.org/wiki/Q221329","display_name":"Avionics","level":2,"score":0.4926069378852844},{"id":"https://openalex.org/C170130773","wikidata":"https://www.wikidata.org/wiki/Q216378","display_name":"Usability","level":2,"score":0.4649587571620941},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.463683545589447},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.42489269375801086},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33351361751556396},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.17249420285224915},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15750804543495178},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10270-010-0161-0","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-010-0161-0","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-010-0161-0.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software & Systems Modeling","raw_type":"journal-article"},{"id":"pmh:oai:uhra.herts.ac.uk:2299/7946","is_oa":true,"landing_page_url":"http://hdl.handle.net/2299/7946","pdf_url":"https://uhra.herts.ac.uk/id/eprint/3137/2/Kirner_loop_bounds.pdf","source":{"id":"https://openalex.org/S4306400241","display_name":"University of Hertfordshire Research Archive (University of Hertfordshire)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I141584323","host_organization_name":"University of Hertfordshire","host_organization_lineage":["https://openalex.org/I141584323"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"doi:10.1007/s10270-010-0161-0","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-010-0161-0","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-010-0161-0.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software & Systems Modeling","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.5600000023841858}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2142820623.pdf","grobid_xml":"https://content.openalex.org/works/W2142820623.grobid-xml"},"referenced_works_count":54,"referenced_works":["https://openalex.org/W55841110","https://openalex.org/W97771631","https://openalex.org/W148396834","https://openalex.org/W624613934","https://openalex.org/W1483300921","https://openalex.org/W1489025528","https://openalex.org/W1491178396","https://openalex.org/W1499210710","https://openalex.org/W1540110476","https://openalex.org/W1604756673","https://openalex.org/W1963741109","https://openalex.org/W1981100351","https://openalex.org/W1985982889","https://openalex.org/W2006053872","https://openalex.org/W2015509025","https://openalex.org/W2024800288","https://openalex.org/W2042052412","https://openalex.org/W2052271830","https://openalex.org/W2067836954","https://openalex.org/W2076285066","https://openalex.org/W2087629375","https://openalex.org/W2088017390","https://openalex.org/W2094926594","https://openalex.org/W2097603959","https://openalex.org/W2098609780","https://openalex.org/W2108748002","https://openalex.org/W2111706174","https://openalex.org/W2113488668","https://openalex.org/W2113535112","https://openalex.org/W2114067856","https://openalex.org/W2119179558","https://openalex.org/W2121598699","https://openalex.org/W2122045057","https://openalex.org/W2127400362","https://openalex.org/W2129414328","https://openalex.org/W2130133810","https://openalex.org/W2135532362","https://openalex.org/W2138952175","https://openalex.org/W2144983243","https://openalex.org/W2145105471","https://openalex.org/W2151372866","https://openalex.org/W2156832152","https://openalex.org/W2160384015","https://openalex.org/W2163529295","https://openalex.org/W2171518785","https://openalex.org/W2335345028","https://openalex.org/W2338179497","https://openalex.org/W2465315152","https://openalex.org/W2596007508","https://openalex.org/W2915227566","https://openalex.org/W2987907651","https://openalex.org/W3146075203","https://openalex.org/W4210905120","https://openalex.org/W4251912342"],"related_works":["https://openalex.org/W2045049461","https://openalex.org/W4381094582","https://openalex.org/W1978893398","https://openalex.org/W1977906818","https://openalex.org/W2201908702","https://openalex.org/W2369625323","https://openalex.org/W2364579609","https://openalex.org/W1522139108","https://openalex.org/W2353528968","https://openalex.org/W2032776242"],"abstract_inverted_index":{"Worst-case":[0],"execution":[1,17],"time":[2,15],"(WCET)":[3],"analysis":[4,59,212],"is":[5,25,193],"concerned":[6],"with":[7,41,163],"computing":[8],"a":[9,19,62,97,166,173,198,207],"precise-as-possible":[10],"bound":[11],"for":[12,27,93,105,151],"the":[13,16,35,42,53,86,94,121,126,144,152,177,180],"maximum":[14],"of":[18,45,67,80,96,100,113,125,168,176,179,201,210],"program":[20,137],"can":[21],"take.":[22],"This":[23,189],"information":[24],"indispensable":[26],"developing":[28],"safety-critical":[29],"real-time":[30],"systems,":[31],"e.":[32],"g.,":[33],"in":[34,52,71,222],"avionics":[36],"and":[37,50,55,64,69,73,78,82,85,103,111,116,123,135,156,161,195,214,220,224],"automotive":[38],"fields.":[39],"Starting":[40],"initial":[43],"works":[44],"Chen,":[46],"Mok,":[47],"Puschner,":[48],"Shaw,":[49],"others":[51],"mid":[54],"late":[56],"1980s,":[57],"WCET":[58,106,211],"turned":[60],"into":[61],"well-established":[63],"vibrant":[65],"field":[66],"research":[68],"development":[70,95],"academia":[72,223],"industry.":[74,225],"The":[75,108],"increasing":[76],"number":[77],"diversity":[79],"hardware":[81],"software":[83],"platforms":[84],"ongoing":[87],"rapid":[88],"technological":[89],"advancement":[90],"became":[91],"drivers":[92],"wide":[98],"array":[99],"distinct":[101],"methods":[102,115,213],"tools":[104,117,215],"analysis.":[107],"precision,":[109],"generality,":[110],"efficiency":[112],"these":[114],"depend":[118],"much":[119],"on":[120],"expressiveness":[122],"usability":[124],"annotation":[127,145],"languages":[128,146],"that":[129,216],"are":[130],"used":[131,221],"to":[132,165,197],"describe":[133],"feasible":[134],"infeasible":[136],"paths.":[138],"In":[139],"this":[140],"article":[141],"we":[142,148,171,185],"survey":[143,209],"which":[147],"consider":[149],"formative":[150],"field.":[153],"By":[154],"investigating":[155],"comparing":[157],"their":[158],"individual":[159],"strengths":[160],"limitations":[162],"respect":[164],"set":[167],"pivotal":[169],"criteria,":[170],"provide":[172,206],"coherent":[174],"overview":[175],"state":[178],"art.":[181],"Identifying":[182],"open":[183],"issues,":[184],"encourage":[186],"further":[187],"research.":[188],"way,":[190],"our":[191],"approach":[192,200],"orthogonal":[194],"complementary":[196],"recent":[199],"Wilhelm":[202],"et":[203],"al.":[204],"who":[205],"thorough":[208],"have":[217],"been":[218],"developed":[219]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":4}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}