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