![[dbeyer.jpg]](dbeyer.jpg) |
|
|
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
Reļ¬nement 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) $
|