I am a PhD student at the chair of Prof. Jörg Hoffmann in the Computer
Science department at Saarland University.
My current research deals with action policy testing.
Publications:
J. Eisenhut,
A. Torralba,
M. Christakis,
and J. Hoffmann,
Automatic Metamorphic Test Oracles for Action-Policy Testing,
Proceedings of the 33rd International Conference on Automated
Planning and Scheduling (ICAPS'23), 2023. (PDF)
D. Gnad,
J. Eisenhut,
A. Lluch Lafuente, and
J. Hoffmann,
Model Checking ω-Regular Properties with Decoupled Search,
Proceedings of the 33rd International Conference on Computer-Aided
Verification (CAV'21), 2021. (PDF)