Hyperproperty (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Hyperproperty" in English language version.

refsWebsite

Global rank English rank

18doi.org

2^nd place

13semanticscholar.org

11^th place

8^th place

10medra.org

low place

2arxiv.org

69^th place

59^th place

1worldcat.org

5^th place

1acm.org

1,185^th place

840^th place

1nih.gov

4^th place

acm.org (Global: 1,185^th place; English: 840^th place)

dl.acm.org

D'Osualdo; Farzan; Dreyer (2022). "Proving hypersafety compositionally". Proceedings of the ACM on Programming Languages. 6 (OOPSLA2): 289–314. arXiv:2209.07448. doi:10.1145/3563298. S2CID 252284134.

arxiv.org (Global: 69^th place; English: 59^th place)

D'Osualdo; Farzan; Dreyer (2022). "Proving hypersafety compositionally". Proceedings of the ACM on Programming Languages. 6 (OOPSLA2): 289–314. arXiv:2209.07448. doi:10.1145/3563298. S2CID 252284134.
Dardinier, Thibault; Müller, Peter (2024). "Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties". Proceedings of the ACM on Programming Languages. 8: 1485–1509. arXiv:2301.10037. doi:10.1145/3656437.

doi.org (Global: 2^nd place; English: 2^nd place)

doi.org

Clarkson & Schneider 2010, p. 1. Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
Clarkson & Schneider 2010, p. 23: "A labeled transition system [...] can be encoded as a set of traces.". Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
Clarkson & Schneider 2010, p. 25: "A state machine M [...] can be encoded as a set of traces.". Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
Alpern, Bowen; Schneider, Fred B. (1985-10-07). "Defining liveness". Information Processing Letters. 21 (4): 181–185. doi:10.1016/0020-0190(85)90056-0. ISSN 0020-0190.
Clarkson & Schneider 2010, p. 21. Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
Finkbeiner, Bernd; Haas, Lennart; Torfah, Hazem (June 2019). "Canonical Representations of k-Safety Hyperproperties". 2019 IEEE 32nd Computer Security Foundations Symposium (CSF). pp. 17–1714. doi:10.1109/CSF.2019.00009. ISBN 978-1-7281-1407-1. S2CID 201848133.
Clarkson & Schneider 2010, p. 11: "Safety properties lift to safety hyperproperties". Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
Clarkson & Schneider 2010, p. 15: "The hyperproperty false, defined as \{\emptyset\}, is hypersafety but not hyperliveness".. Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
Clarkson & Schneider 2010, p. 44. Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
Clarkson & Schneider 2010. Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
Sousa & Dillig 2016. Sousa, Marcelo; Dillig, Isil (2016-06-02). "Cartesian hoare logic for verifying k-safety properties". Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI '16. New York, NY, USA: Association for Computing Machinery. pp. 57–69. doi:10.1145/2908080.2908092. ISBN 978-1-4503-4261-2. S2CID 17433405.
Clarkson & Schneider 2010, p. 13: "observational determinism OD (2.6) cannot be expressed as a 2-safety property, but it is a 2-safety hyperproperty". Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
Clarkson & Schneider 2010, p. 19. Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
D'Osualdo; Farzan; Dreyer (2022). "Proving hypersafety compositionally". Proceedings of the ACM on Programming Languages. 6 (OOPSLA2): 289–314. arXiv:2209.07448. doi:10.1145/3563298. S2CID 252284134.
Dardinier, Thibault; Müller, Peter (2024). "Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties". Proceedings of the ACM on Programming Languages. 8: 1485–1509. arXiv:2301.10037. doi:10.1145/3656437.
Finkbeiner, Bernd; Rabe, Markus N.; Sánchez, César (2015). "Algorithms for Model Checking HyperLTL and HyperCTL $$^*$$". In Kroening, Daniel; Păsăreanu, Corina S. (eds.). Computer Aided Verification. Lecture Notes in Computer Science. Vol. 9206. Cham: Springer International Publishing. pp. 30–48. doi:10.1007/978-3-319-21690-4_3. ISBN 978-3-319-21690-4.
Hsu, Tzu-Han; Sánchez, César; Bonakdarpour, Borzoo (2021). "Bounded Model Checking for Hyperproperties". In Groote, Jan Friso; Larsen, Kim Guldstrand (eds.). Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science. Vol. 12651. Cham: Springer International Publishing. pp. 94–112. doi:10.1007/978-3-030-72016-2_6. ISBN 978-3-030-72016-2. PMC 7979203.

dx.doi.org

Alpern, Bowen; Schneider, Fred B. (1985-10-07). "Defining liveness". Information Processing Letters. 21 (4): 181–185. doi:10.1016/0020-0190(85)90056-0. ISSN 0020-0190.

medra.org (Global: low place; English: low place)

Clarkson & Schneider 2010, p. 1. Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
Clarkson & Schneider 2010, p. 23: "A labeled transition system [...] can be encoded as a set of traces.". Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
Clarkson & Schneider 2010, p. 25: "A state machine M [...] can be encoded as a set of traces.". Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
Clarkson & Schneider 2010, p. 21. Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
Clarkson & Schneider 2010, p. 11: "Safety properties lift to safety hyperproperties". Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
Clarkson & Schneider 2010, p. 15: "The hyperproperty false, defined as \{\emptyset\}, is hypersafety but not hyperliveness".. Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
Clarkson & Schneider 2010, p. 44. Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
Clarkson & Schneider 2010. Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
Clarkson & Schneider 2010, p. 13: "observational determinism OD (2.6) cannot be expressed as a 2-safety property, but it is a 2-safety hyperproperty". Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
Clarkson & Schneider 2010, p. 19. Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.

nih.gov (Global: 4^th place; English: 4^th place)

ncbi.nlm.nih.gov

Hsu, Tzu-Han; Sánchez, César; Bonakdarpour, Borzoo (2021). "Bounded Model Checking for Hyperproperties". In Groote, Jan Friso; Larsen, Kim Guldstrand (eds.). Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science. Vol. 12651. Cham: Springer International Publishing. pp. 94–112. doi:10.1007/978-3-030-72016-2_6. ISBN 978-3-030-72016-2. PMC 7979203.

semanticscholar.org (Global: 11^th place; English: 8^th place)

api.semanticscholar.org

Clarkson & Schneider 2010, p. 1. Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
Clarkson & Schneider 2010, p. 23: "A labeled transition system [...] can be encoded as a set of traces.". Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
Clarkson & Schneider 2010, p. 25: "A state machine M [...] can be encoded as a set of traces.". Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
Clarkson & Schneider 2010, p. 21. Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
Finkbeiner, Bernd; Haas, Lennart; Torfah, Hazem (June 2019). "Canonical Representations of k-Safety Hyperproperties". 2019 IEEE 32nd Computer Security Foundations Symposium (CSF). pp. 17–1714. doi:10.1109/CSF.2019.00009. ISBN 978-1-7281-1407-1. S2CID 201848133.
Clarkson & Schneider 2010, p. 11: "Safety properties lift to safety hyperproperties". Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
Clarkson & Schneider 2010, p. 15: "The hyperproperty false, defined as \{\emptyset\}, is hypersafety but not hyperliveness".. Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
Clarkson & Schneider 2010, p. 44. Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
Clarkson & Schneider 2010. Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
Sousa & Dillig 2016. Sousa, Marcelo; Dillig, Isil (2016-06-02). "Cartesian hoare logic for verifying k-safety properties". Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI '16. New York, NY, USA: Association for Computing Machinery. pp. 57–69. doi:10.1145/2908080.2908092. ISBN 978-1-4503-4261-2. S2CID 17433405.
Clarkson & Schneider 2010, p. 13: "observational determinism OD (2.6) cannot be expressed as a 2-safety property, but it is a 2-safety hyperproperty". Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
Clarkson & Schneider 2010, p. 19. Clarkson, Michael R.; Schneider, Fred B. (2010-09-20). Sabelfeld, Andrei (ed.). "Hyperproperties". Journal of Computer Security. 18 (6): 1157–1210. doi:10.3233/JCS-2009-0393. S2CID 218604768.
D'Osualdo; Farzan; Dreyer (2022). "Proving hypersafety compositionally". Proceedings of the ACM on Programming Languages. 6 (OOPSLA2): 289–314. arXiv:2209.07448. doi:10.1145/3563298. S2CID 252284134.

worldcat.org (Global: 5^th place; English: 5^th place)

search.worldcat.org

Alpern, Bowen; Schneider, Fred B. (1985-10-07). "Defining liveness". Information Processing Letters. 21 (4): 181–185. doi:10.1016/0020-0190(85)90056-0. ISSN 0020-0190.