[dirk_beyer.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 Predicate Abstraction with Adjustable-Block Encoding (FMCAD'10)
Shape Refinement through Explicit Heap Analysis (FASE'10)
A Simple and Effective Measure for Complex Low-Level Dependencies (ICPC'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 termnext term
Sommercamp Informatik 2010
... more
Students Dmitry Balzer (MSc program)
Gregor Endler (PhD program)
Ashgan Fararooy (PhD program)
Michael Käufl (BSc program)
Erkan Keremoglu (PhD program)
Alexander von Rhein (MSc program)
Malte Rosenthal (PhD program)
Philipp Wendler (PhD program)
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 Clustering and Software-Structure Assessment New: version 3.0 released
CheckDep: Tracking Software Dependencies
Chic: Checking Interface Compatibility
CPAchecker: Configurable Software Verification New: soon released
CrocoPat: Relational Programming (for Software-Structure Analysis)
CSIsat: Interpolation for LA+EUF
DepDigger: Detecting Complex Low-Level Dependencies New: Eclipse plugin available
Rabbit: Verification of Real-Time Systems
... more

My old home page at EPFL, Switzerland.
Last updated: $Date: 2010-07-30 22:32:26 +0200 (Fri, 30 Jul 2010) $