Calum Imrie

According to our database, Calum Imrie authored at least 12 papers between 2017 and 2024.

Collaborative distances:

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

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

Formal Synthesis of Uncertainty Reduction Controllers.

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

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

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