Nawshin Mannan Proma

According to our database, Nawshin Mannan Proma authored at least 7 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems.

Gricel Vázquez, Calum Imrie, Sepeedeh Shahbeigi, Nawshin Mannan Proma, Tian Gan, Victoria J. Hodge, John Molloy, Simos Gerasimou

CoRR, April, 2026

2025

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

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops, 2025

Robustness Requirement Coverage using a Situation Coverage Approach for Vision-based AI Systems.

Sepeedeh Shahbeigi, Nawshin Mannan Proma, Victoria J. Hodge, Richard Hawkins, Boda Li, Valentina Donzella

Proceedings of the 33rd IEEE International Requirements Engineering Conference, 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

Proceedings of the IEEE International Conference on Vehicular Electronics and Safety, 2025

2024

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

Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2024

2023

Systematic Situation Coverage versus Random Situation Coverage for Safety Testing in an Autonomous Car Simulation.

Nawshin Mannan Proma, Rob Alexander

Proceedings of the 12th Latin-American Symposium on Dependable and Secure Computing, 2023

2020

Inspection of Picocell's Performance using Different Models in Different Regions.

S. M. Tasmeeh Ahsan, Fariha Jahan, Nawshin Mannan Proma

Proceedings of the 5th International Conference on Computer and Communication Systems, 2020