Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report. - Dilian Gurov; Christian Lidström; Mattias Nyberg; Jonas Westman (FMICS-AVoCS, 2017)

Formal Verification in Automotive Industry: Enablers and Obstacles. - Mattias Nyberg; Dilian Gurov; Christian Lidström; Andreas Rasmusson; Jonas Westman (ISoLA (4), 2018)

Improved Pattern for ISO 26262 ASIL Decomposition with Dependent Requirements. - Christian Lidström; Carl Bondesson; Mattias Nyberg; Jonas Westman (QRS Companion, 2019)

Constraint-Based Contract Inference for Deductive Verification. - Anoud Alshnakat; Dilian Gurov; Christian Lidström; Philipp Rümmer (20 Years of KeY, 2020)

An Abstract Contract Theory for Programs with Procedures. - Christian Lidström; Dilian Gurov (FASE, 2021)

Alice in Wineland: A Fairy Tale with Contracts. - Dilian Gurov; Christian Lidström; Philipp Rümmer (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

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

Principles of Contract Languages (Dagstuhl Seminar 22451). - Dilian Gurov; Reiner Hähnle; Marieke Huisman; Giles Reger; Christian Lidström (Dagstuhl Reports, 2022)

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

Contract Based Embedded Software Design. - Christian Lidström; Dilian Gurov (TASE, 2023)

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

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)

Automated Deductive Verification of Safety-Critical Embedded Software. - Christian Lidström (2024)

Automated Parameterized Verification of a Railway Protection System with Dafny. - Roberto Cavada; Alessandro Cimatti; Alberto Griggio; Christian Lidström; Gianluca Redondi; Giuseppe Scaglione; Matteo Tessi; Dylan Trenti (CAV (4), 2025)

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)