Marek Jankola
Orcid: 0009-0008-7961-190X
According to our database1,
Marek Jankola
authored at least 7 papers
in 2024.
Collaborative distances:
Collaborative distances:
Timeline
2024
0
1
2
3
4
5
6
7
8
2
4
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Reproduction Package for FSE 2024 Article 'A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification'.
Dataset, May, 2024
A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification.
Proc. ACM Softw. Eng., 2024
Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version).
CoRR, 2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024
Proceedings of the Foundations of Software Science and Computation Structures, 2024
Proceedings of the Formal Methods - 26th International Symposium, 2024