Julia Eisentraut

Orcid: 0000-0002-7735-8751

According to our database1, Julia Eisentraut authored at least 6 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification.
Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

2023
Learning Attack Trees by Genetic Algorithms.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2022
Value iteration for simple stochastic games: Stopping criterion and learning algorithm.
Inf. Comput., 2022

2021
Assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

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

Expected Cost Analysis of Attack-Defense Trees.
Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019


  Loading...