Patrick Moosbrugger

According to our database, Patrick Moosbrugger authored at least 3 papers between 2014 and 2017.

Collaborative distances:

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

2017

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

Patrick Moosbrugger, Kristin Y. Rozier, Johann Schumann

Formal Methods Syst. Des., 2017

2016

Runtime Analysis with R2U2: A Tool Exhibition Report.

Johann Schumann, Patrick Moosbrugger, Kristin Y. Rozier

Proceedings of the Runtime Verification - 16th International Conference, 2016

2014

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

Andreas Puhm, Michael Kramer, Patrick Moosbrugger, Martin Horauer

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014