Number of items: 7.
Conference or Workshop Item (A Paper)
Finkbeiner, Bernd and Frenkel, Hadar and Hofmann, Jana and Janine, Lohse
(2023)
Automata-Based Software Model Checking of Hyperproperties.
Beutner, Raven and Carral, David and Finkbeiner, Bernd and Hofmann, Jana and Krötzsch, Markus
(2022)
Deciding Hyperproperties Combined with Functional Specifications.
(In Press)
Virtema, Jonni and Hofmann, Jana and Finkbeiner, Bernd and Kontinen, Juha and Yang, Fan
(2021)
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity.
Coenen, Norine and Finkbeiner, Bernd and Hahn, Christopher and Hofmann, Jana and Schillo, Yannick
(2021)
Runtime Enforcement of Hyperproperties.
Finkbeiner, Bernd and Hahn, Christopher and Hofmann, Jana and Tentrup, Leander
(2020)
Realizing Omega-regular Hyperproperties.
Coenen, Norine and Finkbeiner, Bernd and Hahn, Christopher and Hofmann, Jana
(2019)
The Hierarchy of Hyperlogics.
Other
Coenen, Norine and Finkbeiner, Bernd and Hahn, Christopher and Hofmann, Jana
(2020)
The Hierarchy of Hyperlogics: A Knowledge Reasoning Perspective.
This list was generated on Sun Dec 22 03:12:58 2024 CET.