Michael Jump

Orcid: 0000-0002-1028-2334

According to our database¹, Michael Jump authored at least 8 papers between 2011 and 2022.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2022

Rapid Method for Computing Reachable Landing Distances in Helicopter Autorotative Descent.

[BibT_eX]

[DOI]

J. Aerosp. Inf. Syst., July, 2022

2021

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

[BibT_eX]

[DOI]

Robotics, 2021

An Overview of Verification and Validation Challenges for Inspection Robots.

[BibT_eX]

[DOI]

Robotics, 2021

2018

Verifiable Self-Certifying Autonomous Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Aerosp. Inf. Syst., 2014

2013

Equivalence of BRISK Descriptors for the Registration of Variable Bit-Depth Aerial Imagery.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2013

2012

Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation.

[BibT_eX]

[DOI]

Proceedings of the Infotech@Aerospace 2012, 2012

2011

Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems.

[BibT_eX]

[DOI]

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

Michael Jump

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...