Items where authors include "Proma, Nawshin Mannan"

Proceedings Paper

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.