Index of Publications
Selection by year
- 2026
- 2025
- 2024
- 2023
- 2022
- 2021
- 2020
- 2019
- 2018
- 2017
- 2016
- 2015
- 2014
- 2013
- 2012
- 2011
- 2010
- 2009
- 2008
- 2007
- 2006
- 2005
- 2004
- 2003
- 2002
- 2001
- 2000
- 1999
- 1998
Selection by category
- Articles in conference or workshop proceedings
- Articles in journal or book chapters
- Books and proceedings
- Internal reports
- Theses and projects (PhD, MSc, BSc, Project)
Selection by author
- Daniel Baier
- Max Barth
- Dirk Beyer
- Thomas Bunk
- Po-Chun Chien
- Matthias Dangl
- Gidon Ernst
- Karlheinz Friedberger
- Stephan Holzner
- Marie-Christine Jakobs
- Marek Jankola
- Sudeep Kanav
- Mehmet Erkan Keremoglu
- Matthias Kettl
- Nian-Ze Lee
- Thomas Lemberger
- Marian Lingsch-Rosenfeld
- Stefan Löwe
- Martin Spiessl
- Henrik Wachowitz
- Philipp Wendler
- Martin Wirsing
Selection by research interest
- ACSL
- Abstract Interpretation
- Apron
- Arrays
- Automatic Program Repair
- BAM
- BDD
- BLAST
- Benchmarking
- Benchmarks
- Bitwuzla
- Btor2
- Bug Detection
- Büchi Automata
- CPAchecker
- Cloud-Based Software Verification
- Competition on Software Testing (Test-Comp Report)
- Competition on Software Testing (Test-Comp)
- Competition on Software Verification (SV-COMP Report)
- Competition on Software Verification (SV-COMP)
- Cooperative Verification
- Dataset
- Empirical Study
- Energy Measurement
- Error Conditions
- FM-Tools
- Firmware verification
- Flaky Tests
- Formal Verification of Real-Time Systems
- Fuzzing
- Genetic Programming
- Incremental Verification
- Interfaces for Component-Based Design
- JavaSMT
- LLVM
- Loop Acceleration
- Mining
- MoXIchecker
- OpenSMT2
- PJBDD
- Partial Fix
- Program Instrumentation
- Provers
- Ranged Program Analysis
- Refactoring
- Regression Verification
- Reproducibility
- SMT
- SMT-LIB2
- Search Strategy
- Separation Logic
- Software Development Project
- Software Model Checking
- Software Testing
- Structural Analysis and Comprehension
- Symbolic Memory Graphs
- Taint
- Tool Conservation
- Ultimate
- Ultimate Automizer
- Weak Memory Models
- Witness-Based Validation
- Witness-Based Validation (main)
- Witnesses