Dirk Beyer Professor Dr. rer. nat. Chair for Software Systems Faculty of Computer Science and Mathematics University of Passau (About)
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 / Germany Assistant (Eva Veitweber): +49 (851) 509-3091 Directions
Personals	Publications, DBLP, Google Scholar Biographical sketch Curriculum vitae
NEW	Competition on Software Verification (TACAS 2012) Conditional Model Checking (TR 2011) CPAchecker: A Tool for Configurable Software Verification (CAV'11) Feature Cohesion in Software Product Lines: An Exploratory Study (ICSE'11) Predicate Abstraction with Adjustable-Block Encoding (FMCAD'10) Shape Refinement through Explicit Heap Analysis (FASE'10) A Simple and Effective Measure for Complex Low-Level Dependencies (ICPC'10)
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	Organization: ICPC'12 and AVM'12 to be held in Passau! TACAS'13 Competition on Software Verification Program committees: FORTE'11, ICSM'11, ICPC'11, TAP'11 ICSE-SRC'11 WCRE'11 SSV'11 ... more
Teaching	Courses offered:  current term,  next term Sommercamp Informatik 2012 ... more
Students	Stefan Löwe (PhD program) Philipp Wendler (PhD program) Peter Häring (MSc program) Michael Käufl (MSc program) Andreas Stahlbauer (MSc 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 New: Version 3.0 released CheckDep: Tracking Software Dependencies Chic: Checking Interface Compatibility CPAchecker: Configurable Software Verification New: Version 1.1 released 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
My old home page at EPFL, Switzerland. Last updated: $Date: 2012-04-17 22:57:36 +0200 (Tue, 17 Apr 2012) $

Home page