Literatura académica sobre el tema "Hyperproperties verification"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Hyperproperties verification".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Hyperproperties verification"
Dardinier, Thibault, Anqi Li, and Peter Müller. "Hypra: A Deductive Program Verifier for Hyper Hoare Logic." Proceedings of the ACM on Programming Languages 8, OOPSLA2 (2024): 1279–308. http://dx.doi.org/10.1145/3689756.
Texto completoBeutner, Raven, and Bernd Finkbeiner. "Non-deterministic Planning for Hyperproperty Verification." Proceedings of the International Conference on Automated Planning and Scheduling 34 (May 30, 2024): 25–30. http://dx.doi.org/10.1609/icaps.v34i1.31457.
Texto completoCorrenson, Arthur, and Bernd Finkbeiner. "Coinductive Proofs for Temporal Hyperliveness." Proceedings of the ACM on Programming Languages 9, POPL (2025): 1568–95. https://doi.org/10.1145/3704889.
Texto completoBaier, Christel. "Verification Column." ACM SIGLOG News 10, no. 2 (2023): 3. http://dx.doi.org/10.1145/3610392.3610393.
Texto completoWang, Yu, Mojtaba Zarei, Borzoo Bonakdarpour, and Miroslav Pajic. "Statistical Verification of Hyperproperties for Cyber-Physical Systems." ACM Transactions on Embedded Computing Systems 18, no. 5s (2019): 1–23. http://dx.doi.org/10.1145/3358232.
Texto completoFinkbeiner, Bernd, Christopher Hahn, Marvin Stenger, and Leander Tentrup. "Efficient monitoring of hyperproperties using prefix trees." International Journal on Software Tools for Technology Transfer 22, no. 6 (2020): 729–40. http://dx.doi.org/10.1007/s10009-020-00552-5.
Texto completoBeutner, Raven, and Bernd Finkbeiner. "Predicate abstraction for hyperliveness verification." Formal Methods in System Design, July 16, 2025. https://doi.org/10.1007/s10703-025-00482-5.
Texto completoStucki, Sandro, César Sánchez, Gerardo Schneider, and Borzoo Bonakdarpour. "Gray-box monitoring of hyperproperties with an application to privacy." Formal Methods in System Design, February 2, 2021. http://dx.doi.org/10.1007/s10703-020-00358-w.
Texto completoAnand, Mahathi, Vishnu Murali, Ashutosh Trivedi, and Majid Zamani. "Verification of Hyperproperties for Dynamical Systems via Barrier Certificates." IEEE Transactions on Automatic Control, 2024, 1–16. http://dx.doi.org/10.1109/tac.2024.3384448.
Texto completoBeutner, Raven, and Bernd Finkbeiner. "AutoHyper: leveraging language inclusion checking for hyperproperty model-checking." International Journal on Software Tools for Technology Transfer, May 6, 2025. https://doi.org/10.1007/s10009-025-00801-5.
Texto completoTesis sobre el tema "Hyperproperties verification"
Pasqua, Michele. "Hyper Static Analysis of Programs - An Abstract Interpretation-Based Framework for Hyperproperties Verification." Doctoral thesis, 2019. http://hdl.handle.net/11562/995302.
Texto completoCapítulos de libros sobre el tema "Hyperproperties verification"
Finkbeiner, Bernd, Christopher Hahn, Marvin Stenger, and Leander Tentrup. "Monitoring Hyperproperties." In Runtime Verification. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-67531-2_12.
Texto completoChalupa, Marek, and Thomas A. Henzinger. "Monitoring Hyperproperties with Prefix Transducers." In Runtime Verification. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-44267-4_9.
Texto completoBeutner, Raven, Bernd Finkbeiner, Hadar Frenkel, and Niklas Metzger. "Second-Order Hyperproperties." In Computer Aided Verification. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37703-7_15.
Texto completoHahn, Christopher. "Algorithms for Monitoring Hyperproperties." In Runtime Verification. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-32079-9_5.
Texto completoFinkbeiner, Bernd, Christopher Hahn, and Hazem Torfah. "Model Checking Quantitative Hyperproperties." In Computer Aided Verification. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-96145-3_8.
Texto completoFinkbeiner, Bernd, Christopher Hahn, Jana Hofmann, and Leander Tentrup. "Realizing $$\omega $$-regular Hyperproperties." In Computer Aided Verification. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-53291-8_4.
Texto completoDobe, Oyendrila, Stefan Schupp, Ezio Bartocci, et al. "Lightweight Verification of Hyperproperties." In Automated Technology for Verification and Analysis. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-45332-8_1.
Texto completoFinkbeiner, Bernd, Christopher Hahn, Philip Lukert, Marvin Stenger, and Leander Tentrup. "Synthesizing Reactive Systems from Hyperproperties." In Computer Aided Verification. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-96145-3_16.
Texto completoBeutner, Raven, and Bernd Finkbeiner. "Software Verification of Hyperproperties Beyond k-Safety." In Computer Aided Verification. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-13185-1_17.
Texto completoBaumeister, Jan, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, and César Sánchez. "A Temporal Logic for Asynchronous Hyperproperties." In Computer Aided Verification. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_33.
Texto completoActas de conferencias sobre el tema "Hyperproperties verification"
Long, Teng, and Guoqing Yao. "Verification for Security-Relevant Properties and Hyperproperties." In 2015 IEEE 12th Intl. Conf. on Ubiquitous Intelligence and Computing, 2015 IEEE 12th Intl. Conf. on Autonomic and Trusted Computing and 2015 IEEE 15th Intl. Conf. on Scalable Computing and Communications and its Associated Workshops (UIC-ATC-ScalCom). IEEE, 2015. http://dx.doi.org/10.1109/uic-atc-scalcom-cbdcom-iop.2015.101.
Texto completoPinisetty, Srinivas, Gerardo Schneider, and David Sands. "Runtime verification of hyperproperties for deterministic programs." In ICSE '18: 40th International Conference on Software Engineering. ACM, 2018. http://dx.doi.org/10.1145/3193992.3193995.
Texto completoAnand, Mahathi, Vishnu Murali, Ashutosh Trivedi, and Majid Zamani. "Formal verification of hyperproperties for control systems." In CPS-IoT Week '21: Cyber-Physical Systems and Internet of Things Week 2021. ACM, 2021. http://dx.doi.org/10.1145/3457335.3461715.
Texto completoAgrawal, Shreya, and Borzoo Bonakdarpour. "Runtime Verification of k-Safety Hyperproperties in HyperLTL." In 2016 IEEE 29th Computer Security Foundations Symposium (CSF). IEEE, 2016. http://dx.doi.org/10.1109/csf.2016.24.
Texto completoZhang, Yusha, Ziyuan Zhu, Yuxin Liu, Zhongkai Tong, Wenjing Cai, and Dan Meng. "A Formal Verification Methodology for Cache Architectures Based on Noninterference Hyperproperties." In 2024 27th International Conference on Computer Supported Cooperative Work in Design (CSCWD). IEEE, 2024. http://dx.doi.org/10.1109/cscwd61410.2024.10580574.
Texto completo