Christian Lidström

According to our database, Christian Lidström authored at least 16 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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, January, 2025

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

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

Automated Deductive Verification of Safety-Critical Embedded Software.

Christian Lidström

PhD thesis, 2024

A Program Instrumentation Framework for Automatic Verification.

Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer, Marten Voorberg

CoRR, 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

Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

2023

Automatic Program Instrumentation for Automatic Verification (Extended Technical Report).

Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer

CoRR, 2023

Contract Based Embedded Software Design.

Christian Lidström, Dilian Gurov

Proceedings of the Theoretical Aspects of Software Engineering, 2023

Automatic Program Instrumentation for Automatic Verification.

Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Principles of Contract Languages (Dagstuhl Seminar 22451).

Dilian Gurov, Reiner Hähnle, Marieke Huisman, Giles Reger, Christian Lidström

Dagstuhl Reports, November, 2022

Deductive Verification Based Abstraction for Software Model Checking.

Jesper Amilon, Christian Lidström, Dilian Gurov

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Alice in Wineland: A Fairy Tale with Contracts.

Dilian Gurov, Christian Lidström, Philipp Rümmer

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

An Abstract Contract Theory for Programs with Procedures.

Christian Lidström, Dilian Gurov

Proceedings of the Fundamental Approaches to Software Engineering, 2021

2020

Constraint-Based Contract Inference for Deductive Verification.

Anoud Alshnakat, Dilian Gurov, Christian Lidström, Philipp Rümmer

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

2019

Improved Pattern for ISO 26262 ASIL Decomposition with Dependent Requirements.

Christian Lidström, Carl Bondesson, Mattias Nyberg, Jonas Westman

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

2018

Formal Verification in Automotive Industry: Enablers and Obstacles.

Mattias Nyberg, Dilian Gurov, Christian Lidström, Andreas Rasmusson, Jonas Westman

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

2017

Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report.

Dilian Gurov, Christian Lidström, Mattias Nyberg, Jonas Westman

Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017