Dirk Beyer, Prof. Dr. rer. nat. Full Professor Chair for Software Systems Faculty of Computer Science and Mathematics University of Passau (About)
Results of Competition on Software Verification
Coordinates	Office: IM 131 Phone: +49 (851) 509-3090 Home: +49 (851) 204-2858 E-mail: firstname.lastname@uni-passau.de Fax: +49 (851) 509-3092 Mail: University of Passau / Software Systems / Innstrasse 33 / D-94032 Passau, Bavaria / Germany Assistant (Eva Veitweber): +49 (851) 509-3091 Directions
Personals	Publications, DBLP, Google Scholar Biographical sketch Curriculum vitae You can also follow me on Twitter.
NEW	Explicit-State Software Model Checking Based on CEGAR and Interpolation (TR 2012, FASE'13) Conditional Model Checking (TR 2011, FSE'12) Algorithms for Software Model Checking: Predicate Abstraction vs. IMPACT (FMCAD'12) Competition on Software Verification (TACAS'12)
Research	My research focuses on models, algorithms, and tools for the construction and analysis of reliable software systems, in particular: Interfaces for component-based design (download Chic) Software model checking and static analysis (download CPAchecker, BLAST, CSIsat) Structure analysis and comprehension of large systems (download CrocoPat or CCVisu) Formal verification of real-time systems (download Rabbit)
Service	TACAS'13 Competition on Software Verification Organization: ICPC'12 and AVM'12 were in Passau! Program co-chair of FORTE/FMOODS'13 Program committees: ICSE'14, FMCAD'13, ICPC'13, TAP'13, SPIN'12, FORTE'12, ICSM'12, WCRE'12 ... more
Teaching	Courses offered: current term, next term Sommercamp Informatik ... more
Graduate Students	Peter Häring (PhD program) Stefan Löwe (PhD program) Andreas Stahlbauer (PhD program) Philipp Wendler (PhD program) Information for prospective students Technical hints for writing a paper Software that I use
Software	BLAST: Model Checking of Software CCVisu: Visual Clustering and Software-Structure Assessment CheckDep: Tracking Software Dependencies Chic: Checking Interface Compatibility CPAchecker: Configurable Software Verification CrocoPat: Relational Programming (for Software-Structure Analysis) CSIsat: Interpolation for LA+EUF DepDigger: Detecting Complex Low-Level Dependencies Rabbit: Verification of Real-Time Systems ... more
Author: Dirk Beyer My old home page at EPFL, Switzerland. Last updated: $Date: 2013-02-04 10:53:54 +0100 (Mon, 04 Feb 2013) $

Home page