{"id":"https://openalex.org/W4415060223","doi":"https://doi.org/10.1007/978-3-032-08049-3_7","title":"Corroborative V&V for\u00a0Autonomous Systems: Integrating Evidence and\u00a0Discrepancy Analysis for\u00a0Safety Assurance","display_name":"Corroborative V&V for\u00a0Autonomous Systems: Integrating Evidence and\u00a0Discrepancy Analysis for\u00a0Safety Assurance","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4415060223","doi":"https://doi.org/10.1007/978-3-032-08049-3_7"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-032-08049-3_7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-032-08049-3_7","pdf_url":null,"source":{"id":"https://openalex.org/S2764900261","display_name":"Communications in computer and information science","issn_l":"1865-0929","issn":["1865-0929","1865-0937"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications in Computer and Information Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.manchester.ac.uk/en/publications/94ced9aa-60f7-49e9-805d-50c4bfcff287","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066751702","display_name":"Dhaminda B. Abeywickrama","orcid":"https://orcid.org/0000-0002-4423-0284"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Dhaminda\u00a0B. Abeywickrama","raw_affiliation_strings":["Department of Computer Science, University of Manchester, Manchester, UK"],"raw_orcid":"https://orcid.org/0000-0002-4423-0284","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Manchester, Manchester, UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077288632","display_name":"Christopher Bishop","orcid":"https://orcid.org/0000-0001-9999-7944"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Christopher Bishop","raw_affiliation_strings":["Department of Electrical and Electronic Engineering, University of Manchester, Manchester, UK"],"raw_orcid":"https://orcid.org/0000-0001-9999-7944","affiliations":[{"raw_affiliation_string":"Department of Electrical and Electronic Engineering, University of Manchester, Manchester, UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080310566","display_name":"Simon Watson","orcid":"https://orcid.org/0000-0001-9783-0147"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Simon Watson","raw_affiliation_strings":["Department of Electrical and Electronic Engineering, University of Manchester, Manchester, UK"],"raw_orcid":"https://orcid.org/0000-0001-9783-0147","affiliations":[{"raw_affiliation_string":"Department of Electrical and Electronic Engineering, University of Manchester, Manchester, UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071685825","display_name":"Frederick P. Wheeler","orcid":null},"institutions":[{"id":"https://openalex.org/I4210096807","display_name":"Centre for Innovation in Regulatory Science","ror":"https://ror.org/00v71jq68","country_code":"GB","type":"other","lineage":["https://openalex.org/I4210096807"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Frederic Wheeler","raw_affiliation_strings":["Regulatory Support Directorate, Amentum, Warrington, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Regulatory Support Directorate, Amentum, Warrington, UK","institution_ids":["https://openalex.org/I4210096807"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067587488","display_name":"Michael Fisher","orcid":"https://orcid.org/0000-0002-0875-3862"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michael Fisher","raw_affiliation_strings":["Department of Computer Science, University of Manchester, Manchester, UK"],"raw_orcid":"https://orcid.org/0000-0002-0875-3862","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Manchester, Manchester, UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5098733035","display_name":"Louise Dennis","orcid":"https://orcid.org/0000-0002-5600-8832"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Louise Dennis","raw_affiliation_strings":["Department of Computer Science, University of Manchester, Manchester, UK"],"raw_orcid":"https://orcid.org/0000-0002-5600-8832","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Manchester, Manchester, UK","institution_ids":["https://openalex.org/I28407311"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5066751702"],"corresponding_institution_ids":["https://openalex.org/I28407311"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.39380231,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"110","last_page":"130"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.992900013923645,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.992900013923645,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9848999977111816,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.982699990272522,"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/eclipse","display_name":"Eclipse","score":0.7286999821662903},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5485000014305115},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5415999889373779},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.5386999845504761},{"id":"https://openalex.org/keywords/plug-in","display_name":"Plug-in","score":0.4878000020980835},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.45019999146461487},{"id":"https://openalex.org/keywords/criticality","display_name":"Criticality","score":0.41990000009536743},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4187999963760376},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.39879998564720154}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7971000075340271},{"id":"https://openalex.org/C2778505590","wikidata":"https://www.wikidata.org/wiki/Q141022","display_name":"Eclipse","level":2,"score":0.7286999821662903},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5485000014305115},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5415999889373779},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.5386999845504761},{"id":"https://openalex.org/C4924752","wikidata":"https://www.wikidata.org/wiki/Q184148","display_name":"Plug-in","level":2,"score":0.4878000020980835},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.48350000381469727},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.45019999146461487},{"id":"https://openalex.org/C125611927","wikidata":"https://www.wikidata.org/wiki/Q17008131","display_name":"Criticality","level":2,"score":0.41990000009536743},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4187999963760376},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.39879998564720154},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.3887999951839447},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.3628000020980835},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.35179999470710754},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.34860000014305115},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.3271999955177307},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.3095000088214874},{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.2913999855518341},{"id":"https://openalex.org/C15708719","wikidata":"https://www.wikidata.org/wiki/Q2271801","display_name":"Domain analysis","level":5,"score":0.28760001063346863},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.28139999508857727},{"id":"https://openalex.org/C2777561058","wikidata":"https://www.wikidata.org/wiki/Q2652119","display_name":"Program comprehension","level":4,"score":0.2809000015258789},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.2784000039100647},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.2718999981880188},{"id":"https://openalex.org/C2776969324","wikidata":"https://www.wikidata.org/wiki/Q613918","display_name":"Software quality assurance","level":5,"score":0.2680000066757202},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.2653000056743622},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.2590999901294708}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-032-08049-3_7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-032-08049-3_7","pdf_url":null,"source":{"id":"https://openalex.org/S2764900261","display_name":"Communications in computer and information science","issn_l":"1865-0929","issn":["1865-0929","1865-0937"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications in Computer and Information Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/94ced9aa-60f7-49e9-805d-50c4bfcff287","is_oa":true,"landing_page_url":"https://research.manchester.ac.uk/en/publications/94ced9aa-60f7-49e9-805d-50c4bfcff287","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Abeywickrama, D, Bishop, C, Watson, S, Wheeler, F, Fisher, M & Dennis, L 2025, Corroborative V &V for Autonomous Systems: Integrating Evidence and Discrepancy Analysis for Safety Assurance. in 5th Workshop on Agents and Robots for reliable Engineered Autonomy, 5th October 2025 at ECAI 2025 - Bologna https://areaworkshop.github.io/AREA2025.","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/94ced9aa-60f7-49e9-805d-50c4bfcff287","is_oa":true,"landing_page_url":"https://research.manchester.ac.uk/en/publications/94ced9aa-60f7-49e9-805d-50c4bfcff287","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Abeywickrama, D, Bishop, C, Watson, S, Wheeler, F, Fisher, M & Dennis, L 2025, Corroborative V &V for Autonomous Systems: Integrating Evidence and Discrepancy Analysis for Safety Assurance. in 5th Workshop on Agents and Robots for reliable Engineered Autonomy, 5th October 2025 at ECAI 2025 - Bologna https://areaworkshop.github.io/AREA2025.","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1999252641","https://openalex.org/W2011274429","https://openalex.org/W2461937780","https://openalex.org/W2764222390","https://openalex.org/W2977713273","https://openalex.org/W2991528307","https://openalex.org/W3012575488","https://openalex.org/W3046570655","https://openalex.org/W3080154729","https://openalex.org/W3090396921","https://openalex.org/W3124420883","https://openalex.org/W3126217067","https://openalex.org/W3130787872","https://openalex.org/W3212133150","https://openalex.org/W3216916742","https://openalex.org/W4285223292","https://openalex.org/W4285250784","https://openalex.org/W4290856826","https://openalex.org/W4302420972","https://openalex.org/W4377969528","https://openalex.org/W4402383193","https://openalex.org/W4411173055","https://openalex.org/W4413755547"],"related_works":[],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-11T00:00:00"}