Marek Jankola

Orcid: 0009-0008-7961-190X

According to our database1, Marek Jankola authored at least 7 papers in 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

2024
0
1
2
3
4
5
6
7
8
2
4
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

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

CPAchecker 2.3 with Strategy Selection - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

BenchCloud: A Platform for Scalable Performance Benchmarking.
Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

Tighter Construction of Tight Büchi Automata.
Proceedings of the Foundations of Software Science and Computation Structures, 2024

Software Verification with CPAchecker 3.0: Tutorial and User Guide.
Proceedings of the Formal Methods - 26th International Symposium, 2024


  Loading...