Florian Dorfhuber

According to our database, Florian Dorfhuber authored at least 4 papers between 2023 and 2024.

Collaborative distances:

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

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