Author of the publication

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.

 

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 . 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)Deciding Hyperproperties Combined with Functional Specifications., , , , and . LICS, page 56:1-56:13. ACM, (2022)Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions., , , , and . USENIX Security Symposium, page 7143-7160. USENIX Association, (2023)Smart Contract Synthesis Modulo Hyperproperties., , , and . CoRR, (2022)Logical methods for the hierarchy of hyperlogics.. Saarland University, Saarbrücken, Germany, (2022)Smart Contract Synthesis Modulo Hyperproperties., , , and . CSF, page 276-291. IEEE, (2023)