Florian Dorfhuber

According to our database, Florian Dorfhuber authored at least 5 papers between 2023 and 2025.

Collaborative distances:

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

2025

Keep it Simple, or Teach Them Logics: Attack-Defense Tree Perception by Laypeople.

Florian Dorfhuber, Marisol Barrientos, Julia Eisentraut, Jan Kretínský

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2025

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