Inspection of Picocell's Performance using Different Models in Different Regions. - S. M. Tasmeeh Ahsan; Fariha Jahan; Nawshin Mannan Proma (ICCCS, 2020)

Systematic Situation Coverage versus Random Situation Coverage for Safety Testing in an Autonomous Car Simulation. - Nawshin Mannan Proma; Rob Alexander (LADC, 2023)

Aloft: Self-Adaptive Drone Controller Testbed. - Calum Imrie; Rhys Howard; Divya Thuremella; Nawshin Mannan Proma; Tejas Pandey; Paulina Lewinska; Ricardo Cannizzaro; Richard Hawkins; Colin Paterson; Lars Kunze; Victoria J. Hodge (SEAMS@ICSE, 2024)

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment. - Nawshin Mannan Proma; Victoria J. Hodge; Rob Alexander (CoRR, 2025)

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach. - Nawshin Mannan Proma; Gricel Vázquez; Sepeedeh Shahbeigi; Arjun Badyal; Victoria J. Hodge (CoRR, 2025)

Robustness Requirement Coverage using a Situation Coverage Approach for Vision-based AI Systems. - Sepeedeh Shahbeigi; Nawshin Mannan Proma; Victoria Hodge; Richard Hawkins; Boda Li; Valentina Donzella (CoRR, 2025)