Markus Krahl

Orcid: 0009-0009-2435-1108

According to our database¹, Markus Krahl authored at least 3 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

parSAT: Parallel Solving of Floating-Point Satisfiability.

[DOI]

Proceedings of the Proceedings 9th edition of Working Formal Methods Symposium, September, 2025

BMuzz: Combining Bounded Model Checking and Fuzzing to Enhance Code Coverage.

[DOI]

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025, 2025

2024

SafeFloatZone: Identify Safe Domains for Elementary Functions.

[DOI]

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2024