{"id":"https://openalex.org/W2102818992","doi":"https://doi.org/10.1109/csndsp16145.2010.5580386","title":"Intra-vehicular verification and control: A two-pronged approach","display_name":"Intra-vehicular verification and control: A two-pronged approach","publication_year":2010,"publication_date":"2010-07-01","ids":{"openalex":"https://openalex.org/W2102818992","doi":"https://doi.org/10.1109/csndsp16145.2010.5580386","mag":"2102818992"},"language":"en","primary_location":{"id":"doi:10.1109/csndsp16145.2010.5580386","is_oa":false,"landing_page_url":"https://doi.org/10.1109/csndsp16145.2010.5580386","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 7th International Symposium on Communication Systems, Networks & Digital Signal Processing (CSNDSP 2010)","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/A5062530460","display_name":"Atif Alvi","orcid":"https://orcid.org/0000-0003-4578-1018"},"institutions":[{"id":"https://openalex.org/I207789805","display_name":"Lahore University of Management Sciences","ror":"https://ror.org/05b5x4a35","country_code":"PK","type":"education","lineage":["https://openalex.org/I207789805"]}],"countries":["PK"],"is_corresponding":true,"raw_author_name":"Atif Alvi","raw_affiliation_strings":["Computer Science Department, Lahore University of Management Sciences, Pakistan","Computer Science Dept., Lahore University of Management Sciences, Pakistan"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, Lahore University of Management Sciences, Pakistan","institution_ids":["https://openalex.org/I207789805"]},{"raw_affiliation_string":"Computer Science Dept., Lahore University of Management Sciences, Pakistan","institution_ids":["https://openalex.org/I207789805"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110244397","display_name":"David Greaves","orcid":null},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"David Greaves","raw_affiliation_strings":["Computer Laboratory, University of Cambridge, UK","Computer Laboratory , University of Cambridge , UK"],"affiliations":[{"raw_affiliation_string":"Computer Laboratory, University of Cambridge, UK","institution_ids":["https://openalex.org/I241749"]},{"raw_affiliation_string":"Computer Laboratory , University of Cambridge , UK","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077619272","display_name":"Rashid Mehmood","orcid":"https://orcid.org/0000-0002-4997-5322"},"institutions":[{"id":"https://openalex.org/I39586589","display_name":"Swansea University","ror":"https://ror.org/053fq8t95","country_code":"GB","type":"education","lineage":["https://openalex.org/I39586589"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Rashid Mehmood","raw_affiliation_strings":["School of Engineering, University of Swansea, UK"],"affiliations":[{"raw_affiliation_string":"School of Engineering, University of Swansea, UK","institution_ids":["https://openalex.org/I39586589"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5062530460"],"corresponding_institution_ids":["https://openalex.org/I207789805"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.13674204,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"401","last_page":"405"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9882000088691711,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9882000088691711,"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/T10761","display_name":"Vehicular Ad Hoc Networks (VANETs)","score":0.9866999983787537,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9865000247955322,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.7765562534332275},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7552481293678284},{"id":"https://openalex.org/keywords/compatibility","display_name":"Compatibility (geochemistry)","score":0.6444207429885864},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.6162281036376953},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5629340410232544},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.49226537346839905},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.4388728141784668},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.42967498302459717},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.18623462319374084}],"concepts":[{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.7765562534332275},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7552481293678284},{"id":"https://openalex.org/C2778648169","wikidata":"https://www.wikidata.org/wiki/Q967768","display_name":"Compatibility (geochemistry)","level":2,"score":0.6444207429885864},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.6162281036376953},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5629340410232544},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.49226537346839905},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.4388728141784668},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.42967498302459717},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.18623462319374084},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"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/C42360764","wikidata":"https://www.wikidata.org/wiki/Q83588","display_name":"Chemical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/csndsp16145.2010.5580386","is_oa":false,"landing_page_url":"https://doi.org/10.1109/csndsp16145.2010.5580386","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 7th International Symposium on Communication Systems, Networks & Digital Signal Processing (CSNDSP 2010)","raw_type":"proceedings-article"},{"id":"pmh:oai:eprints.hud.ac.uk:15718","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306401852","display_name":"University of Huddersfield Repository (University of Huddersfield)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I133837150","host_organization_name":"University of Huddersfield","host_organization_lineage":["https://openalex.org/I133837150"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"},{"id":"pmh:oai:eprints.hud.ac.uk:15694","is_oa":false,"landing_page_url":"http://eprints.hud.ac.uk/id/eprint/15694/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401852","display_name":"University of Huddersfield Repository (University of Huddersfield)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I133837150","host_organization_name":"University of Huddersfield","host_organization_lineage":["https://openalex.org/I133837150"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4699999988079071,"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W32021655","https://openalex.org/W136721492","https://openalex.org/W387168707","https://openalex.org/W560348829","https://openalex.org/W1496559673","https://openalex.org/W1522368393","https://openalex.org/W1529522905","https://openalex.org/W1531999607","https://openalex.org/W1536826708","https://openalex.org/W1540722561","https://openalex.org/W1549940914","https://openalex.org/W1598036937","https://openalex.org/W1604460735","https://openalex.org/W1654805921","https://openalex.org/W1903069034","https://openalex.org/W1983505587","https://openalex.org/W1994302059","https://openalex.org/W1996139306","https://openalex.org/W2002454301","https://openalex.org/W2019570546","https://openalex.org/W2024844327","https://openalex.org/W2031352156","https://openalex.org/W2063015833","https://openalex.org/W2068563976","https://openalex.org/W2101274299","https://openalex.org/W2103427191","https://openalex.org/W2108134421","https://openalex.org/W2108229894","https://openalex.org/W2108999965","https://openalex.org/W2124790413","https://openalex.org/W2128026023","https://openalex.org/W2128579771","https://openalex.org/W2130210245","https://openalex.org/W2130843923","https://openalex.org/W2131881585","https://openalex.org/W2151878566","https://openalex.org/W2160632926","https://openalex.org/W2163006843","https://openalex.org/W2163642647","https://openalex.org/W2178163631","https://openalex.org/W2620539737","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2390255551","https://openalex.org/W2367511445","https://openalex.org/W2381930792","https://openalex.org/W2358901819","https://openalex.org/W745733672","https://openalex.org/W2983545107","https://openalex.org/W2389102290","https://openalex.org/W2094745766","https://openalex.org/W233026431","https://openalex.org/W2379069623"],"abstract_inverted_index":{"Modern":[0],"vehicles":[1],"are":[2],"equipped":[3],"with":[4,10,40,62,95],"hundreds":[5],"of":[6,20,28,59,65],"embedded":[7],"networked":[8],"components":[9,22,98],"computational,":[11],"sensory":[12],"and":[13,18,31,47,104],"actuation":[14],"powers.":[15],"Reliable":[16],"functioning":[17],"interaction":[19],"these":[21],"is":[23],"vital":[24],"for":[25],"the":[26,29,41,51,63,66,69,92],"safety":[27],"vehicle":[30],"its":[32],"passengers.":[33],"We":[34],"present":[35],"an":[36,86],"architecture":[37],"that":[38],"deals":[39],"intra-vehicular":[42],"network":[43,102,111],"at":[44],"both":[45],"component":[46,52,61],"system":[48,70],"levels.":[49],"At":[50,68],"level,":[53,71],"our":[54],"technique":[55],"formally":[56],"verifies":[57],"compatibility":[58],"each":[60],"rest":[64],"system.":[67],"we":[72,90],"provide":[73],"means":[74],"to":[75,109],"define":[76,110],"overall":[77],"behaviour":[78,112],"by":[79],"using":[80],"first":[81],"order":[82],"logic":[83],"rules":[84],"in":[85,99],"ontological":[87],"space.":[88],"Overall,":[89],"eliminate":[91],"hazards":[93],"associated":[94],"integrating":[96],"heterogeneous":[97],"a":[100,106],"car":[101],"domain":[103],"enable":[105],"knowledgeable":[107],"user":[108],"easily.":[113]},"counts_by_year":[{"year":2019,"cited_by_count":9}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}