The Hierarchy of Hyperlogics N Coenen, B Finkbeiner, C Hahn, J Hofmann 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019 | 60 | 2019 |
Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity J Virtema, J Hofmann, B Finkbeiner, J Kontinen, F Yang 41st IARCS Annual Conference on Foundations of Software Technology and …, 2020 | 15 | 2020 |
Realizing Omega-regular Hyperproperties B Finkbeiner, C Hahn, J Hofmann, L Tentrup 32nd International Conference on Computer-Aided Verification (CAV), 2020 | 15* | 2020 |
Deciding hyperproperties combined with functional specifications R Beutner, D Carral, B Finkbeiner, J Hofmann, M Krötzsch 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2022 | 10 | 2022 |
Smart contract synthesis modulo hyperproperties N Coenen, B Finkbeiner, J Hofmann, J Tillman 2023 IEEE 36th Computer Security Foundations Symposium (CSF), 276-291, 2023 | 6 | 2023 |
Runtime Enforcement of Hyperproperties N Coenen, B Finkbeiner, C Hahn, J Hofmann, Y Schillo 19th International Symposium on Automated Technology for Verification and …, 2021 | 6 | 2021 |
Speculation at Fault: Modeling and Testing Microarchitectural Leakage of {CPU} Exceptions J Hofmann, E Vannacci, C Fournet, B Köpf, O Oleksenko 32nd USENIX Security Symposium (USENIX Security 23), 7143-7160, 2023 | 5 | 2023 |
Automata-based software model checking of hyperproperties B Finkbeiner, H Frenkel, J Hofmann, J Lohse NASA Formal Methods Symposium, 361-379, 2023 | 4 | 2023 |
Reactive synthesis of smart contract control flows B Finkbeiner, J Hofmann, F Kohn, N Passing International Symposium on Automated Technology for Verification and …, 2023 | 3 | 2023 |
Logical Methods for the Hierarchy of Hyperlogics J Hofmann Saarländische Universitäts-und Landesbibliothek, 2022 | 2 | 2022 |
Logische Methoden für die Hierarchie der Hyperlogiken J Hofmann Gesellschaft für Informatik eV, 2023 | | 2023 |
The Hierarchy of Hyperlogics: A Knowledge Reasoning Perspective N Coenen, B Finkbeiner, C Hahn, J Hofmann | | 2020 |
Undecidability of Weak Bisimulation Equivalence in Unary One-Counter Petri Nets J Hofmann University of Edinburgh, 2017 | | 2017 |
Verified Algorithms for Context-Free Grammars in Coq J Hofmann https://www.ps.uni-saarland.de/~hofmann/bachelor/coq/toc.html, 2016 | | 2016 |
Dissertation Summary: Logical Methods for the Hierarchy of Hyperlogics J Hofmann | | |