Home

Welcome to the personal Website of Patrick Moosbrugger.

Music

Being a musician for my whole life, working on many different projects with different instruments, different people, different styles led me eventually to the best and most passionate achievement of them all, THE WEIGHT.

The Weight – #redcarpet at the Amadeus Austrian Music Awards 2018
© https://www.leadersnet.at | K. Golab

More about The Weight:

Contact Information:

Management: management@theweightrock.com
Booking: booking@theweightrock.com
Label: info@heavyrhythmandroll.com

Research

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