I agree that this site is using cookies. You can find further informations here.
X
Eisentraut, Julia
7  results:
Search for persons X
?
1

Learning Attack Trees by Genetic Algorithms:

, In: Theoretical Aspects of Computing – ICTAC 2023; Lecture Notes in Computer Science,
Dorfhuber, Florian ; Eisentraut, Julia ; Křetínský, Jan - p. 55-73 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Value iteration for simple stochastic games: Stopping crite..:

Eisentraut, Julia ; Kelmendi, Edon ; Křetínský, Jan.
Information and Computation.  285 (2022)  - p. 104886 , 2022
Link: https://doi.org/10.1016/..
 
?
3

Assessing Security of Cryptocurrencies with Attack-Defense ..:

, In: Theoretical Aspects of Computing – ICTAC 2021; Lecture Notes in Computer Science,
Eisentraut, Julia ; Holzer, Stephan ; Klioba, Katharina... - p. 214-234 , 2021
Link: https://doi.org/10.1007/..
 
?
4

Expected Cost Analysis of Attack-Defense Trees:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,
Eisentraut, Julia ; Křetínský, Jan - p. 203-221 , 2019
Link: https://doi.org/10.1007/..
 
?
5

Stopping Criteria for Value and Strategy Iteration on Concu..:

Eisentraut, Julia ; Křetínský, Jan ; Rotar, Alexej
http://arxiv.org/abs/1909.08348.  , 2019
Link: http://arxiv.org/abs/190..
 
?
6

Learning Attack Trees by Genetic Algorithms:

Florian Dorfhuber ; Julia Eisentraut ; Jan Křetínský
doi:10.5281/zenodo.8352278.  , 2023
Link: https://zenodo.org/recor..
 
?
7

QuADTool: Analyzing PAC-Quantitative Attack-Defense Trees:

Florian Dorfhuber ; Julia Eisentraut ; Katharina Klioba.
doi:10.5281/zenodo.4095067.  , 2020
Link: https://zenodo.org/recor..
 
1-7