default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDirk Beyer 0001
- > Home > Persons > Dirk Beyer 0001
Publications
- 2024
[c139]Dirk Beyer
:
State of the Art in Software Verification and Witness Validation: SV-COMP 2024. TACAS (3) 2024: 299-329- 2023
- [c137]Dirk Beyer:
Software Testing: 5th Comparative Evaluation: Test-Comp 2023. FASE 2023: 309-323 - [c130]Dirk Beyer:
Competition on Software Verification and Witness Validation: SV-COMP 2023. TACAS (2) 2023: 495-522 - 2022
- [c127]Dirk Beyer:
Advances in Automatic Software Testing: Test-Comp 2022. FASE 2022: 321-335 - [c126]Dirk Beyer:
Cooperative Verification: Towards Reliable Safety-Critical Systems (Invited Talk). FTSCS 2022: 1-2 - [c120]Dirk Beyer:
Progress on Software Verification: SV-COMP 2022. TACAS (2) 2022: 375-402 - 2021
- [j10]Dirk Beyer:
First international competition on software testing. Int. J. Softw. Tools Technol. Transf. 23(6): 833-846 (2021) - [c115]Dirk Beyer:
Status Report on Software Testing: Test-Comp 2021. FASE 2021: 341-357 - [c114]Dirk Beyer:
Software Verification: 10th Comparative Evaluation (SV-COMP 2021). TACAS (2) 2021: 401-422 - 2020
- [c112]Dirk Beyer:
Second Competition on Software Testing: Test-Comp 2020. FASE 2020: 505-519 - [c101]Dirk Beyer:
Advances in Automatic Software Verification: SV-COMP 2020. TACAS (2) 2020: 347-367 - [d68]Dirk Beyer:
Verification Witnesses from Verification Tools (SV-COMP 2020). Zenodo, 2020
- [d67]Dirk Beyer:
Results of the 9th International Competition on Software Verification (SV-COMP 2020). Zenodo, 2020 - [d66]Dirk Beyer:
SV-Benchmarks: Benchmark Set of 9th Intl. Competition on Software Verification (SV-COMP 2020). Zenodo, 2020 - [d65]Dirk Beyer:
SV-Benchmarks: Benchmark Set of the 2nd Intl. Competition on Software Testing (Test-Comp 2020). Zenodo, 2020 - [d64]Dirk Beyer:
Results of the 2nd International Competition on Software Testing (Test-Comp 2020). Zenodo, 2020 - [d63]Dirk Beyer:
Test Suites from Test-Generation Tools (Test-Comp 2020). Zenodo, 2020 - [d62]Dirk Beyer:
SMT Formulas for Boolean Programs from SLAM. Zenodo, 2020 - [d61]Dirk Beyer:
SV-Benchmarks: Benchmark Set of the 1st Intl. Competition on Software Testing (Test-Comp 2019). Zenodo, 2020 - [d60]Dirk Beyer:
Test Suites from Test-Generation Tools (Test-Comp 2019). Zenodo, 2020 - [d59]Dirk Beyer:
Results of the 1st International Competition on Software Testing (Test-Comp 2019). Zenodo, 2020 - 2019
- [c97]Dirk Beyer:
A data set of program invariants and error paths. MSR 2019: 111-115 - [c94]Dirk Beyer:
Automatic Verification of C and Java Programs: SV-COMP 2019. TACAS (3) 2019: 133-155 - [c93]Dirk Beyer:
International Competition on Software Testing (Test-Comp). TACAS (3) 2019: 167-175 - [d34]Dirk Beyer:
Verification Witnesses from Verification Tools (SV-COMP 2019). Zenodo, 2019 - [d33]Dirk Beyer:
SV-Benchmarks: Benchmark Set of 8th Intl. Competition on Software Verification (SV-COMP 2019). Zenodo, 2019 - 2017
- [c83]Dirk Beyer:
Software Verification with Validation of Results - (Report on SV-COMP 2017). TACAS (2) 2017: 331-349 - 2016
- [c79]Dirk Beyer:
Partial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification Techniques. ISoLA (1) 2016: 874-880 - [c74]Dirk Beyer:
Reliable and Reproducible Competition Results with BenchExec and Witnesses (Report on SV-COMP 2016). TACAS 2016: 887-904 - 2015
- [c62]Dirk Beyer:
Software Verification and Verifiable Witnesses - (Report on SV-COMP 2015). TACAS 2015: 401-416 - 2014
- [c56]Dirk Beyer:
Status Report on Software Verification - (Competition Summary SV-COMP 2014). TACAS 2014: 373-388 - 2013
- [c49]Dirk Beyer:
Second Competition on Software Verification - (Summary of SV-COMP 2013). TACAS 2013: 594-609 - 2012
- [c43]Dirk Beyer:
Competition on Software Verification - (SV-COMP). TACAS 2012: 504-524 - 2008
- [c32]Dirk Beyer:
CCVisu: automatic visual software decomposition. ICSE Companion 2008: 967-968 - 2006
- [c23]Dirk Beyer:
Relational programming with CrocoPat. ICSE 2006: 807-810 - [c21]Dirk Beyer:
Co-change visualization applied to PostgreSQL and ArgoUML: (MSR challenge report). MSR 2006: 165-166 - 2005
- [c18]Dirk Beyer:
Co-Change Visualization. ICSM (Industrial and Tool Volume) 2005: 89-92 - 2002
- [b1]Dirk Beyer:
Formale Verifikation von Realzeit-Systemen mittels Cottbus-Timed-Automata. Brandenburg University of Technology, Cottbus - Senftenberg, Germany, 2002, ISBN 978-3-89820-450-7, pp. 1-251 - 2001
- [c6]Dirk Beyer:
Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs. CHARME 2001: 86-91 - [c5]Dirk Beyer:
Improvements in BDD-Based Reachability Analysis of Timed Automata. FME 2001: 318-343
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-22 00:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
