{"id":"https://openalex.org/W1541682298","doi":"https://doi.org/10.1109/infocom.2015.7218491","title":"VeRV: A temporal and data-concerned verification framework for the vehicle bus systems","display_name":"VeRV: A temporal and data-concerned verification framework for the vehicle bus systems","publication_year":2015,"publication_date":"2015-04-01","ids":{"openalex":"https://openalex.org/W1541682298","doi":"https://doi.org/10.1109/infocom.2015.7218491","mag":"1541682298"},"language":"en","primary_location":{"id":"doi:10.1109/infocom.2015.7218491","is_oa":false,"landing_page_url":"https://doi.org/10.1109/infocom.2015.7218491","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE Conference on Computer Communications (INFOCOM)","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/A5100450353","display_name":"Shuo Zhang","orcid":"https://orcid.org/0000-0001-9617-5793"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]},{"id":"https://openalex.org/I4210110997","display_name":"Ministry of Education","ror":"https://ror.org/01xexqx38","country_code":"ME","type":"government","lineage":["https://openalex.org/I4210110997"]}],"countries":["CN","ME"],"is_corresponding":true,"raw_author_name":"Shuo Zhang","raw_affiliation_strings":["Ministry of Education, Tsinghua University Key Laboratory for Information System Security, China","Tsinghua National Laboratory for Information Science and Technology (TNList), School of Software, Tsinghua University Key Laboratory for Information System Security, Ministry of Education, China"],"affiliations":[{"raw_affiliation_string":"Ministry of Education, Tsinghua University Key Laboratory for Information System Security, China","institution_ids":["https://openalex.org/I4210110997"]},{"raw_affiliation_string":"Tsinghua National Laboratory for Information Science and Technology (TNList), School of Software, Tsinghua University Key Laboratory for Information System Security, Ministry of Education, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101510742","display_name":"Fei He","orcid":"https://orcid.org/0000-0002-0257-4177"},"institutions":[{"id":"https://openalex.org/I4210110997","display_name":"Ministry of Education","ror":"https://ror.org/01xexqx38","country_code":"ME","type":"government","lineage":["https://openalex.org/I4210110997"]},{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN","ME"],"is_corresponding":false,"raw_author_name":"Fei He","raw_affiliation_strings":["Ministry of Education, Tsinghua University Key Laboratory for Information System Security, China","Tsinghua National Laboratory for Information Science and Technology (TNList), School of Software, Tsinghua University Key Laboratory for Information System Security, Ministry of Education, China"],"affiliations":[{"raw_affiliation_string":"Ministry of Education, Tsinghua University Key Laboratory for Information System Security, China","institution_ids":["https://openalex.org/I4210110997"]},{"raw_affiliation_string":"Tsinghua National Laboratory for Information Science and Technology (TNList), School of Software, Tsinghua University Key Laboratory for Information System Security, Ministry of Education, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100846520","display_name":"Ming Gu","orcid":null},"institutions":[{"id":"https://openalex.org/I4210110997","display_name":"Ministry of Education","ror":"https://ror.org/01xexqx38","country_code":"ME","type":"government","lineage":["https://openalex.org/I4210110997"]},{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN","ME"],"is_corresponding":false,"raw_author_name":"Ming Gu","raw_affiliation_strings":["Ministry of Education, Tsinghua University Key Laboratory for Information System Security, China","Tsinghua National Laboratory for Information Science and Technology (TNList), School of Software, Tsinghua University Key Laboratory for Information System Security, Ministry of Education, China"],"affiliations":[{"raw_affiliation_string":"Ministry of Education, Tsinghua University Key Laboratory for Information System Security, China","institution_ids":["https://openalex.org/I4210110997"]},{"raw_affiliation_string":"Tsinghua National Laboratory for Information Science and Technology (TNList), School of Software, Tsinghua University Key Laboratory for Information System Security, Ministry of Education, China","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100450353"],"corresponding_institution_ids":["https://openalex.org/I4210110997","https://openalex.org/I99065089"],"apc_list":null,"apc_paid":null,"fwci":0.8629,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.81309093,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1167","last_page":"1175"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9987000226974487,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9987000226974487,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9977999925613403,"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.8058392405509949},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.7071508169174194},{"id":"https://openalex.org/keywords/system-bus","display_name":"System bus","score":0.5501691102981567},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5198388695716858},{"id":"https://openalex.org/keywords/can-bus","display_name":"CAN bus","score":0.44370871782302856},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.43927818536758423},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.41889166831970215},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.4184330105781555},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2859499454498291},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.2702866196632385},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.17715290188789368}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8058392405509949},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.7071508169174194},{"id":"https://openalex.org/C136321198","wikidata":"https://www.wikidata.org/wiki/Q2377054","display_name":"System bus","level":2,"score":0.5501691102981567},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5198388695716858},{"id":"https://openalex.org/C201762086","wikidata":"https://www.wikidata.org/wiki/Q728183","display_name":"CAN bus","level":2,"score":0.44370871782302856},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.43927818536758423},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.41889166831970215},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.4184330105781555},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2859499454498291},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.2702866196632385},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.17715290188789368},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/infocom.2015.7218491","is_oa":false,"landing_page_url":"https://doi.org/10.1109/infocom.2015.7218491","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE Conference on Computer Communications (INFOCOM)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6299999952316284,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W20649036","https://openalex.org/W1482382132","https://openalex.org/W1491593738","https://openalex.org/W1516506771","https://openalex.org/W1548312885","https://openalex.org/W1576866974","https://openalex.org/W1577117059","https://openalex.org/W1621186777","https://openalex.org/W1862182621","https://openalex.org/W2002130414","https://openalex.org/W2027769154","https://openalex.org/W2078356878","https://openalex.org/W2086878996","https://openalex.org/W2103146530","https://openalex.org/W2111907480","https://openalex.org/W2115002392","https://openalex.org/W2115716046","https://openalex.org/W2123805700","https://openalex.org/W2141950720","https://openalex.org/W2145083203","https://openalex.org/W2149827273","https://openalex.org/W2160614176","https://openalex.org/W2163304527","https://openalex.org/W2163762767","https://openalex.org/W4250353368","https://openalex.org/W6628807819","https://openalex.org/W6634531175","https://openalex.org/W6634611326","https://openalex.org/W6683332776"],"related_works":["https://openalex.org/W1974900520","https://openalex.org/W2011005780","https://openalex.org/W2371647501","https://openalex.org/W2559881466","https://openalex.org/W2379880603","https://openalex.org/W2337676448","https://openalex.org/W2354086613","https://openalex.org/W2384582979","https://openalex.org/W2352049616","https://openalex.org/W2241256031"],"abstract_inverted_index":{"As":[0],"a":[1,94,111,120],"part":[2],"of":[3,19,34,46,102,134],"the":[4,9,20,31,35,39,56,64,77,81,97,130],"international":[5],"standard":[6],"IEC":[7],"61375,":[8],"multifunction":[10],"vehicle":[11,65],"bus":[12,66],"(MVB)":[13],"has":[14],"been":[15],"used":[16],"in":[17,118,123],"most":[18],"modern":[21],"train":[22,114],"control":[23],"systems.":[24,67],"It":[25],"is":[26,73,86],"highly":[27],"desirable":[28],"to":[29,75,91,110],"check":[30],"temporal":[32,58],"properties":[33],"data":[36],"transmitted":[37],"on":[38,50],"bus.":[40],"However,":[41],"we":[42],"are":[43],"not":[44],"aware":[45],"any":[47],"published":[48],"work":[49],"this":[51,124],"problem.":[52],"We":[53,105],"proposed":[54,74],"VeRV,":[55],"first":[57],"and":[59,80,89,116,132],"data-concerned":[60],"verification":[61],"framework":[62],"for":[63],"A":[68],"domain-specific":[69],"language,":[70],"called":[71],"VeSpec,":[72],"specify":[76],"packet":[78],"formats":[79],"desired":[82],"properties.":[83],"The":[84,126],"language":[85],"expressive,":[87],"modular":[88],"easy":[90],"use.":[92],"Given":[93],"VeSpec":[95],"script,":[96],"VeRV":[98],"allows":[99],"automatic":[100],"generation":[101],"runtime":[103],"analyzer.":[104],"have":[106],"applied":[107],"our":[108,135],"technique":[109],"real":[112,121],"tube":[113],"system":[115],"succeeded":[117],"diagnosing":[119],"failure":[122],"system.":[125],"industry":[127],"application":[128],"illustrates":[129],"effectiveness":[131],"efficiency":[133],"technique.":[136]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2}],"updated_date":"2026-01-13T01:12:25.745995","created_date":"2025-10-10T00:00:00"}