Nawshin Mannan Proma
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2024–2026
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SEAMS | Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems. | Gricel Vzquez, Calum Imrie, Sepeedeh Shahbeigi, Nawshin Mannan Proma, Tian Gan, Victoria J. Hodge, John Molloy, Simos Gerasimou |
| 2025 | RE | 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 |
| 2025 | SAFECOMP | 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 |
| 2024 | SEAMS | 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 |