Christian Lidström

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

Collaborative distances:

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

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