During my studies I was involved in the development of the modeling tool
PEPP
.
Since 1. January 1994 I take part in the
SFB-B3
project.
My current research activities
are qualitative and quantitative analysis techniques for the stochastic
process algebra
TIPP
.
If you want to know more about my work, click
here for a list of papers
and internal reports.
http://www7.informatik.uni-erlangen.de/~vsmertsi/ (Einblicke ins Internet, 10/1995)
