Follow
Jana Hofmann
Jana Hofmann
Postdoc at Azure Research, Microsoft
Verified email at microsoft.com - Homepage
Title
Cited by
Cited by
Year
The Hierarchy of Hyperlogics
N Coenen, B Finkbeiner, C Hahn, J Hofmann
34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019
592019
Realizing Omega-regular Hyperproperties
B Finkbeiner, C Hahn, J Hofmann, L Tentrup
32nd International Conference on Computer-Aided Verification (CAV), 2020
16*2020
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
152020
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
112022
Runtime Enforcement of Hyperproperties
N Coenen, B Finkbeiner, C Hahn, J Hofmann, Y Schillo
19th International Symposium on Automated Technology for Verification and …, 2021
72021
Smart contract synthesis modulo hyperproperties
N Coenen, B Finkbeiner, J Hofmann, J Tillman
2023 IEEE 36th Computer Security Foundations Symposium (CSF), 276-291, 2023
62023
Reactive synthesis of smart contract control flows
B Finkbeiner, J Hofmann, F Kohn, N Passing
International Symposium on Automated Technology for Verification and …, 2023
32023
Automata-based software model checking of hyperproperties
B Finkbeiner, H Frenkel, J Hofmann, J Lohse
NASA Formal Methods Symposium, 361-379, 2023
32023
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
32023
Logical Methods for the Hierarchy of Hyperlogics
J Hofmann
Saarländische Universitäts-und Landesbibliothek, 2022
22022
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
The system can't perform the operation now. Try again later.
Articles 1–15