{"id":"https://openalex.org/W3036403349","doi":"https://doi.org/10.23919/date48585.2020.9116543","title":"Verification Runtime Analysis: Get the Most Out of Partial Verification","display_name":"Verification Runtime Analysis: Get the Most Out of Partial Verification","publication_year":2020,"publication_date":"2020-03-01","ids":{"openalex":"https://openalex.org/W3036403349","doi":"https://doi.org/10.23919/date48585.2020.9116543","mag":"3036403349"},"language":"en","primary_location":{"id":"doi:10.23919/date48585.2020.9116543","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date48585.2020.9116543","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)","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/A5015676659","display_name":"Martin Ring","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Martin Ring","raw_affiliation_strings":["Cyber-Physical Systems, DFKI,Bremen,Germany","Cyber-Physical Systems, DFKI, Bremen, Germany"],"affiliations":[{"raw_affiliation_string":"Cyber-Physical Systems, DFKI,Bremen,Germany","institution_ids":[]},{"raw_affiliation_string":"Cyber-Physical Systems, DFKI, Bremen, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021656188","display_name":"Fritjof Bornebusch","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fritjof Bornebusch","raw_affiliation_strings":["Cyber-Physical Systems, DFKI,Bremen,Germany","Cyber-Physical Systems, DFKI, Bremen, Germany"],"affiliations":[{"raw_affiliation_string":"Cyber-Physical Systems, DFKI,Bremen,Germany","institution_ids":[]},{"raw_affiliation_string":"Cyber-Physical Systems, DFKI, Bremen, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081578222","display_name":"Christoph L\u00fcth","orcid":"https://orcid.org/0000-0002-1121-398X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Christoph Luth","raw_affiliation_strings":["Cyber-Physical Systems, DFKI,Bremen,Germany","Cyber-Physical Systems, DFKI, Bremen, Germany"],"affiliations":[{"raw_affiliation_string":"Cyber-Physical Systems, DFKI,Bremen,Germany","institution_ids":[]},{"raw_affiliation_string":"Cyber-Physical Systems, DFKI, Bremen, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004214923","display_name":"Robert Wille","orcid":"https://orcid.org/0000-0002-4993-7860"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Robert Wille","raw_affiliation_strings":["Cyber-Physical Systems, DFKI,Bremen,Germany","Cyber-Physical Systems, DFKI, Bremen, Germany"],"affiliations":[{"raw_affiliation_string":"Cyber-Physical Systems, DFKI,Bremen,Germany","institution_ids":[]},{"raw_affiliation_string":"Cyber-Physical Systems, DFKI, Bremen, Germany","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071742136","display_name":"Rolf Drechsler","orcid":"https://orcid.org/0000-0002-9872-1740"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rolf Drechsler","raw_affiliation_strings":["Cyber-Physical Systems, DFKI,Bremen,Germany","Cyber-Physical Systems, DFKI, Bremen, Germany"],"affiliations":[{"raw_affiliation_string":"Cyber-Physical Systems, DFKI,Bremen,Germany","institution_ids":[]},{"raw_affiliation_string":"Cyber-Physical Systems, DFKI, Bremen, Germany","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5015676659"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2814,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.61117414,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"873","last_page":"878"},"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.9994000196456909,"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.9991999864578247,"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/runtime-verification","display_name":"Runtime verification","score":0.8994650840759277},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.8843159079551697},{"id":"https://openalex.org/keywords/high-level-verification","display_name":"High-level verification","score":0.8475840091705322},{"id":"https://openalex.org/keywords/intelligent-verification","display_name":"Intelligent verification","score":0.8314410448074341},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8140699863433838},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.6914969682693481},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.6815739870071411},{"id":"https://openalex.org/keywords/verification","display_name":"Verification","score":0.6453659534454346},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5202594995498657},{"id":"https://openalex.org/keywords/verification-and-validation-of-computer-simulation-models","display_name":"Verification and validation of computer simulation models","score":0.49002018570899963},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.4587853252887726},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.44014328718185425},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2902398705482483},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.10649549961090088},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.09056127071380615},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.07825419306755066},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07635509967803955}],"concepts":[{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.8994650840759277},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.8843159079551697},{"id":"https://openalex.org/C187250869","wikidata":"https://www.wikidata.org/wiki/Q5754573","display_name":"High-level verification","level":5,"score":0.8475840091705322},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.8314410448074341},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8140699863433838},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.6914969682693481},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.6815739870071411},{"id":"https://openalex.org/C142284323","wikidata":"https://www.wikidata.org/wiki/Q7921323","display_name":"Verification","level":5,"score":0.6453659534454346},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5202594995498657},{"id":"https://openalex.org/C126433048","wikidata":"https://www.wikidata.org/wiki/Q7921324","display_name":"Verification and validation of computer simulation models","level":2,"score":0.49002018570899963},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4587853252887726},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.44014328718185425},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2902398705482483},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.10649549961090088},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.09056127071380615},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.07825419306755066},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07635509967803955},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/date48585.2020.9116543","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date48585.2020.9116543","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.47999998927116394,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1518705996","https://openalex.org/W1579437898","https://openalex.org/W1583008453","https://openalex.org/W1758803295","https://openalex.org/W1826753560","https://openalex.org/W1984836098","https://openalex.org/W2034581485","https://openalex.org/W2036802481","https://openalex.org/W2040144785","https://openalex.org/W2045109907","https://openalex.org/W2073199196","https://openalex.org/W2102315361","https://openalex.org/W2119464724","https://openalex.org/W2155180508","https://openalex.org/W2164655924","https://openalex.org/W2396048394","https://openalex.org/W2409045768","https://openalex.org/W2472960084","https://openalex.org/W2528713792","https://openalex.org/W2736336393","https://openalex.org/W2794415921","https://openalex.org/W2946380010","https://openalex.org/W2963014601","https://openalex.org/W3147466665","https://openalex.org/W4231708524","https://openalex.org/W6634949822"],"related_works":["https://openalex.org/W3120172095","https://openalex.org/W2325633191","https://openalex.org/W1563456403","https://openalex.org/W3036403349","https://openalex.org/W2355428260","https://openalex.org/W1562499525","https://openalex.org/W2528673213","https://openalex.org/W1542124114","https://openalex.org/W2106507440","https://openalex.org/W2460867013"],"abstract_inverted_index":{"The":[0,26],"design":[1],"of":[2,93,148],"modern":[3],"systems":[4],"has":[5,104],"reached":[6],"a":[7,76,138],"complexity":[8],"which":[9,108],"makes":[10],"it":[11],"inevitable":[12],"to":[13,19,41,51,67,90,110,114],"apply":[14],"verification":[15,27,70,95,116,140],"methods":[16,28],"in":[17,75,86,112],"order":[18,113],"guarantee":[20],"its":[21],"correct":[22],"and":[23,60],"safe":[24],"execution.":[25],"frequently":[29],"produce":[30],"proof":[31],"obligations":[32],"that":[33],"can":[34],"not":[35],"be":[36,65,83],"solved":[37],"any":[38],"more":[39],"due":[40],"the":[42,54,69,79,91,124,146],"huge":[43],"search":[44,55],"space.":[45],"However,":[46,98],"by":[47,136],"setting":[48],"enough":[49],"variables":[50,109],"fixed":[52],"values,":[53],"space":[56],"is":[57],"obviously":[58],"reduced":[59],"solving":[61],"engines":[62],"eventually":[63],"may":[64,81],"able":[66],"complete":[68],"task.":[71],"Although":[72],"this":[73,134,149],"results":[74,80],"partial":[77],"verification,":[78],"still":[82,127],"valuable":[84],"\u2014":[85],"particular":[87],"as":[88,118,120],"opposed":[89],"alternative":[92],"no":[94,101],"at":[96,123],"all.":[97],"so":[99],"far":[100],"systematic":[102],"investigation":[103],"been":[105],"conducted":[106],"on":[107],"fix":[111],"reduce":[115],"runtime":[117,141],"much":[119],"possible":[121],"while,":[122],"same":[125],"time,":[126],"getting":[128],"most":[129],"coverage.":[130],"This":[131],"paper":[132],"addresses":[133],"question":[135],"proposing":[137],"corresponding":[139],"analysis.":[142],"Experimental":[143],"evaluations":[144],"confirm":[145],"potential":[147],"approach.":[150]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}