Calum Imrie

According to our database, Calum Imrie authored at least 17 papers between 2017 and 2025.

Collaborative distances:

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

2025

Assuring the Safety of Reinforcement Learning Components: AMLAS-RL.

Calum C. Imrie, Ioannis Stefanakos, Sepeedeh Shahbeigi, Richard Hawkins, Simon Burton

CoRR, July, 2025

Conformal Safety Shielding for Imperfect-Perception Agents.

William Scarbro, Calum Imrie, Sinem Getir Yaman, Kavan Fatehi, Corina S. Pasareanu, Radu Calinescu, Ravi Mangal

CoRR, June, 2025

Compositional code-level safety verification for automated driving controllers.

Vladislav Nenchev, Calum Imrie, Simos Gerasimou, Radu Calinescu

J. Syst. Softw., 2025

ResMetric: Analyzing Resilience to Enable Research on Antifragility.

Ferdinand Koenig, Marc Carwehl, Calum Imrie

Proceedings of the 20th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2025

Formal Synthesis of Uncertainty Reduction Controllers.

Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske

Proceedings of the Software Engineering 2025, 2025

2024

Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components.

Radu Calinescu, Calum Imrie, Ravi Mangal, Genaína Nunes Rodrigues, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez

IEEE Trans. Software Eng., June, 2024

Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding.

Daniel Bethell, Simos Gerasimou, Radu Calinescu, Calum Imrie

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

Analyzing and Debugging Normative Requirements via Satisfiability Checking.

Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genaína Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Code-Level Safety Verification for Automated Driving: A Case Study.

Vladislav Nenchev, Calum Imrie, Simos Gerasimou, Radu Calinescu

Proceedings of the Formal Methods - 26th International Symposium, 2024

SALSA: Swarm Algorithm Simulator.

Joel Beedle, Calum Imrie, Radu Calinescu

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2024

2023

Bayesian Learning for the Robust Verification of Autonomous Robots.

Xingyu Zhao, Simos Gerasimou, Radu Calinescu, Calum Imrie, Valentin Robu, David Flynn

CoRR, 2023

Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study.

Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components.

Radu Calinescu, Calum Imrie, Ravi Mangal, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez

CoRR, 2022

2021

The paradox of choice in evolving swarms: information overload leads to limited sensing.

Calum C. Imrie, J. Michael Herrmann, Olaf Witkowski

Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021

2020

The DIAMOND Model: Deep Recurrent Neural Networks for Self-Organizing Robot Control.

Simón C. Smith, Richard Dharmadi, Calum Imrie, Bailu Si, J. Michael Herrmann

Frontiers Neurorobotics, 2020

2017

Self-organisation of Spatial Behaviour in a Kilobot Swarm.

Calum Imrie, J. Michael Herrmann

Proceedings of the Biomimetic and Biohybrid Systems - 6th International Conference, 2017