Marek Jankola

According to our database, Marek Jankola authored at least 5 papers in 2024.

Collaborative distances:

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

2024

A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification.

Dirk Beyer, Po-Chun Chien, Marek Jankola, Nian-Ze Lee

Proc. ACM Softw. Eng., 2024

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version).

Daniel Baier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, Philipp Wendler

CoRR, 2024

CPAchecker 2.3 with Strategy Selection - (Competition Contribution).

Daniel Baier, Dirk Beyer, Po-Chun Chien, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Martin Spiessl, Henrik Wachowitz, Philipp Wendler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Tighter Construction of Tight Büchi Automata.

Marek Jankola, Jan Strejcek

Proceedings of the Foundations of Software Science and Computation Structures, 2024

Software Verification with CPAchecker 3.0: Tutorial and User Guide.

Daniel Baier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, Philipp Wendler

Proceedings of the Formal Methods - 26th International Symposium, 2024