Methods for Reducing Monitoring Overhead in Runtime Verification