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
Personals	Publications, DBLP Biographical sketch Curriculum vitae
NEW	Program Analysis with Dynamic Precision Adjustment (ASE'08) CSIsat: Interpolation for LA+EUF (CAV'08) CCVisu: Automatic Visual Software Decomposition (ICSE'08)
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	Winter 2009/10: VL Software Engineering, VL Software-Analyse, Seminar Softwaretechnik ... more
Service	Local organization: ICSE'09 and ICPC'09 to be held in Vancouver! Program committee: ICPC'09, WCRE'09, CASCON'09 ... more
Students	Gregor Endler Ashgan Fararooy 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 2.1 released CheckDep: A Tool for Tracking Software Dependencies Chic: Checking interface compatibility CrocoPat: Software structure analysis with relational programming New: version 2.1.4 released CSIsat: Interpolation for LA+EUF New: version 1.2 released Rabbit: Verification of real-time systems ... more
My old home page at EPFL, Switzerland. Last updated: $Date: 2009-11-11 11:03:12 +0100 (Wed, 11 Nov 2009) $