logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
C

Calum Imrie

university of york - uk

6H-index
28Paper Count
89Citation Count
Published Papers 3
Publication Date
logo
Compositional code-level safety verification for automated driving controllers
errJournal of Systems and Software
IF4.1
err2025-06-02
err0
PREAI
errVladislav Nenchev; Calum Imrie; Simos Gerasimou; Radu Calinescu
errShare
errSave
Aloft: Self-Adaptive Drone Controller Testbed
errproceedings of the
IF0
err2024-06-07
err0
errOAAI
errImrie, Calum; Howard, Rhys; Thuremella, Divya; Proma, Nawshin Mannan; Pandey, Tejas; Lewinska, Paulina; Cannizzaro, Ricardo; Hawkins, Richard; Paterson, Colin; Kunze, Lars; Hodge, Victoria J.
errShare
errSave
Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2024-06-01
err0
errOAAI
errCalinescu, Radu; Imrie, Calum; Mangal, Ravi; Rodrigues, Genaina Nunes; Pasareanu, Corina; Santana, Misael Alpizar; Vazquez, Gricel
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
C
Corina S. Păsăreanu
H-index: 48 · Papers: 297
R
Radu Călinescu
H-index: 32 · Papers: 276
J
Joanna Hodge
H-index: 20 · Papers: 152
L
Lars Kunze
H-index: 20 · Papers: 135
R
Richard Hawkins
H-index: 19 · Papers: 93
View more