Model Checking ømega-Regular Properties with Decoupled Search. - Daniel Gnad 001; Jan Eisenhut; Alberto Lluch-Lafuente; Jörg Hoffmann 001 (CAV (2), 2021)

Automatic Metamorphic Test Oracles for Action-Policy Testing. - Jan Eisenhut; Álvaro Torralba; Maria Christakis; Jörg Hoffmann 001 (ICAPS, 2023)

New Fuzzing Biases for Action Policy Testing. - Jan Eisenhut; Xandra Schuler; Daniel Fiser; Daniel Höller; Maria Christakis; Jörg Hoffmann 001 (ICAPS, 2024)