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)
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	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-12 16:25:18 +0100 (Fri, 12 Mar 2010) $