[dbeyer.jpg]
Dirk Beyer
Professor Dr. rer. nat.
Chair for Software Systems
Faculty of Computer Science and Mathematics
University of Passau (About)
SoSy-Lab Logo

Uni-Passau Logo

SFU Logo

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-AnalyseSeminar 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) $