The focus of my research activity was on formal methods for performance analysis of distributed, real-time embedded systems.

This tag cloud has been generated from the abstracts of my papers using Wordle.