Configurable Benchmarks for C Model Checkers. - Xaver Fink; Philipp Berger 002; Joost-Pieter Katoen (NFM, 2022)

Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif. - Xaver Fink; Anastasia Mavridou; Andreas Katis; Borja Fernández Adiego (NFM, 2024)