 | Up a level |
Zhao, Xingyu 
ORCID: 0000-0002-3474-349X, Huang, Wei, Banks, Alec, Cox, Victoria, Flynn, David, Schewe, Sven ORCID: 0000-0002-9093-9518 and Huang, Xiaowei ORCID: 0000-0001-6267-0366
(2021)
Assessing the Reliability of Deep Learning Classifiers Through
Robustness Evaluation and Operational Profiles.
In: AISafety 2021 Workshop co-located with IJCAI-21, 2021-8-21 - 2021-8-23, virtual.
Zhao, Xingyu ORCID: 0000-0002-3474-349X, Huang, Wei, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Robu, Valentin and Flynn, David
(2020)
BayLIME: Bayesian Local Interpretable Model-Agnostic Explanations.
In: 37th Conference on Uncertainty in Artificial Intelligence (UAI'21), 2021-7-27 - 2021-7-29, Virtual.
Dinmohammadi, Fateme, Flynn, David, Fisher, Michael, Jump, Michael ORCID: 0000-0002-1028-2334, Page, Vincent, Robu, Valentin, Patchett, Charles, Tang, Wenshuo and Webster, MP ORCID: 0000-0002-8817-6881
(2019)
Certification of Safe and Trusted Robotic Inspection of Assets.
In: 2018 Prognostics and System Health Management Conference, 2018-10-26 - 2018-10-28.
Zhao, Xingyu ORCID: 0000-0002-3474-349X, Calinescu, Radu, Gerasimou, Simos, Robu, Valentin and Flynn, David
(2020)
Interval Change-Point Detection for Runtime Probabilistic Model Checking.
In: ASE '20: 35th IEEE/ACM International Conference on Automated Software Engineering.
Zhao, Xingyu ORCID: 0000-0002-3474-349X, Robu, Valentin, Flynn, David, Dinmohammadi, Fateme, Fisher, Michael and Webster, Matt ORCID: 0000-0002-8817-6881
(2019)
Probabilistic Model Checking of Robots Deployed in Extreme Environments.
In: 33rd AAAI Conference on Artificial Intelligence, Honolulu, Hawaii, 2019.
Yang, Sheng, Khursheed, Saqib, Al-Hashimi, Bashir M, Flynn, David and Idgunji, Sachin
(2011)
Reliable State Retention-Based Embedded Processors Through Monitoring and Recovery.
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 30 (12).
pp. 1773-1785.
Zhao, Xingyu ORCID: 0000-0002-3474-349X, Osborne, Matt, Lantair, Jenny, Robu, Valentin, Flynn, David, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Fisher, Michael, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Ferrando, Angelo ORCID: 0000-0002-8711-4670
(2019)
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management.
.
Fisher, Michael, Collins, Emily ORCID: 0000-0001-9396-536X, Dennis, Louise ORCID: 0000-0003-1426-1896, Luckcuck, Matt ORCID: 0000-0002-6444-9312, Webster, Matt ORCID: 0000-0002-8817-6881, Jump, Mike ORCID: 0000-0002-1028-2334, Page, Vincent, Patchett, Charles, Dinmohammadi, Fateme, Flynn, David et al (show 2 more authors)
(2018)
Verifiable Self-Certifying Autonomous Systems.
In: 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2018-10-15 - 2018-10-18.