Christian Lidström
According to our database1,
Christian Lidström
authored at least 13 papers
between 2017 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
1
1
1
1
2
2
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
PhD thesis, 2024
Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report.
Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024
2023
Automatic Program Instrumentation for Automatic Verification (Extended Technical Report).
CoRR, 2023
Proceedings of the Theoretical Aspects of Software Engineering, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
2022
Dagstuhl Reports, November, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022
Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022
2021
Proceedings of the Fundamental Approaches to Software Engineering, 2021
2020
Proceedings of the Deductive Software Verification: Future Perspectives, 2020
2019
Proceedings of the 19th IEEE International Conference on Software Quality, 2019
2018
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.
Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017