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	Shape Refinement through Explicit Heap Analysis (FASE'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)
Teaching	Sommercamp Informatik 2010 Summer 2010: VL Data Structures and Algorithms, VL Object-Oriented Programming, Seminar Test and Analysis ... more
Service	Organization: ICPC'12 to be held in Passau! Program committee: ICPC'10, TAP'10, TASE'10 ... more
Students	Gregor Endler Ashgan Fararooy Michael Kaeufl Erkan Keremoglu Philipp Wendler 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 software clustering New: version 3.0 released CheckDep: A Tool for Tracking Software Dependencies Chic: Checking interface compatibility CPAchecker: A Tool for Configurable Software Verification New: soon released CrocoPat: Software structure analysis with relational programming CSIsat: Interpolation for LA+EUF Rabbit: Verification of real-time systems ... more
My old home page at EPFL, Switzerland. Last updated: $Date: 2010-03-08 09:03:03 -0800 (Mon, 08 Mar 2010) $