Formally Verified Quite OK Image Format. - Mario Bucev; Viktor Kuncak (FMCAD, 2022)

Formula Normalizations in Verification. - Simon Guilloud; Mario Bucev; Dragana Milovancevic; Viktor Kuncak (CAV (3), 2023)

Proving Termination via Measure Transfer in Equivalence Checking. - Dragana Milovancevic; Carsten Fuhs; Mario Bucev; Viktor Kuncak (IFM, 2024)

Formal Autograding in a Classroom. - Dragana Milovancevic; Mario Bucev; Marcin Wojnarowski; Samuel Chassot; Viktor Kuncak (ESOP (2), 2025)

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study. - Mario Bucev; Samuel Chassot; Simon Felix; Filip Schramka; Viktor Kuncak (VMCAI (2), 2025)