WG4 – Meeting in Madrid (September’16)

During the meeting in Madrid, we had a number of talks about industrial applications of runtime verification, particularly the ones below (the full programme can be found here):

Nikolaus Bayer (DE): Run-time transaction scoring for payment fraud prevention
Malte Schmitz (UzL, DE): Runtime Verification for Interconnected Medical Devices
Walter Binder (USI, CH): Comprehensive and Accurate Runtime Monitoring for Java and Android