{"id":"https://openalex.org/W2113627877","doi":"https://doi.org/10.1109/samos.2011.6045462","title":"Fully-automatic derivation of exact program-flow constraints for a tighter worst-case execution-time analysis","display_name":"Fully-automatic derivation of exact program-flow constraints for a tighter worst-case execution-time analysis","publication_year":2011,"publication_date":"2011-07-01","ids":{"openalex":"https://openalex.org/W2113627877","doi":"https://doi.org/10.1109/samos.2011.6045462","mag":"2113627877"},"language":"en","primary_location":{"id":"doi:10.1109/samos.2011.6045462","is_oa":false,"landing_page_url":"https://doi.org/10.1109/samos.2011.6045462","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056316334","display_name":"Amine Marref","orcid":null},"institutions":[{"id":"https://openalex.org/I199693650","display_name":"Umm al-Qura University","ror":"https://ror.org/01xjqrm90","country_code":"SA","type":"education","lineage":["https://openalex.org/I199693650"]}],"countries":["SA"],"is_corresponding":true,"raw_author_name":"Amine Marref","raw_affiliation_strings":["Department of Computer Science, Umm Al-Qura University, Makkah, Saudi Arabia","[Department of Computer Science, Umm Al-Qura University, Makkah, Saudi Arabia]"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Umm Al-Qura University, Makkah, Saudi Arabia","institution_ids":["https://openalex.org/I199693650"]},{"raw_affiliation_string":"[Department of Computer Science, Umm Al-Qura University, Makkah, Saudi Arabia]","institution_ids":["https://openalex.org/I199693650"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5056316334"],"corresponding_institution_ids":["https://openalex.org/I199693650"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.14593872,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"42","issue":null,"first_page":"200","last_page":"208"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"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"}},"topics":[{"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9901000261306763,"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.8893399238586426},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8459197282791138},{"id":"https://openalex.org/keywords/worst-case-execution-time","display_name":"Worst-case execution time","score":0.7184971570968628},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.6032080054283142},{"id":"https://openalex.org/keywords/information-flow","display_name":"Information flow","score":0.5612688064575195},{"id":"https://openalex.org/keywords/execution-time","display_name":"Execution time","score":0.5597718954086304},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.5487589836120605},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5383731722831726},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.5300326943397522},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.482891321182251},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.446916401386261},{"id":"https://openalex.org/keywords/toolchain","display_name":"Toolchain","score":0.4468454420566559},{"id":"https://openalex.org/keywords/data-flow-analysis","display_name":"Data-flow analysis","score":0.4465321898460388},{"id":"https://openalex.org/keywords/static-timing-analysis","display_name":"Static timing analysis","score":0.4292258620262146},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.42032352089881897},{"id":"https://openalex.org/keywords/control-flow-graph","display_name":"Control flow graph","score":0.41879045963287354},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.37511569261550903},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.14047449827194214},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.12596139311790466}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8893399238586426},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8459197282791138},{"id":"https://openalex.org/C200130814","wikidata":"https://www.wikidata.org/wiki/Q362858","display_name":"Worst-case execution time","level":3,"score":0.7184971570968628},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.6032080054283142},{"id":"https://openalex.org/C2779136372","wikidata":"https://www.wikidata.org/wiki/Q10283002","display_name":"Information flow","level":2,"score":0.5612688064575195},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.5597718954086304},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5487589836120605},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5383731722831726},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.5300326943397522},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.482891321182251},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.446916401386261},{"id":"https://openalex.org/C2777062904","wikidata":"https://www.wikidata.org/wiki/Q545406","display_name":"Toolchain","level":3,"score":0.4468454420566559},{"id":"https://openalex.org/C88468194","wikidata":"https://www.wikidata.org/wiki/Q1172416","display_name":"Data-flow analysis","level":3,"score":0.4465321898460388},{"id":"https://openalex.org/C93682380","wikidata":"https://www.wikidata.org/wiki/Q2025226","display_name":"Static timing analysis","level":2,"score":0.4292258620262146},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.42032352089881897},{"id":"https://openalex.org/C27458966","wikidata":"https://www.wikidata.org/wiki/Q1187693","display_name":"Control flow graph","level":2,"score":0.41879045963287354},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.37511569261550903},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.14047449827194214},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.12596139311790466},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/samos.2011.6045462","is_oa":false,"landing_page_url":"https://doi.org/10.1109/samos.2011.6045462","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.7599999904632568}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W97771631","https://openalex.org/W1540110476","https://openalex.org/W1639032689","https://openalex.org/W1727153005","https://openalex.org/W1797762004","https://openalex.org/W1966698619","https://openalex.org/W1985982889","https://openalex.org/W2006053872","https://openalex.org/W2014896867","https://openalex.org/W2032094184","https://openalex.org/W2076285066","https://openalex.org/W2103940733","https://openalex.org/W2105550630","https://openalex.org/W2109064399","https://openalex.org/W2110711874","https://openalex.org/W2126160338","https://openalex.org/W2126302975","https://openalex.org/W2129538349","https://openalex.org/W2154158220","https://openalex.org/W2158882992","https://openalex.org/W2166559141","https://openalex.org/W2336259629","https://openalex.org/W2520858206","https://openalex.org/W2904250082","https://openalex.org/W3023540311","https://openalex.org/W6603944487","https://openalex.org/W6632511724","https://openalex.org/W6678934100","https://openalex.org/W6683462695","https://openalex.org/W6684588752"],"related_works":["https://openalex.org/W2151163382","https://openalex.org/W1999711970","https://openalex.org/W2162436812","https://openalex.org/W1551942899","https://openalex.org/W1968803687","https://openalex.org/W4256382613","https://openalex.org/W3168189449","https://openalex.org/W42897653","https://openalex.org/W2166895275","https://openalex.org/W4246491533"],"abstract_inverted_index":{"Obtaining":[0],"tight":[1],"worst-case":[2],"execution-time":[3],"(WCET)":[4],"estimations":[5,13,22,103],"of":[6,19,67,72],"real-time":[7],"tasks":[8],"is":[9,24,62],"crucial":[10],"since":[11],"overly-pessimistic":[12],"are":[14,80],"deemed":[15],"impractical.":[16],"One":[17],"way":[18],"making":[20],"WCET":[21,58,102],"tighter":[23],"to":[25,55,75,83,87],"incorporate":[26],"more":[27],"program-flow":[28,53],"information":[29,54,61],"e.g.,":[30],"context-sensitive":[31],"loop":[32],"bounds,":[33],"infeasible-path":[34],"and":[35,44,70],"same-path":[36],"information,":[37],"etc.":[38],"In":[39],"this":[40],"paper":[41],"we":[42],"present":[43],"evaluate":[45],"a":[46,65,84,105],"completely":[47],"automatic":[48],"analysis":[49],"that":[50,94],"dynamically":[51],"derives":[52],"use":[56],"in":[57,101],"analysis.":[59],"Flow":[60],"derived":[63],"by":[64],"combination":[66],"test-data":[68],"generation":[69],"parsing":[71],"program-execution":[73],"traces":[74],"obtain":[76],"flow-fact":[77],"hypotheses":[78],"which":[79],"then":[81],"fed":[82],"model":[85],"checker":[86],"establish":[88],"their":[89],"correctness.":[90],"Experimental":[91],"evaluation":[92],"shows":[93],"our":[95],"method":[96],"help":[97],"achieve":[98],"considerable":[99],"tightness":[100],"at":[104],"manageable":[106],"cost.":[107]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}