{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T10:59:52Z","timestamp":1770289192007,"version":"3.49.0"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319667058","type":"print"},{"value":"9783319667065","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66706-5_12","type":"book-chapter","created":{"date-parts":[[2017,8,18]],"date-time":"2017-08-18T00:13:26Z","timestamp":1503015206000},"page":"232-252","source":"Crossref","is-referenced-by-count":11,"title":["Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification"],"prefix":"10.1007","author":[{"given":"Isabella","family":"Mastroeni","sequence":"first","affiliation":[]},{"given":"Michele","family":"Pasqua","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,19]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Agrawal, S., Bonakdarpour, B.: Runtime verification of k-safety hyperproperties in HyperLTL. In: IEEE 29th Computer Security Foundations Symposium, CSF 2016, Lisbon, Portugal, 27 June\u20131 July, 2016, pp. 239\u2013252 (2016). \nhttp:\/\/dx.doi.org\/10.1109\/CSF.2016.24","DOI":"10.1109\/CSF.2016.24"},{"issue":"4","key":"12_CR2","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B Alpern","year":"1985","unstructured":"Alpern, B., Schneider, F.B.: Defining liveness. Inf. Process. Lett. 21(4), 181\u2013185 (1985)","journal-title":"Inf. Process. Lett."},{"key":"12_CR3","unstructured":"Assaf, M., Naumann, D.A., Signoles, J., Totel, E., Tronel, F.: Hypercollecting semantics and its application to static analysis of information flow. In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, 18\u201320 January 2017, pp. 874\u2013887 (2017). \nhttp:\/\/dl.acm.org\/citation.cfm?id=3009889"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Clarkson, M.R., Finkbeiner, B., Koleini, M., Micinski, K.K., Rabe, M.N., S\u00e1nchez, C.: Temporal logics for hyperproperties. In: Proceedings of the 3rd Conference on Principles of Security and Trust (POST 2014) (2014)","DOI":"10.1007\/978-3-642-54792-8_15"},{"issue":"6","key":"12_CR5","doi-asserted-by":"crossref","first-page":"1157","DOI":"10.3233\/JCS-2009-0393","volume":"18","author":"MR Clarkson","year":"2010","unstructured":"Clarkson, M.R., Schneider, F.B.: Hyperproperties. J. Comput. Secur. 18(6), 1157\u20131210 (2010). \nhttp:\/\/dl.acm.org\/citation.cfm?id=1891823.1891830","journal-title":"J. Comput. Secur."},{"issue":"2","key":"12_CR6","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1145\/234528.234740","volume":"28","author":"P Cousot","year":"1996","unstructured":"Cousot, P.: Abstract interpretation. ACM Comput. Surv. 28(2), 324\u2013328 (1996). \nhttp:\/\/doi.acm.org\/10.1145\/234528.234740","journal-title":"ACM Comput. Surv."},{"issue":"1\u20132","key":"12_CR7","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/S0304-3975(00)00313-3","volume":"277","author":"P Cousot","year":"2002","unstructured":"Cousot, P.: Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Theor. Comput. Sci. 277(1\u20132), 47\u2013103 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL 1977, pp. 238\u2013252. ACM, New York (1977)","DOI":"10.1145\/512950.512973"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL 1979, NY, USA, pp. 269\u2013282 (1979). \nhttp:\/\/doi.acm.org\/10.1145\/567752.567778","DOI":"10.1145\/567752.567778"},{"issue":"4","key":"12_CR10","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1093\/logcom\/2.4.511","volume":"2","author":"P Cousot","year":"1992","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation frameworks. J. Log. Comput. 2(4), 511\u2013547 (1992). \nhttp:\/\/dx.doi.org\/10.1093\/logcom\/2.4.511","journal-title":"J. Log. Comput."},{"key":"12_CR11","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/S1571-0661(04)80954-X","volume":"45","author":"P Cousot","year":"2001","unstructured":"Cousot, P., Cousot, R.: A case study in abstract interpretation based program transformation. Electron. Notes Theor. Comput. Sci. 45, 41\u201364 (2001). \nhttp:\/\/www.sciencedirect.com\/science\/article\/pii\/S157106610480954X","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Systematic design of program transformation frameworks by abstract interpretation. In: Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2002, NY, USA, pp. 178\u2013190. ACM, New York (2002)","DOI":"10.1145\/503272.503290"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: An abstract interpretation framework for termination. In: Conference Record of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Philadelphia, PA, pp. 245\u2013258. ACM, New York, January 2012","DOI":"10.1145\/2103656.2103687"},{"issue":"1","key":"12_CR14","doi-asserted-by":"crossref","first-page":"43","DOI":"10.2140\/pjm.1979.82.43","volume":"82","author":"R Cousot","year":"1979","unstructured":"Cousot, R., Cousot, P.: Constructive versions of Tarski\u2019s fixed point theorems. Pac. J. Math. 82(1), 43\u201357 (1979)","journal-title":"Pac. J. Math."},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-319-21690-4_3","volume-title":"Computer Aided Verification","author":"B Finkbeiner","year":"2015","unstructured":"Finkbeiner, B., Rabe, M.N., S\u00e1nchez, C.: Algorithms for model checking HyperLTL and HyperCTL\n            $$^*$$\n          . In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 30\u201348. Springer, Cham (2015). doi:\n10.1007\/978-3-319-21690-4_3"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Giacobazzi, R., Logozzo, F., Ranzato, F.: Analyzing program analyses. In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, 15\u201317 January 2015, pp. 261\u2013273 (2015)","DOI":"10.1145\/2676726.2676987"},{"issue":"4","key":"12_CR17","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1023\/A:1025872819613","volume":"16","author":"R Giacobazzi","year":"2003","unstructured":"Giacobazzi, R., Mastroeni, I.: Non-standard semantics for program slicing. High. Order Symbolic Comput. 16(4), 297\u2013339 (2003)","journal-title":"High. Order Symbolic Comput."},{"issue":"1\u20133","key":"12_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.tcs.2004.12.021","volume":"337","author":"R Giacobazzi","year":"2005","unstructured":"Giacobazzi, R., Mastroeni, I.: Transforming semantics by abstract interpretation. Theor. Comput. Sci. 337(1\u20133), 1\u201350 (2005)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"12_CR19","doi-asserted-by":"crossref","first-page":"665","DOI":"10.1080\/00207161003703205","volume":"88","author":"I Mastroeni","year":"2011","unstructured":"Mastroeni, I., Giacobazzi, I.: An abstract interpretation-based model for safety semantics. Int. J. Comput. Math. 88(4), 665\u2013694 (2011)","journal-title":"Int. J. Comput. Math."},{"issue":"Part B","key":"12_CR20","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1016\/j.scico.2013.09.014","volume":"93","author":"A Min\u00e9","year":"2014","unstructured":"Min\u00e9, A.: Backward under-approximations in numeric abstract domains to automatically infer sufficient program conditions. Sci. Comput. Program. 93(Part B), 154\u2013182 (2014). Special Issue on Invariant Generation","journal-title":"Sci. Comput. Program."},{"issue":"4","key":"12_CR21","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M Weiser","year":"1984","unstructured":"Weiser, M.: Program slicing. IEEE Trans. Softw. Eng. 10(4), 352\u2013357 (1984)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Zdancewic, S., Myers, A.C.: Observational determinism for concurrent program security. In: Proceedings of IEEE Computer Security Foundations Workshop, Pacific Grove, CA, pp. 29\u201343, June 2003","DOI":"10.1109\/CSFW.2003.1212703"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66706-5_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,18]],"date-time":"2017-08-18T00:16:52Z","timestamp":1503015412000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66706-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319667058","9783319667065"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66706-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}