F
B. Finkbeiner, Rabe, M., and Sánchez, C.,
“Algorithms for Model Checking HyperLTL and HyperCTL*”, in
Proceedings of the 27th International Conference on Computer Aided Verification (CAV), 2015.
B. Finkbeiner, Hahn, C., Stenger, M., and Tentrup, L.,
“Monitoring Hyperproperties”, in
Proceedings of the 17th International Conference on Runtime Verification (RV), 2017.
B. Finkbeiner and Zimmermann, M.,
“The First-Order Logic of Hyperproperties”, in
Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science (STACS), 2017.