Nawshin Mannan Proma

Search results

• 2024

  Aloft: Self-Adaptive Drone Controller Testbed

  Imrie, C. C., Howard, R., Thuremella, D., Proma, N. M., Pandey, T., Lewinska, P. B. W., Cannizzaro, R., Hawkins, R. D., Paterson, C., Kunze, L. & Hodge, V. J., 16 Apr 2024, SEAMS '24: Proceedings of the 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems. ACM

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Situation Coverage Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment

  Proma, N. M., Hodge, V. J. & Alexander, R., 20 Jun 2024, The Yorkshire Innovation in Science and Engineering Conference (YISEC) 2024.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2023

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

  Proma, N. M. & Alexander, R., 20 Oct 2023, LADC 2023: 12th Latin-American Symposium on Dependable and Secure Computing. ACM, p. 208-213 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File