[Research Paper] Fine-Grained Model Slicing for Rebel. - Renate Eilers; Jurriaan Hage; Wishnu Prasetya; Joost Bosman 001 (SCAM, 2018)

Verifying Relational Properties using Trace Logic. - Gilles Barthe; Renate Eilers; Pamina Georgiou; Bernhard Gleiss; Laura Kovács; Matteo Maffei (FMCAD, 2019)