Mike Jump

According to our database, Mike Jump authored at least 5 papers between 2011 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Towards the Determination of Safe Operating Envelopes for Autonomous UAS in Offshore Inspection Missions.

Vincent Pagé, Christopher Dadswell, Matt Webster, Mike Jump, Michael Fisher

Robotics, 2021

An Overview of Verification and Validation Challenges for Inspection Robots.

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

Robotics, 2021

2018

Verifiable Self-Certifying Autonomous Systems.

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

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

2014

Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation.

Matthew P. Webster, Neil Cameron, Michael Fisher, Mike Jump

J. Aerosp. Inf. Syst., 2014

2011

Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems.

Matthew P. Webster, Michael Fisher, Neil Cameron, Mike Jump

Proceedings of the Computer Safety, Reliability, and Security, 2011