default search action

combined dblp search
author search
venue search
publication search

ask others

Matthias Kettl

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

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

2024
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/pacmse/0001K024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmse/0001K024
Dirk Beyer, Matthias Kettl, Thomas Lemberger:
Decomposing Software Verification using Distributed Summary Synthesis. Proc. ACM Softw. Eng. 1(FSE): 1307-1329 (2024)

Conference and Workshop Papers

see FAQ

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

2024
[c6]
- 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
[c5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icse/0001K024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/0001K024
Dirk Beyer, Matthias Kettl, Thomas Lemberger:
Fault Localization on Verification Witnesses (Poster Paper). ICSE Companion 2024: 339-340
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/msr/BeyerGKRR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msr/BeyerGKRR24
Dirk Beyer, Lars Grunske, Matthias Kettl, Marian Lingsch Rosenfeld, Moeketsi Raselimo:
P3: A Dataset of Partial Program Patches. MSR 2024: 123-127
[c3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/spin/BeyerKL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/BeyerKL24
Dirk Beyer, Matthias Kettl, Thomas Lemberger:
Fault Localization on Verification Witnesses. SPIN 2024: 205-224
[c2]
- 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
2022
[c1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/KettlL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/KettlL22
Matthias Kettl, Thomas Lemberger:
The Static Analyzer Infer in SV-COMP (Competition Contribution). TACAS (2) 2022: 451-456

Data and Artifacts

see FAQ

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

2024
[d11]
- 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]
[d10]
- 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]
[d9]
- view
  authority control:
- export record
  dblp key:
  - data/11/BeyerKL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/BeyerKL24
Dirk Beyer, Matthias Kettl, Thomas Lemberger:
Reproduction Package for FSE 2024 Revision 'Decomposing Software Verification Using Distributed Summary Synthesis'. Version FSE24-revision. Zenodo, 2024 [all versions]
[d8]
- view
  authority control:
- export record
  dblp key:
  - data/11/BeyerKL24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/BeyerKL24a
Dirk Beyer, Matthias Kettl, Thomas Lemberger:
Reproduction Package for FSE 2024 Article 'Decomposing Software Verification Using Distributed Summary Synthesis'. Version FSE24-proceedings. Zenodo, 2024 [all versions]
2023
[d7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/BeyerGKRR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerGKRR23
Dirk Beyer, Lars Grunske, Matthias Kettl, Marian Lingsch Rosenfeld, Moeketsi Raselimo:
Reproduction Package for MSR 2024 Article 'P3: A Dataset of Partial Program Fixes'. Zenodo, 2023
[d6]
- view
  authority control:
- export record
  dblp key:
  - data/10/BeyerGKRR23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerGKRR23a
Dirk Beyer, Lars Grunske, Matthias Kettl, Marian Lingsch Rosenfeld, Moeketsi Raselimo:
Benchmark Set for Program Repair Based on Partial Fixes. Version MSR24-submission. Zenodo, 2023 [all versions]
[d5]
- view
  authority control:
- export record
  dblp key:
  - data/10/BeyerGKRR23b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerGKRR23b
Dirk Beyer, Lars Grunske, Matthias Kettl, Marian Lingsch Rosenfeld, Moeketsi Raselimo:
Benchmark Set for Program Repair Based on Partial Fixes, Dataset. Version 3. Zenodo, 2023 [all versions]
[d4]
- view
  authority control:
- export record
  dblp key:
  - data/10/BeyerK23b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerK23b
Dirk Beyer, Matthias Kettl:
Reproduction Package for ASE 2023 Submission 'FaultY: A Framework for Managing Fault Candidates'. Version ASE23-submission. Zenodo, 2023 [all versions]
[d3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/BeyerKL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerKL23
Dirk Beyer, Matthias Kettl, Thomas Lemberger:
Reproduction Package for ICSE 2024 Submission 'Fault Localization on Verification Witnesses'. Zenodo, 2023
2022
[d2]
- view
  authority control:
- export record
  dblp key:
  - data/10/BeyerK22b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerK22b
Dirk Beyer, Matthias Kettl:
Reproduction Package for Submission 'FaultY: A Framework for Managing Fault Candidates'. Version 1.0. Zenodo, 2022 [all versions]
[d1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/BeyerKL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerKL22
Dirk Beyer, Matthias Kettl, Thomas Lemberger:
Reproduction Package for SEFM 2022 Submission 'Fault Localization on Verification Witnesses'. Zenodo, 2022

Informal and Other Publications

see FAQ

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

2024
[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)

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.