Publisher
Springer Nature Switzerland
Reference21 articles.
1. Baumeister, J., Coenen, N., Bonakdarpour, B., Finkbeiner, B., Sanchez, C.: A Temporal logic for asynchronous hyperproperties. In: Silva, A., Leino, K.R.M. (eds.) Computer Aided Verification. CAV 2021. LNCS, vol. 12759, pp. 694–717. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-81685-8_33
2. Clarkson, M.R., Finkbeiner, B., Koleini, M., Micinski, K.K., Rabe, M.N., Sánchez, C.: Temporal logics for hyperproperties. In: Abadi, M., Kremer, S. (eds.) Principles of Security and Trust. POST 2014. LNCS, vol. 8414, pp. 265–284. Springer, Berlin, Heidelberg (2014). https://doi.org/10.1007/978-3-642-54792-8_15
3. Clarkson, M.R., Schneider, F.B.: Hyperproperties. J. Comput. Secur. 18(6), 1157–1210 (2010)
4. Coenen, N., Finkbeiner, B., Hahn, C., Hofmann, J.: The hierarchy of hyperlogics. In: LICS 2019, pp. 1–13. IEEE (2019)
5. Finkbeiner, B.: Temporal hyperproperties. Bull. EATCS (123) (2017). http://eatcs.org/beatcs/index.php/beatcs/article/view/514