Christian Lidström

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 11

Top Topics

Syntactic And Semantic Dependencies

Formal Verification

Technical Report

Top Venues

Publications

Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer
Automatic Program Instrumentation for Automatic Verification. CAV (3) (2023)
Christian Lidström, Dilian Gurov
Contract Based Embedded Software Design. TASE (2023)
Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer
Automatic Program Instrumentation for Automatic Verification (Extended Technical Report). CoRR (2023)
Dilian Gurov, Christian Lidström, Philipp Rümmer
Alice in Wineland: A Fairy Tale with Contracts. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Dilian Gurov, Reiner Hähnle, Marieke Huisman, Giles Reger, Christian Lidström
Principles of Contract Languages (Dagstuhl Seminar 22451). Dagstuhl Reports 12 (11) (2022)
Jesper Amilon, Christian Lidström, Dilian Gurov
Deductive Verification Based Abstraction for Software Model Checking. ISoLA (1) (2022)
Christian Lidström, Dilian Gurov
An Abstract Contract Theory for Programs with Procedures. CoRR (2021)
Christian Lidström, Dilian Gurov
An Abstract Contract Theory for Programs with Procedures. FASE (2021)
Christian Lidström, Carl Bondesson, Mattias Nyberg, Jonas Westman
Improved Pattern for ISO 26262 ASIL Decomposition with Dependent Requirements. QRS Companion (2019)
Mattias Nyberg, Dilian Gurov, Christian Lidström, Andreas Rasmusson, Jonas Westman
Formal Verification in Automotive Industry: Enablers and Obstacles. ISoLA (4) (2018)
Dilian Gurov, Christian Lidström, Mattias Nyberg, Jonas Westman
Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report. FMICS-AVoCS (2017)