Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes.

Hannes Kallwies, Martin Leucker, Meiko Prilop, Malte Schmitz

Browse the full TASE paper archive.