Items where authors include "Imrie, Calum Corrie"

Article

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. ISSN 0098-5589 (In Press)

Proceedings Paper

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.