Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification | Publicación