Luc Bryan Heitz

According to our database, Luc Bryan Heitz authored at least 7 papers between 2023 and 2026.

Collaborative distances:

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

2026

Identifying Critical Failure Chains for Resilience in Cyber-Physical Systems using Symbolic Execution.

Christopher Scherb, Mischa Jahn, Alexander Trapp, Nico Bachmann, Ruben Hutter, Luc Bryan Heitz

Proceedings of the 23rd Consumer Communications & Networking Conference, 2026

2024

Divide and Conquer based Symbolic Vulnerability Detection.

Christopher Scherb, Luc Bryan Heitz, Hermann Grieder

CoRR, 2024

Evaluation of the Programming Skills of Large Language Models.

Luc Bryan Heitz, Joun Chamas, Christopher Scherb

CoRR, 2024

CyMed: A Framework for Testing Connected Medical Devices.

Christopher Scherb, Adrian Hadayah, Luc Bryan Heitz, Hermann Grieder, Petra Maria Asprion

Proceedings of the Society 5.0 - 4th International Conference, 2024

2023

Divide, Conquer and Verify: Improving Symbolic Execution Performance.

Christopher Scherb, Luc Bryan Heitz, Hermann Grieder, Olivier Mattmann

CoRR, 2023

CyMed: A Framework for Testing Cybersecurity of Connected Medical Devices.

Christopher Scherb, Adrian Hadayah, Luc Bryan Heitz

CoRR, 2023

A Serious Game for Simulating Cyberattacks to Teach Cybersecurity.

Christopher Scherb, Luc Bryan Heitz, Frank Grimberg, Hermann Grieder, Marcel Maurer

CoRR, 2023