Julius Figge

According to our database, Julius Figge authored at least 2 papers between 2025 and 2026.

Collaborative distances:

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

2026

Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures.

Julius Figge, David Knuplesch, Andreas Maletti, Dragan Zuvic

CoRR, April, 2026

2025

Attack Resilience Hyperproperties: Formal Security Analysis of (Automotive) Network Architectures Under Active Compromise.

Julius Figge, David Knuplesch, Andreas Maletti, Dragan Zuvic

Proceedings of the Software Engineering and Formal Methods - 23rd International Conference, 2025