default search action

combined dblp search
author search
venue search
publication search

ask others

Marek Jankola

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2025
[d17]
- view
  authority control:
- export record
  dblp key:
  - data/11/BeyerJRXZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/BeyerJRXZ25
Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Tian Xia, Xiyue Zheng:
Reproduction Package for SPIN 2025 Submission 'A Modular Program-Transformation Framework for Reduction to Reachability'. Version SPIN25-artifact-evaluation. Zenodo, 2025 [all versions]
[d16]
- view
  authority control:
- export record
  dblp key:
  - data/11/BeyerJRXZ25a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/BeyerJRXZ25a
Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Tian Xia, Xiyue Zheng:
Reproduction Package for SPIN 2025 Submission 'A Modular Program-Transformation Framework for Reduction to Reachability'. Version SPIN25-artifact-evaluation-updated. Zenodo, 2025 [all versions]
[d15]
- view
  authority control:
- export record
  dblp key:
  - data/11/RosenfeldBJ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/RosenfeldBJ25
Marian Lingsch Rosenfeld, Dirk Beyer, Marek Jankola:
Reproduction Package for SPIN 2025 Submission 'A Modular Program-Transformation Framework for Reducing Specifications to Reachability'. Version 1. Zenodo, 2025 [all versions]
[i2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2501-16310
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2501-16310
Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Tian Xia, Xiyue Zheng:
A Modular Program-Transformation Framework for Reducing Specifications to Reachability. CoRR abs/2501.16310 (2025)
2024
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/pacmse/0001CJL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmse/0001CJL24
Dirk Beyer, Po-Chun Chien, Marek Jankola, Nian-Ze Lee:
A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification. Proc. ACM Softw. Eng. 1(FSE): 2028-2050 (2024)
[c4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fm/BaierBCJJKLLRWW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BaierBCJJKLLRWW24
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:
Software Verification with CPAchecker 3.0: Tutorial and User Guide. FM (2) 2024: 543-570
[c3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/JankolaS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/JankolaS24
Marek Jankola, Jan Strejcek:
Tighter Construction of Tight Büchi Automata. FoSSaCS (1) 2024: 234-255
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/0001CJ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/0001CJ24
Dirk Beyer, Po-Chun Chien, Marek Jankola:
BenchCloud: A Platform for Scalable Performance Benchmarking. ASE 2024: 2386-2389
[c1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BaierBCJKLLRSWW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BaierBCJKLLRSWW24
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:
CPAchecker 2.3 with Strategy Selection - (Competition Contribution). TACAS (3) 2024: 359-364
[d14]
- view
  authority control:
- export record
  dblp key:
  - data/11/BeierBCJJKLLRWW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/BeierBCJJKLLRWW24
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:
Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker: Tutorial and User Guide'. Version submission. Zenodo, 2024 [all versions]
[d13]
- view
  authority control:
- export record
  dblp key:
  - data/11/BeierBCJJKLLRWW24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/BeierBCJJKLLRWW24a
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:
Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker 3.0: Tutorial and User Guide'. Version proceedings. Zenodo, 2024 [all versions]
[d12]
- view
  authority control:
- export record
  dblp key:
  - data/11/BeierBCJJKLLRWW24c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/BeierBCJJKLLRWW24c
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:
Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker 3.0: Tutorial and User Guide'. Version FM24-proceedings2. Zenodo, 2024 [all versions]
[d11]
- view
  authority control:
- export record
  dblp key:
  - data/11/BeyerCJ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/BeyerCJ24
Dirk Beyer, Po-Chun Chien, Marek Jankola:
BenchCloud: A Platform for Scalable Performance Benchmarking. Version 1.0.0. Zenodo, 2024 [all versions]
[d10]
- view
  authority control:
- export record
  dblp key:
  - data/11/BeyerCJ24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/BeyerCJ24a
Dirk Beyer, Po-Chun Chien, Marek Jankola:
BenchCloud Release 1.1. Version 1.1. Zenodo, 2024 [all versions]
[d9]
- view
  authority control:
- export record
  dblp key:
  - data/11/BeyerCJ24c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/BeyerCJ24c
Dirk Beyer, Po-Chun Chien, Marek Jankola:
BenchCloud Release 1.2. Version 1.2. Zenodo, 2024 [all versions]
[d8]
- view
  authority control:
- export record
  dblp key:
  - data/11/BeyerCJ24d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/BeyerCJ24d
Dirk Beyer, Po-Chun Chien, Marek Jankola:
BenchCloud Release 1.2.1. Version 1.2.1. Zenodo, 2024 [all versions]
[d7]
- view
  authority control:
- export record
  dblp key:
  - data/11/BeyerCJ24e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/BeyerCJ24e
Dirk Beyer, Po-Chun Chien, Marek Jankola:
BenchCloud Release 1.3. Version 1.3. Zenodo, 2024 [all versions]
[d6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/11/BeyerCJL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/BeyerCJL24
Dirk Beyer, Po-Chun Chien, Marek Jankola, Nian-Ze Lee:
Reproduction Package for FSE 2024 Article 'A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification'. Zenodo, 2024
[d5]
- view
  authority control:
- export record
  dblp key:
  - data/11/BeyerWRKJJB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/BeyerWRKJJB24
Dirk Beyer, Philipp Wendler, Marian Lingsch Rosenfeld, Matthias Kettl, Marek Jankola, Marie-Christine Jakobs, Daniel Baier:
CPAchecker (SV-COMP25 submission). Version CPAchecker-3.1-svn-638db04720-unix. Zenodo, 2024 [all versions]
[d4]
- view
  authority control:
- export record
  dblp key:
  - data/11/BeyerWRKJJB24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/BeyerWRKJJB24a
Dirk Beyer, Philipp Wendler, Marian Lingsch Rosenfeld, Matthias Kettl, Marek Jankola, Marie-Christine Jakobs, Daniel Baier:
CPAchecker (SV-COMP25 submission). Version 3.1-svn-74393fd80e-unix. Zenodo, 2024 [all versions]
[d3]
- view
  authority control:
- export record
  dblp key:
  - data/11/BeyerWRKJJB24b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/BeyerWRKJJB24b
Dirk Beyer, Philipp Wendler, Marian Lingsch Rosenfeld, Matthias Kettl, Marek Jankola, Marie-Christine Jakobs, Daniel Baier:
CPAchecker (SV-COMP25 submission). Version 3.1-svn-0a5c0e8a85. Zenodo, 2024 [all versions]
[d2]
- view
  authority control:
- export record
  dblp key:
  - data/11/BeyerWRKJJB24d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/BeyerWRKJJB24d
Dirk Beyer, Philipp Wendler, Marian Lingsch Rosenfeld, Matthias Kettl, Marek Jankola, Marie-Christine Jakobs, Daniel Baier:
CPAchecker (SV-COMP25 submission). Version 3.1-svn-a4ef7da21b-unix. Zenodo, 2024 [all versions]
[d1]
- view
  authority control:
- export record
  dblp key:
  - data/11/BeyerWRKJJB24e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/BeyerWRKJJB24e
Dirk Beyer, Philipp Wendler, Marian Lingsch Rosenfeld, Matthias Kettl, Marek Jankola, Marie-Christine Jakobs, Daniel Baier:
CPAchecker (SV-COMP25 submission). Version 3.1-svn-d927651c9d. Zenodo, 2024 [all versions]
[i1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2409-02094
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2409-02094
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:
Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version). CoRR abs/2409.02094 (2024)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.