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
- Articles in journal or book chapters
- Articles in conference or workshop proceedings
- Internal reports
- Theses (PhD, MSc, BSc, Project)
Selection by author
- Dirk Beyer
- Thomas Bunk
- Matthias Dangl
- G. Ernst
- Karlheinz Friedberger
- Stephan Holzner
- 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)
- Competition on Software Verification (SV-COMP Report)
- CPAchecker
- Formal Verification of Real-Time Systems
- Interfaces for Component-Based Design
- JavaSMT
- Refactoring
- Search Strategy
- 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: Tue Dec 10 10:57:07 2019
This document was translated from BibTEX by bibtex2html