@inproceedings{SchuhmannMoosbruggerRozier2015, author = {Johann Schuhmann and Patrick Moosbrugger and Kirstin Rozier}, title = {R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems}, booktitle = {Proceedings of the 15th International Conference on Runtime Verification (RV15),Vienna - Austria, Sep. 22-25, 2015}, pages = {233 -- 249}, year = {2015}, }