Self-organisation of Spatial Behaviour in a Kilobot Swarm. - Calum Imrie; J. Michael Herrmann (Living Machines, 2017)

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)

The paradox of choice in evolving swarms: information overload leads to limited sensing. - Calum C. Imrie; J. Michael Herrmann; Olaf Witkowski (GECCO, 2021)

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)

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 (CAV (1), 2023)

Bayesian Learning for the Robust Verification of Autonomous Robots. - Xingyu Zhao 001; Simos Gerasimou; Radu Calinescu; Calum Imrie; Valentin Robu; David Flynn (CoRR, 2023)

SALSA: Swarm Algorithm Simulator. - Joel Beedle; Calum Imrie; Radu Calinescu (ACSOS-C, 2024)

Code-Level Safety Verification for Automated Driving: A Case Study. - Vladislav Nenchev; Calum Imrie; Simos Gerasimou; Radu Calinescu (FM (2), 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 001; et al. (ICSE, 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 (SEAMS@ICSE, 2024)

Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding. - Daniel Bethell; Simos Gerasimou; Radu Calinescu; Calum Imrie (CoRR, 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., 2024)

Formal Synthesis of Uncertainty Reduction Controllers. - Marc Carwehl; Calum Imrie; Thomas Vogel 001; Genaína Nunes Rodrigues; Radu Calinescu; Lars Grunske (Software Engineering, 2025)

ResMetric: Analyzing Resilience to Enable Research on Antifragility. - Ferdinand Koenig; Marc Carwehl; Calum Imrie (SEAMS@ICSE, 2025)

Compositional code-level safety verification for automated driving controllers. - Vladislav Nenchev; Calum Imrie; Simos Gerasimou; Radu Calinescu (J. Syst. Softw., 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, 2025)

Assuring the Safety of Reinforcement Learning Components: AMLAS-RL. - Calum C. Imrie; Ioannis Stefanakos; Sepeedeh Shahbeigi; Richard Hawkins; Simon Burton 001 (CoRR, 2025)