( en | de | ru )

 

Disambiguierung von "Frenkel, Hadar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Temporal Causality in Reactive Systems.

, , , , , und . ATVA, Volume 13505 von Lecture Notes in Computer Science, Seite 208-224. Springer, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ravit Hadar

Hans Frenkel

Heinrich Frenkel

Christian Frenkel

Gerhard Frenkel

 

Weitere Publikationen von Autoren mit dem selben Namen

Automata over Infinite Data Domains: Learnability and Applications in Program Verification and Repair.. Technion - Israel Institute of Technology, Israel, (2021)Assume, Guarantee or Repair., , , und . TACAS (1), Volume 12078 von Lecture Notes in Computer Science, Seite 211-227. Springer, (2020)On the Complexity of Symbolic Finite-State Automata., , und . CoRR, (2020)Monitoring Second-Order Hyperproperties., , , und . AAMAS, Seite 180-188. International Foundation for Autonomous Agents and Multiagent Systems / ACM, (2024)Second-Order Hyperproperties., , , und . CAV (2), Volume 13965 von Lecture Notes in Computer Science, Seite 309-332. Springer, (2023)Checking and Sketching Causes on Temporal Sequences., , , und . ATVA, Volume 14216 von Lecture Notes in Computer Science, Seite 314-327. Springer, (2023)Synthesis of Temporal Causality., , , und . CAV (3), Volume 14683 von Lecture Notes in Computer Science, Seite 87-111. Springer, (2024)Temporal Causality in Reactive Systems., , , , , und . ATVA, Volume 13505 von Lecture Notes in Computer Science, Seite 208-224. Springer, (2022)Explaining Hyperproperty Violations., , , , , , , und . CAV (1), Volume 13371 von Lecture Notes in Computer Science, Seite 407-429. Springer, (2022)Automata-Based Software Model Checking of Hyperproperties., , , und . NFM, Volume 13903 von Lecture Notes in Computer Science, Seite 361-379. Springer, (2023)