Julia Eisentraut

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 6

Top Topics

Genetic Algorithm

Health Sciences

Stopping Criterion

Defense Mechanisms

Top Venues

Publications

Florian Dorfhuber, Julia Eisentraut, Katharina Klioba, Jan Kretínský
QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification. CoRR (2024)
Florian Dorfhuber, Julia Eisentraut, Jan Kretínský
Learning Attack Trees by Genetic Algorithms. ICTAC (2023)
Julia Eisentraut, Edon Kelmendi, Jan Kretínský, Maximilian Weininger
Value iteration for simple stochastic games: Stopping criterion and learning algorithm. Inf. Comput. 285 (Part) (2022)
Julia Eisentraut, Stephan Holzer, Katharina Klioba, Jan Kretínský, Lukas Pin, Alexander Wagner
Assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions. ICTAC (2021)
Julia Eisentraut, Jan Kretínský, Alexej Rotar
Stopping Criteria for Value and Strategy Iteration on Concurrent Stochastic Reachability Games. CoRR (2019)
Julia Eisentraut, Jan Kretínský
Expected Cost Analysis of Attack-Defense Trees. QEST (2019)