DEL: Dynamic Symbolic Execution-based Lifter for Enhanced Low-Level Intermediate Representation. - Hany Abdelmaksoud; Zain Alabedin Haj Hammadeh; Görschwin Fey; Daniel Lüdtke (DATE, 2023)

Viability of Rust for Avionics Software Development - Current status and way forward. - Jan Sommer; Tamara Gutierrez Rojo; Andreas Lund 001; Hany Abdelmaksoud; Daniel Lüdtke (Software Engineering Companion, 2025)