Runtime Verification of k-Safety Hyperproperties in HyperLTL | IEEE Conference Publication | IEEE Xplore