Nawshin Mannan Proma

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

Collaborative distances:

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

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, July, 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, July, 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

CoRR, May, 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