Research

Publications

  •  P. Moosbrugger, K. Y. Rozier, Johann Schumann, “R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems”, Springer International Journal for Formal Methods in System Design 2017, accepted
  •  J. Schumann, P. Moosbrugger, K. Y. Rozier, “Runtime Analysis with R2U2: A Tool
    Exhibition Report”, RV 2016, accepted
  •  J. Schumann, P. Moosbrugger, K. Y. Rozier, “R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems”, RV 2015, accepted
  • Master thesis – “A Real-time, On-board System Health Management Unit for Unmanned Aerial Systems”, FH Technikum Wien
  • A. Puhm, M. Kramer, P. Moosbrugger et al., “Problems and Solutions for Refitting a Sensor Network with IEEE1588 Clock Synchronisation”, ETFA 2014, accepted
  • Bachelor thesis – “Development of a high-end evaluation board”, FH Technikum Wien
  • Bachelor thesis – “Runtime Verification mit Zeitvorgaben”, FH Technikum Wien
  • T. Reinbacher, J. Geist, P. Moosbrugger, M. Horauer, and A. Steininger, “Parallel Runtime Verification of Temporal Properties for Embedded Software”, MESA 2012, accepted