( en | de | ru )

 

Disambiguation of "Hofmann, Jana"

Author of the publication

copydeleteadd this publication to your clipboard
Deciding Hyperproperties Combined with Functional Specifications.

, , , , and . LICS, page 56:1-56:13. ACM, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Visvaldis Janavs

Reinhard Janas

Mohammad al- Janabi

Maria Janacek-Alex

Vinod Janardhanan

 

Other publications of authors with the same name

The Hierarchy of Hyperlogics., , , and . LICS, page 1-13. IEEE, (2019)Reactive Synthesis of Smart Contract Control Flows., , , and . CoRR, (2022)Logische Methoden für die Hierarchie der Hyperlogiken.. Ausgezeichnete Informatikdissertationen, (2022)Realizing Omega-regular Hyperproperties., , , and . CoRR, (2021)Reactive Synthesis of Smart Contract Control Flows., , , and . ATVA (1), volume 14215 of Lecture Notes in Computer Science, page 248-269. Springer, (2023)Realizing ømega-regular Hyperproperties., , , and . CAV (2), volume 12225 of Lecture Notes in Computer Science, page 40-63. Springer, (2020)Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity., , , , and . FSTTCS, volume 213 of LIPIcs, page 52:1-52:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Automata-Based Software Model Checking of Hyperproperties., , , and . NFM, volume 13903 of Lecture Notes in Computer Science, page 361-379. Springer, (2023)Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity., , , , and . CoRR, (2020)Deciding Hyperproperties Combined with Functional Specifications., , , , and . LICS, page 56:1-56:13. ACM, (2022)