Jana Hofmann

Affiliations:

Microsoft Research, UK
Saarland University, Germany (former)

According to our database¹, Jana Hofmann authored at least 9 papers between 2019 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

Automata-Based Software Model Checking of Hyperproperties.

[BibT_eX]

[DOI]

CoRR, 2023

2022

Logical methods for the hierarchy of hyperlogics.

[BibT_eX]

[DOI]

Jana Hofmann

PhD thesis, 2022

Smart Contract Synthesis Modulo Hyperproperties.

[BibT_eX]

[DOI]

CoRR, 2022

Reactive Synthesis of Smart Contract Control Flows.

[BibT_eX]

[DOI]

CoRR, 2022

Deciding Hyperproperties Combined with Functional Specifications.

[BibT_eX]

[DOI]

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity.

[BibT_eX]

[DOI]

Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021

Runtime Enforcement of Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

Realizing ømega-regular Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

The Hierarchy of Hyperlogics.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Jana Hofmann

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...