Items where authors include "Proma, Nawshin Mannan"

Proceedings Paper

Proma, Nawshin Mannan orcid.org/0000-0002-8869-3977, Vazquez Flores, Gricel, Shahbeigi Roudposhti, Sepeedeh et al. (2 more authors) (2025) Probabilistic Safety Verification for an Autonomous Ground Vehicle:A Situation Coverage Grid Approach. In: 2025 IEEE International Conference on Vehicular Electronics and Safety. 2025 IEEE International Conference on Vehicular Electronics and Safety, 27-28 Oct 2025. IEEE , GBR . (In Press)

Proma, Nawshin Mannan orcid.org/0000-0002-8869-3977, Hodge, Victoria J. orcid.org/0000-0002-2469-0224 and Alexander, Rob orcid.org/0000-0003-3818-0310 (2025) SCALOFT:An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment. In: SASSUR 2025:12th International Workshop on Next Generation of System Assurance Approaches for Critical Systems. 12th International Workshop on Next Generation of System Assurance Approaches for Critical Systems, 09 Sep 2025, Stockholm. .

Shahbeigi Roudposhti, Sepeedeh, Proma, Nawshin Mannan orcid.org/0000-0002-8869-3977, Hodge, Victoria J. orcid.org/0000-0002-2469-0224 et al. (3 more authors) (2025) Robustness requirement coverage using a Situation Coverage Approach for Vision-based AI Systems. In: 33rd International Conference on Requirement Engineering (RE'2025):Requirement Engineering for Trustworthy Artificial Intelligence (RETRAI) Workshop. 33rd International Conference on Requirement Engineering (RE'2025), 01 Sep 2025. , ESP .

Proma, Nawshin Mannan orcid.org/0000-0002-8869-3977, Hodge, Victoria J. orcid.org/0000-0002-2469-0224 and Alexander, Rob orcid.org/0000-0003-3818-0310 (2024) Situation Coverage Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment. In: The Yorkshire Innovation in Science and Engineering Conference (YISEC) 2024. UNSPECIFIED. .

Imrie, Calum Corrie, Howard, Rhys, Thuremella, Divya et al. (8 more authors) (2024) Aloft: Self-Adaptive Drone Controller Testbed. In: SEAMS '24: Proceedings of the 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems. 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 15-16 Apr 2024. ACM , PRT .

Proma, Nawshin Mannan orcid.org/0000-0002-8869-3977 and Alexander, Rob orcid.org/0000-0003-3818-0310 (2023) Systematic Situation Coverage versus Random Situation Coverage for Safety Testing in an Autonomous Car Simulation. In: LADC 2023: 12th Latin-American Symposium on Dependable and Secure Computing. LADC 2023: 12th Latin-American Symposium on Dependable and Secure Computing, 16-20 Oct 2023. ACM , BOL , pp. 208-213.

Preprint

Shahbeigi, Sepeedeh, Proma, Nawshin Mannan orcid.org/0000-0002-8869-3977, Hodge, Victoria orcid.org/0000-0002-2469-0224 et al. (3 more authors) (2025) Robustness Requirement Coverage using a Situation Coverage Approach for Vision-based AI Systems. [Preprint]