Julia Eisentraut

According to our database, Julia Eisentraut authored at least 8 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification.

Florian Dorfhuber, Jan Kretínský, Julia Eisentraut

Dataset, April, 2024

QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification.

Florian Dorfhuber, Jan Kretínský, Julia Eisentraut

Dataset, April, 2024

QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification.

Florian Dorfhuber, Julia Eisentraut, Katharina Klioba, Jan Kretínský

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

2023

Learning Attack Trees by Genetic Algorithms.

Florian Dorfhuber, Julia Eisentraut, Jan Kretínský

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2022

Value iteration for simple stochastic games: Stopping criterion and learning algorithm.

Julia Eisentraut, Edon Kelmendi, Jan Kretínský, Maximilian Weininger

Inf. Comput., 2022

2021

Assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions.

Julia Eisentraut, Stephan Holzer, Katharina Klioba, Jan Kretínský, Lukas Pin, Alexander Wagner

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

2019

Stopping Criteria for Value and Strategy Iteration on Concurrent Stochastic Reachability Games.

Julia Eisentraut, Jan Kretínský, Alexej Rotar

CoRR, 2019

Expected Cost Analysis of Attack-Defense Trees.

Julia Eisentraut, Jan Kretínský

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019