Calum Imrie

24 papers A* 1A 1B 1C 1Journal 13Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Compositional code-level safety verification for automated driving controllers.
J. Syst. Softw.
Vladislav Nenchev, Calum Imrie, Simos Gerasimou, Radu Calinescu
2025 B conf
Conformal Safety Shielding for Imperfect-Perception Agents.
RV
William Scarbro, Calum Imrie, Sinem Getir Yaman, Kavan Fatehi, Corina S. Pasareanu, Radu Calinescu, Ravi Mangal
2025 J jnl
Conformal Safety Shielding for Imperfect-Perception Agents.
CoRR
William Scarbro, Calum Imrie, Sinem Getir Yaman, Kavan Fatehi, Corina S. Pasareanu, Radu Calinescu, Ravi Mangal
2025 C conf
Formal Synthesis of Uncertainty Reduction Controllers.
Software Engineering
Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske
2025 J jnl
Learning to Navigate Under Imperfect Perception: Conformalised Segmentation for Safe Reinforcement Learning.
CoRR
Daniel Bethell, Simos Gerasimou, Radu Calinescu, Calum Imrie
2025 J jnl
RESMETRIC: Analyzing Resilience to Enable Research on Antifragility.
CoRR
Ferdinand Koenig, Marc Carwehl, Calum Imrie
2025 — conf
ResMetric: Analyzing Resilience to Enable Research on Antifragility.
SEAMS@ICSE
Ferdinand Koenig, Marc Carwehl, Calum Imrie
2025 J jnl
Safe But Not Sorry: Reducing Over-Conservatism in Safety Critics via Uncertainty-Aware Modulation.
CoRR
Daniel Bethell, Simos Gerasimou, Radu Calinescu, Calum Imrie
2025 A conf
Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding.
ECAI
Daniel Bethell, Simos Gerasimou, Radu Calinescu, Calum Imrie
2024 — conf
Aloft: Self-Adaptive Drone Controller Testbed.
SEAMS@ICSE
Calum Imrie, Rhys Howard, Divya Thuremella, Nawshin Mannan Proma, Tejas Pandey, Paulina Lewinska, Ricardo Cannizzaro, Richard Hawkins, Colin Paterson, Lars Kunze, Victoria J. Hodge
2024 A* conf
Analyzing and Debugging Normative Requirements via Satisfiability Checking.
ICSE
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
2024 J jnl
Analyzing and Debugging Normative Requirements via Satisfiability Checking.
CoRR
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
2024 — conf
Code-Level Safety Verification for Automated Driving: A Case Study.
FM (2)
Vladislav Nenchev, Calum Imrie, Simos Gerasimou, Radu Calinescu
2024 J jnl
Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components.
IEEE Trans. Software Eng.
Radu Calinescu, Calum Imrie, Ravi Mangal, Genaína Nunes Rodrigues, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez
2024 — conf
Formal Synthesis of Uncertainty Reduction Controllers.
SEAMS@ICSE
Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske
2024 J jnl
Formal Synthesis of Uncertainty Reduction Controllers.
CoRR
Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske
2024 — conf
SALSA: Swarm Algorithm Simulator.
ACSOS-C
Joel Beedle, Calum Imrie, Radu Calinescu
2024 J jnl
Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding.
CoRR
Daniel Bethell, Simos Gerasimou, Radu Calinescu, Calum Imrie
2023 J jnl
Bayesian Learning for the Robust Verification of Autonomous Robots.
CoRR
Xingyu Zhao, Simos Gerasimou, Radu Calinescu, Calum Imrie, Valentin Robu, David Flynn
2023 — conf
Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study.
CAV (1)
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu
2023 J jnl
Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study.
CoRR
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu
2022 J jnl
Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components.
CoRR
Radu Calinescu, Calum Imrie, Ravi Mangal, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez
2020 J jnl
The DIAMOND Model: Deep Recurrent Neural Networks for Self-Organizing Robot Control.
Frontiers Neurorobotics
Simón C. Smith, Richard Dharmadi, Calum Imrie, Bailu Si, J. Michael Herrmann
2017 — conf
Self-organisation of Spatial Behaviour in a Kilobot Swarm.
Living Machines
Calum Imrie, J. Michael Herrmann