{"id":"https://openalex.org/W2808849587","doi":"https://doi.org/10.1145/3183440.3183443","title":"Automatic verification of time behavior of programs","display_name":"Automatic verification of time behavior of programs","publication_year":2018,"publication_date":"2018-05-27","ids":{"openalex":"https://openalex.org/W2808849587","doi":"https://doi.org/10.1145/3183440.3183443","mag":"2808849587"},"language":"en","primary_location":{"id":"doi:10.1145/3183440.3183443","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3183440.3183443","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings","raw_type":"proceedings-article"},"type":"conference-paper","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/A5052445797","display_name":"Giovanni Liva","orcid":"https://orcid.org/0000-0002-9337-5762"},"institutions":[{"id":"https://openalex.org/I4210166741","display_name":"University of Klagenfurt","ror":"https://ror.org/05q9m0937","country_code":"AT","type":"education","lineage":["https://openalex.org/I4210166741"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Giovanni Liva","raw_affiliation_strings":["University of Klagenfurt, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Klagenfurt, Austria","institution_ids":["https://openalex.org/I4210166741"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5052445797"],"corresponding_institution_ids":["https://openalex.org/I4210166741"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.09480066,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"468","last_page":"471"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.6610239744186401}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6610239744186401}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3183440.3183443","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3183440.3183443","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320323031","display_name":"\u00d6sterreichische Forschungsf\u00f6rderungsgesellschaft","ror":"https://ror.org/028jc0449"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W197556432","https://openalex.org/W1556462035","https://openalex.org/W1557646685","https://openalex.org/W1714723801","https://openalex.org/W1964279773","https://openalex.org/W1965194038","https://openalex.org/W1969064066","https://openalex.org/W1986453394","https://openalex.org/W1992249863","https://openalex.org/W2000947342","https://openalex.org/W2021365718","https://openalex.org/W2026948260","https://openalex.org/W2040060046","https://openalex.org/W2048417351","https://openalex.org/W2070026284","https://openalex.org/W2082036516","https://openalex.org/W2087527532","https://openalex.org/W2097305086","https://openalex.org/W2101508170","https://openalex.org/W2107709519","https://openalex.org/W2107751709","https://openalex.org/W2116128461","https://openalex.org/W2136451344","https://openalex.org/W2156118771","https://openalex.org/W2162773911","https://openalex.org/W2188063232","https://openalex.org/W2245830543","https://openalex.org/W2410083900","https://openalex.org/W2518462874","https://openalex.org/W2655309838","https://openalex.org/W2767032326","https://openalex.org/W3151685851"],"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":{"Automatic":[0],"verification":[1,35,104],"of":[2,80,97,125,172,199,220],"software":[3],"could":[4],"save":[5],"companies":[6],"from":[7],"huge":[8],"losses":[9],"due":[10],"to":[11,18,40,87,101,116,135,139,157,183],"errors":[12,22,51,121],"in":[13,77,122,202],"their":[14],"programs.":[15,81,126],"Existing":[16],"techniques":[17,36],"prevent":[19],"and":[20,48,145,163,189,206,218],"detect":[21,118],"are":[23,37,45],"mainly":[24],"based":[25,106],"on":[26,107,149],"imprecise":[27],"heuristics":[28],"which":[29],"can":[30,49,113],"report":[31,50],"false":[32],"positives.":[33],"Formal":[34],"an":[38,155],"alternative":[39],"the":[41,72,78,92,123,150,173,197,207,212,216],"heuristic":[42],"approaches.":[43],"They":[44],"more":[46],"precise":[47],"with":[52,187],"higher":[53],"rigor.":[54],"However,":[55],"they":[56],"cannot":[57],"be":[58],"directly":[59],"applied":[60],"because":[61],"current":[62],"programming":[63],"languages":[64],"have":[65],"no":[66,83],"defined":[67,109],"semantics":[68,90,111,131],"that":[69,112,132,143,176],"specifies":[70],"how":[71],"source":[73,140,204],"code":[74,141],"is":[75,100,177],"interpreted":[76],"execution":[79],"Moreover,":[82],"existing":[84],"work":[85],"tries":[86],"develop":[88,154],"a":[89,103,108,129,137,169],"for":[91,179],"time":[93,110,119,130,151,161,174],"domain.":[94],"The":[95,192],"target":[96],"this":[98],"thesis":[99],"provide":[102],"framework":[105],"help":[114],"developers":[115],"automatically":[117,159],"related":[120],"behavior":[124,175],"We":[127,181],"define":[128],"allows":[133],"us":[134],"ascribe":[136],"meaning":[138],"statements":[142],"alter":[144],"use":[146],"time.":[147],"Based":[148],"semantics,":[152],"we":[153],"approach":[156],"(i)":[158],"assert":[160],"properties":[162],"(ii)":[164],"reverse":[165],"engineer":[166],"timed":[167],"automata,":[168],"formal":[170],"model":[171],"amenable":[178],"verification.":[180],"plan":[182],"evaluate":[184],"our":[185,200,221],"approaches":[186,201],"quantitative":[188,193],"qualitative":[190,208],"studies.":[191],"studies":[194,209],"will":[195,210],"measure":[196],"performance":[198],"open":[203],"projects":[205],"collect":[211],"developers'":[213],"feedback":[214],"about":[215],"applicability":[217],"usefulness":[219],"proposed":[222],"techniques.":[223]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}