R2U2: monitoring and diagnosis of security threats for unmanned aerial systems

GNSS Spoofing and Detection

(2016) Mark L. Psiaki et al.   PROCEEDINGS OF THE IEEE

Detection and Mitigation of GPS Spoofing Based on Antenna Array Processing

(2015) J. Magiera et al.   Journal of Applied Research and Technology

Runtime verification monitoring for automotive embedded systems using the ISO 26262 Functional Safety Standard as a guide for the definition of the monitored properties

(2014) Donal Heffernan et al.   IET Software

Unmanned Aircraft Capture and Control Via GPS Spoofing

(2014) Andrew J. Kerns et al.   Journal of Field Robotics

Runtime verification of microcontroller binary code

(2012) Thomas Reinbacher et al.   SCIENCE OF COMPUTER PROGRAMMING

An overview of the MOP runtime verification framework

(2011) Patrick O’Neil Meredith et al.   International Journal on Software Tools for Technology Transfer

Probabilistic Model-Based Diagnosis: An Electrical Power System Case Study

(2010) Ole J. Mengshoel et al.   IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS