Index of Publications
Selection by year
| 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
- Books and proceedings
- Articles in journal or book chapters
- Articles in conference or workshop proceedings
- Internal reports
- Theses and projects (PhD, MSc, BSc, Project)
Selection by author
- Dirk Beyer
- Thomas Bunk
- Matthias Dangl
- G. Ernst
- Karlheinz Friedberger
- Stephan Holzner
- Marie-Christine Jakobs
- Sudeep Kanav
- Mehmet Erkan Keremoglu
- Thomas Lemberger
- Stefan Löwe
- Martin Spiessl
- Philipp Wendler
Selection by research interest
- BAM
- BDD
- Benchmarking
- BLAST
- Cloud-Based Software Verification
- Competition on Software Testing (Test-Comp)
- Competition on Software Testing (Test-Comp Report)
- Competition on Software Verification (SV-COMP)
- Competition on Software Verification (SV-COMP Report)
- CPAchecker
- DFG-CONVEY
- DFG-COOP
- Energy Measurement
- Formal Verification of Real-Time Systems
- Interfaces for Component-Based Design
- JavaSMT
- Refactoring
- Search Strategy
- Separation Logic
- Software Development Project
- Software Model Checking
- Software Testing
- Structural Analysis and Comprehension
- Witness-Based Validation
- Witness-Based Validation (main)
Complete bibliography
Disclaimer:
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Last modified: Sun Sep 27 12:34:20 2020
This document was translated from BibTEX by bibtex2html