Marek Jankola

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

Collaborative distances:

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

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

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