Mike Jump

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 3

Top Topics

Autonomous Systems

Unmanned Aerial Vehicles

Asynchronous Circuits

Top Venues

ISSRE Workshops

J. Aerosp. Inf. Syst.

Publications

Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Pagé, Fabio Papacchini, Matt Webster
An Overview of Verification and Validation Challenges for Inspection Robots. Robotics 10 (2) (2021)
Vincent Pagé, Christopher Dadswell, Matt Webster, Mike Jump, Michael Fisher
Towards the Determination of Safe Operating Envelopes for Autonomous UAS in Offshore Inspection Missions. Robotics 10 (3) (2021)
Michael Fisher, Emily C. Collins, Louise A. Dennis, Matt Luckcuck, Matt Webster, Mike Jump, Vincent Pagé, Charles Patchett, Fateme Dinmohammadi, David Flynn, Valentin Robu, Xingyu Zhao
Verifiable Self-Certifying Autonomous Systems. ISSRE Workshops (2018)
Matthew P. Webster, Neil Cameron, Michael Fisher, Mike Jump
Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation. J. Aerosp. Inf. Syst. 11 (5) (2014)
Matthew P. Webster, Michael Fisher, Neil Cameron, Mike Jump
Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems. SAFECOMP (2011)