Dr. Jana Hofmann

Now at Max Planck Institute for Security and Privacy (MPI-SP)

Publications

While being a member of this group or in collaboration with us.

A Deductive System for Contract Satisfaction Proofs

Arthur Correnson, Haoyi Zeng and Jana Hofmann · PLDI 2026
Reactive Synthesis of Smart Contract Control Flows

Bernd Finkbeiner, Jana Hofmann, Florian Kohn and Noemi Passing · ATVA 2023
Smart Contract Synthesis Modulo Hyperproperties

Norine Coenen, Bernd Finkbeiner, Jana Hofmann and Julia Tillman · CSF 2023 · CSF Distinguished Paper Award 2023
Automata-Based Software Model Checking of Hyperproperties

Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann and Janine Lohse · NFM 2023
Deciding Hyperproperties Combined with Functional Specifications

Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann and Markus Krötzsch · LICS 2022
Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity

Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen and Fan Yang · FSTTCS 2021
Runtime Enforcement of Hyperproperties

Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann and Yannick Schillo · ATVA 2021
The Hierarchy of Hyperlogics: A Knowledge Reasoning Perspective

Norine Coenen, Bernd Finkbeiner, Christopher Hahn and Jana Hofmann · KR 2020
Realizing Omega-regular Hyperproperties

Bernd Finkbeiner, Christopher Hahn, Jana Hofmann and Leander Tentrup · CAV 2020
The Hierarchy of Hyperlogics

Norine Coenen, Bernd Finkbeiner, Christopher Hahn and Jana Hofmann · LICS 2019

Advised Theses and Student Projects

Contact Data Privacy Policy Imprint

Home People Publications

More