Deductive Verification Based Abstraction for Software Model Checking. - Jesper Amilon; Christian Lidström; Dilian Gurov (ISoLA (1), 2022)

Automatic Program Instrumentation for Automatic Verification. - Jesper Amilon; Zafer Esen; Dilian Gurov; Christian Lidström; Philipp Rümmer (CAV (3), 2023)

Automatic Program Instrumentation for Automatic Verification (Extended Technical Report). - Jesper Amilon; Zafer Esen; Dilian Gurov; Christian Lidström; Philipp Rümmer (CoRR, 2023)

Deductively Verified Program Models for Software Model Checking. - Jesper Amilon; Dilian Gurov (ISoLA (3), 2024)

Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report. - Gustav Ung; Jesper Amilon; Dilian Gurov; Christian Lidström; Mattias Nyberg; Karl Palmskog (RE, 2024)

A Program Instrumentation Framework for Automatic Verification. - Jesper Amilon; Zafer Esen; Dilian Gurov; Christian Lidström; Philipp Rümmer; Marten Voorberg (CoRR, 2024)

AutoDeduct: A Tool for Automated Deductive Verification of C Code. - Jesper Amilon; Dilian Gurov; Christian Lidström; Mattias Nyberg; Gustav Ung; Ola Wingbrant (CoRR, 2025)

Contract Based Program Models for Software Model Checking. - Jesper Amilon; Dilian Gurov (CoRR, 2025)