Index of Publications
Selection by year
| 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
- Thesis
- Articles in journal or book chapters
- Articles in conference or workshop proceedings
- Internal reports
- Theses (PhD, MSc, BSc, Project)
Selection by author
- Dirk Beyer
- Matthias Dangl
- G. Ernst
- Karlheinz Friedberger
- Marie-Christine Jakobs
- M. Erkan Keremoglu
- Thomas Lemberger
- Stefan Löwe
- Martin Spiessl
- Philipp Wendler
Selection by research interest
- BDD
- Benchmarking
- BLAST
- Cloud-Based Software Verification
- Competition on Software Verification (SV-COMP)
- CPAchecker
- Formal Verification of Real-Time Systems
- Interfaces for Component-Based Design
- JavaSMT
- Refactoring
- Software Model Checking
- Software Testing
- Structural Analysis and Comprehension
- Witness
- Witness Validation
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: Mon Aug 19 23:12:40 2019
This document was translated from BibTEX by bibtex2html