Christian Lidstrm
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
2017–2026
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | IJCAR | Verification of Configurable SRA Systems. | Alessandro Cimatti, Alberto Griggio, Christian Lidstrm, Gianluca Redondi, Dylan Trenti |
| 2025 | CAV | Automated Parameterized Verification of a Railway Protection System with Dafny. | Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Christian Lidstrm, Gianluca Redondi, Giuseppe Scaglione, Matteo Tessi, Dylan Trenti |
| 2024 | RE | Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report. | Gustav Ung, Jesper Amilon, Dilian Gurov, Christian Lidstrm, Mattias Nyberg, Karl Palmskog |
| 2023 | CAV | Automatic Program Instrumentation for Automatic Verification. | Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidstrm, Philipp Rmmer |
| 2023 | TASE | Contract Based Embedded Software Design. | Christian Lidstrm, Dilian Gurov |
| 2022 | ISoLA | Deductive Verification Based Abstraction for Software Model Checking. | Jesper Amilon, Christian Lidstrm, Dilian Gurov |
| 2021 | FASE | An Abstract Contract Theory for Programs with Procedures. | Christian Lidstrm, Dilian Gurov |
| 2019 | QRS | Improved Pattern for ISO 26262 ASIL Decomposition with Dependent Requirements. | Christian Lidstrm, Carl Bondesson, Mattias Nyberg, Jonas Westman |
| 2018 | ISoLA | Formal Verification in Automotive Industry: Enablers and Obstacles. | Mattias Nyberg, Dilian Gurov, Christian Lidstrm, Andreas Rasmusson, Jonas Westman |
| 2017 | FMICS | Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report. | Dilian Gurov, Christian Lidstrm, Mattias Nyberg, Jonas Westman |