Marek Jankola

According to our database, Marek Jankola authored at least 36 papers between 2024 and 2025.

Collaborative distances:

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

2025

CPAchecker (SV-COMP26 submission).

Dirk Beyer, Philipp Wendler, Marek Jankola, Daniel Baier, Levente Bajczi, Marie-Christine Jakobs, Matthias Kettl, Thomas Lemberger, Marian Lingsch Rosenfeld

Dataset, November, 2025

CPAchecker (SV-COMP26 submission).

Dirk Beyer, Philipp Wendler, Marek Jankola, Daniel Baier, Levente Bajczi, Marie-Christine Jakobs, Matthias Kettl, Thomas Lemberger, Marian Lingsch Rosenfeld

Dataset, November, 2025

CPAchecker (SV-COMP26 submission).

Dirk Beyer, Philipp Wendler, Marek Jankola, Daniel Baier, Levente Bajczi, Marie-Christine Jakobs, Matthias Kettl, Thomas Lemberger, Marian Lingsch Rosenfeld

Dataset, November, 2025

CPAchecker (SV-COMP26 submission).

Dirk Beyer, Philipp Wendler, Marek Jankola, Daniel Baier, Levente Bajczi, Marie-Christine Jakobs, Matthias Kettl, Thomas Lemberger, Marian Lingsch Rosenfeld

Dataset, October, 2025

Non-termination Witnesses in Format 2.1 for ASE 2025 Article 'Non-termination Witnesses and Their Validation'.

Zsófia Ádám, Paulína Ayaziová, Levente Bajczi, Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Jan Strejcek

Dataset, October, 2025

Non-termination Witnesses in Format 2.1 for ASE 2025 Article 'Non-termination Witnesses and Their Validation'.

Zsófia Ádám, Paulína Ayaziová, Levente Bajczi, Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Jan Strejcek

Dataset, October, 2025

Reproduction Package for ASE 2025 Paper "Non-termination Witnesses and Their Validation".

Zsófia Ádám, Paulína Ayaziová, Levente Bajczi, Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Jan Strejcek

Dataset, October, 2025

Reproduction Package for STTT 2025 Article 'TransVer: A Modular Program-Transformation Framework for Reduction to Reachability'.

Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld

Dataset, September, 2025

Reproduction Package for SPIN 2025 Article 'TransVer: A Modular Program-Transformation Framework for Reduction to Reachability'.

Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Tian Xia, Xiyue Zheng

Dataset, July, 2025

Reproduction Package for SPIN 2025 Submission 'A Modular Program-Transformation Framework for Reduction to Reachability'.

Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Tian Xia, Xiyue Zheng

Dataset, July, 2025

Reproduction Package for SPIN 2025 Submission 'A Modular Program-Transformation Framework for Reduction to Reachability'.

Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Tian Xia, Xiyue Zheng

Dataset, April, 2025

Reproduction Package for SPIN 2025 Submission 'A Modular Program-Transformation Framework for Reduction to Reachability'.

Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Tian Xia, Xiyue Zheng

Dataset, April, 2025

Reproduction Package for SPIN 2025 Submission 'A Modular Program-Transformation Framework for Reducing Specifications to Reachability'.

Marian Lingsch Rosenfeld, Dirk Beyer, Marek Jankola

Dataset, February, 2025

A Modular Program-Transformation Framework for Reducing Specifications to Reachability.

Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Tian Xia, Xiyue Zheng

CoRR, January, 2025

TransVer: A Modular Program-Transformation Framework for Reduction to Reachability.

Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Tian Xia, Xiyue Zheng

Proceedings of the Model Checking Software - 31st International Symposium, 2025

Non-termination Witnesses and Their Validation.

Zsófia Ádám, Paulína Ayaziová, Levente Bajczi, Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Jan Strejcek

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

2024

BenchCloud Release 1.3.

Dirk Beyer, Po-Chun Chien, Marek Jankola

Dataset, December, 2024

CPAchecker (SV-COMP25 submission).

Dirk Beyer, Philipp Wendler, Marian Lingsch Rosenfeld, Matthias Kettl, Marek Jankola, Marie-Christine Jakobs, Daniel Baier

Dataset, November, 2024

CPAchecker (SV-COMP25 submission).

Dirk Beyer, Philipp Wendler, Marian Lingsch Rosenfeld, Matthias Kettl, Marek Jankola, Marie-Christine Jakobs, Daniel Baier

Dataset, November, 2024

CPAchecker (SV-COMP25 submission).

Dirk Beyer, Philipp Wendler, Marian Lingsch Rosenfeld, Matthias Kettl, Marek Jankola, Marie-Christine Jakobs, Daniel Baier

Dataset, November, 2024

CPAchecker (SV-COMP25 submission).

Dirk Beyer, Philipp Wendler, Marian Lingsch Rosenfeld, Matthias Kettl, Marek Jankola, Marie-Christine Jakobs, Daniel Baier

Dataset, November, 2024

BenchCloud Release 1.2.1.

Dirk Beyer, Po-Chun Chien, Marek Jankola

Dataset, November, 2024

BenchCloud Release 1.2.

Dirk Beyer, Po-Chun Chien, Marek Jankola

Dataset, November, 2024

CPAchecker (SV-COMP25 submission).

Dirk Beyer, Philipp Wendler, Marian Lingsch Rosenfeld, Matthias Kettl, Marek Jankola, Marie-Christine Jakobs, Daniel Baier

Dataset, October, 2024

BenchCloud Release 1.1.

Dirk Beyer, Po-Chun Chien, Marek Jankola

Dataset, September, 2024

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker 3.0: Tutorial and User Guide'.

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

Dataset, September, 2024

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker 3.0: Tutorial and User Guide'.

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

Dataset, July, 2024

BenchCloud: A Platform for Scalable Performance Benchmarking.

Dirk Beyer, Po-Chun Chien, Marek Jankola

Dataset, June, 2024

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker: Tutorial and User Guide'.

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

Dataset, June, 2024

Reproduction Package for FSE 2024 Article 'A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification'.

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

Dataset, May, 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

BenchCloud: A Platform for Scalable Performance Benchmarking.

Dirk Beyer, Po-Chun Chien, Marek Jankola

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 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