Christian Lidström

19 papers A 1B 1Misc 1Journal 6Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
A program instrumentation framework for automatic verification.
Formal Methods Syst. Des.
Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer, Marten Voorberg
2025 J jnl
AutoDeduct: A Tool for Automated Deductive Verification of C Code.
CoRR
Jesper Amilon, Dilian Gurov, Christian Lidström, Mattias Nyberg, Gustav Ung, Ola Wingbrant
2025 — conf
Automated Parameterized Verification of a Railway Protection System with Dafny.
CAV (4)
Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Christian Lidström, Gianluca Redondi, Giuseppe Scaglione, Matteo Tessi, Dylan Trenti
2025 — conf
Formal Analysis of a Railway Signaling Block Designed in AIDA.
RSSRail
Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Christian Lidström, Gianluca Redondi, Matteo Tessi, Dylan Trenti
2024 J jnl
A Program Instrumentation Framework for Automatic Verification.
CoRR
Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer, Marten Voorberg
2024 — —
Automated Deductive Verification of Safety-Critical Embedded Software.
Christian Lidström
2024 A conf
Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report.
RE
Gustav Ung, Jesper Amilon, Dilian Gurov, Christian Lidström, Mattias Nyberg, Karl Palmskog
2023 J jnl
Automatic Program Instrumentation for Automatic Verification (Extended Technical Report).
CoRR
Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer
2023 — conf
Automatic Program Instrumentation for Automatic Verification.
CAV (3)
Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer
2023 Misc conf
Contract Based Embedded Software Design.
TASE
Christian Lidström, Dilian Gurov
2022 — conf
Alice in Wineland: A Fairy Tale with Contracts.
The Logic of Software. A Tasting Menu of Formal Methods
Dilian Gurov, Christian Lidström, Philipp Rümmer
2022 — conf
Deductive Verification Based Abstraction for Software Model Checking.
ISoLA (1)
Jesper Amilon, Christian Lidström, Dilian Gurov
2022 J jnl
Principles of Contract Languages (Dagstuhl Seminar 22451).
Dagstuhl Reports
Dilian Gurov, Reiner Hähnle, Marieke Huisman, Giles Reger, Christian Lidström
2021 B conf
An Abstract Contract Theory for Programs with Procedures.
FASE
Christian Lidström, Dilian Gurov
2021 J jnl
An Abstract Contract Theory for Programs with Procedures.
CoRR
Christian Lidström, Dilian Gurov
2020 — ch.
Constraint-Based Contract Inference for Deductive Verification.
20 Years of KeY
Anoud Alshnakat, Dilian Gurov, Christian Lidström, Philipp Rümmer
2019 — conf
Improved Pattern for ISO 26262 ASIL Decomposition with Dependent Requirements.
QRS Companion
Christian Lidström, Carl Bondesson, Mattias Nyberg, Jonas Westman
2018 — conf
Formal Verification in Automotive Industry: Enablers and Obstacles.
ISoLA (4)
Mattias Nyberg, Dilian Gurov, Christian Lidström, Andreas Rasmusson, Jonas Westman
2017 — conf
Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report.
FMICS-AVoCS
Dilian Gurov, Christian Lidström, Mattias Nyberg, Jonas Westman