Author:
Bonakdarpour Borzoo,Finkbeiner Bernd
Publisher
Springer International Publishing
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Syntax-Guided Automated Program Repair for Hyperproperties;Lecture Notes in Computer Science;2024
2. Smart Contract Synthesis Modulo Hyperproperties;2023 IEEE 36th Computer Security Foundations Symposium (CSF);2023-07
3. Model checking hyperproperties for Markov decision processes;Information and Computation;2022-11
4. Finite-word hyperlanguages;Information and Computation;2022-08
5. Mapping Synthesis for Hyperproperties;2022 IEEE 35th Computer Security Foundations Symposium (CSF);2022-08