Publications

• J. Schumann, P. Moosbrugger, “Unobtrusive Software and System Health Management with R2U2 on a parallel MIMD Coprocessor”, PHM 2017, accepted
•  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

One of my creations

…it’s aliiive!

Some of the Projects with my participation

• R2U2 – Intelligent Hardware-Enabled Sensor and Software Safety and Health  Management for Autonomous UAS Systems:
  R2U2 on nasa.gov |  R2U2 on temporallogic.org | R2U2 on kristinrozier.com
  
• JRC VECS – Josef Ressel Center for Verification of Embedded Computing Systems:
  VECS on technikum-wien.at
• AC Centrope II – European Union funded project in the field of E-Mobility:
  AC Centrope II on technikum-wien.at | AC Centrope II on up2europe.eu
  
• CevTes – CounterExample Validation and Test Case Generation Framework for Verifying Embedded Software:
  CevTes on tuwien.ac.at