The current research interests of Paul include
component-based design, and verification techniques for embedded real-time
systems.
He is one of the co-founders of the
UPPAAL tool (model-checker
for timed systems), and several other related tools,
including
TIMES
(schedulability analysis of real-time systems),
UPPAAL Port
(partial order reduction verification of component-based embedded systems),
and
UPPAAL CoVer
(model-based test-case generation for timed systems).
For more information about his research, see his short
Curriculum Vitae
or his old web page at Uppsala
University.
