Patrick Moosbrugger

Runtime Analysis with R2U2: A Tool Exhibition Report

Johann Schumann, Kristin Yvonne Rozier, Patrick Moosbrugger, 2016, RV.

Problems and solutions for refitting a sensor network with IEEE1588 clock synchronisation

Martin Horauer, Michael Kramer, Andreas Puhm, 2014, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA).

Unobtrusive Software and System Health Management with R2U2 on a Parallel MIMD Coprocessor

Johann Schumann, Patrick Moosbrugger, 2017 .

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

Johann Schumann, Kristin Yvonne Rozier, Patrick Moosbrugger, 2017, Formal Methods in System Design.

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

Johann Schumann, Patrick Moosbrugger, Kristin Y. Rozier, 2017, Formal Methods Syst. Des..

R 2 U 2 : Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems ?

Johann Schumann, Kristin Yvonne Rozier, Patrick Moosbrugger, 2015 .