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) 210-3454 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 Biographical sketch Curriculum vitae
NEW	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) Software Model Checking via Large-Block Encoding (FMCAD'09)
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 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 to be held in Passau! Program committee: ICPC'10, TAP'10, TASE'10, WCRE'10  ... more
Teaching	Courses offered:  current term,  next term Sommercamp Informatik 2010 ... more
Students	Dmitry Balzer (MSc program) Gregor Endler (PhD program) Ashgan Fararooy (PhD program) Michael Käufl (BSc program) Erkan Keremoglu (PhD program) Alexander von Rhein (MSc program) Malte Rosenthal (PhD program) Philipp Wendler (PhD program) Information for prospective students (we are currently recruiting) 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: soon released CrocoPat: Relational Programming (for Software-Structure Analysis) CSIsat: Interpolation for LA+EUF DepDigger: Detecting Complex Low-Level Dependencies New: Eclipse plugin available Rabbit: Verification of Real-Time Systems ... more
My old home page at EPFL, Switzerland. Last updated: $Date: 2010-07-30 22:32:26 +0200 (Fri, 30 Jul 2010) $