Items where authors include "Imrie, Calum Corrie"

Article

Nenchev, Vladislav, Imrie, Calum Corrie, Gerasimou, Simos orcid.org/0000-0002-2706-5272 et al. (1 more author) (2025) Compositional code-level safety verification for automated driving controllers. Journal of Systems and Software. 112499. ISSN 0164-1212

Carwehl, Marc, Imrie, Calum Corrie, Vogel, Thomas et al. (3 more authors) (2025) Parley+:Uncertainty Reduction in Self-Adaptive Systems. ACM Transactions on Autonomous and Adaptive Systems. ISSN 1556-4703 (In Press)

Calinescu, Radu orcid.org/0000-0002-2678-9260, Imrie, Calum Corrie, Mangal, Ravi et al. (4 more authors) (2024) Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components. IEEE Transactions on Software Engineering. pp. 1374-1395. ISSN 0098-5589

Zhao, Xingyu, Gerasimou, Simos orcid.org/0000-0002-2706-5272, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (3 more authors) (2024) Bayesian Learning for the Robust Verification of Autonomous Robots. Communications Engineering. 18. ISSN 2731-3395

Proceedings Paper

Bethell, Daniel, Gerasimou, Simos orcid.org/0000-0002-2706-5272, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (1 more author) (2025) Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding. In: 28th European Conference on Artificial Intelligence. UNSPECIFIED. . (In Press)

Beedle, Joel, Imrie, Calum Corrie and Calinescu, Radu orcid.org/0000-0002-2678-9260 (2024) SALSA: Swarm Algorithm Simulator. In: 5th IEEE International Conference on Autonomic Computing and Self-Organizing Systems - ACSOS 2024. IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 16-20 Sep 2024. IEEE , DNK .

Imrie, Calum Corrie, Howard, Rhys, Thuremella, Divya et al. (8 more authors) (2024) Aloft: Self-Adaptive Drone Controller Testbed. In: SEAMS '24: Proceedings of the 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems. 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 15-16 Apr 2024. ACM , PRT .

Carwehl, Marc, Imrie, Calum Corrie, Vogel, Thomas et al. (3 more authors) (2024) Formal Synthesis of Uncertainty Reduction Controllers. In: 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2024). 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 15-16 Apr 2024. ACM , PRT .

Păsăreanu, Corina S., Mangal, Ravi, Gopinath, Divya et al. (3 more authors) (2023) Closed-loop Analysis of Vision-based Autonomous Systems:A Case Study. In: Enea, C. and Lal, A., (eds.) Computer Aided Verification. CAV 2023. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 289-303.