Calum Imrie
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAC | Learning to Navigate Under Imperfect Perception: Conformalised Segmentation for Safe Reinforcement Learning. | Daniel Bethell, Simos Gerasimou, Radu Calinescu, Calum Imrie |
| 2026 | SEAMS | Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems. | Gricel Vzquez, Calum Imrie, Sepeedeh Shahbeigi, Nawshin Mannan Proma, Tian Gan, Victoria J. Hodge, John Molloy, Simos Gerasimou |
| 2025 | ECAI | Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding. | Daniel Bethell, Simos Gerasimou, Radu Calinescu, Calum Imrie |
| 2025 | RV | Conformal Safety Shielding for Imperfect-Perception Agents. | William Scarbro, Calum Imrie, Sinem Getir Yaman, Kavan Fatehi, Corina S. Pasareanu, Radu Calinescu, Ravi Mangal |
| 2025 | SEAMS | ResMetric: Analyzing Resilience to Enable Research on Antifragility. | Ferdinand Koenig, Marc Carwehl, Calum Imrie |
| 2024 | FM | Code-Level Safety Verification for Automated Driving: A Case Study. | Vladislav Nenchev, Calum Imrie, Simos Gerasimou, Radu Calinescu |
| 2024 | ICSE | Analyzing and Debugging Normative Requirements via Satisfiability Checking. | Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victria Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genana Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik |
| 2024 | SEAMS | Formal Synthesis of Uncertainty Reduction Controllers. | Marc Carwehl, Calum Imrie, Thomas Vogel, Genana Nunes Rodrigues, Radu Calinescu, Lars Grunske |
| 2024 | SEAMS | 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 |
| 2023 | CAV | 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 |