research
latest update: March 08, 2019, at 12:29 PM
GENERAL OBJECTIVES
bridging the gap
between qualitative and quantitative systems approaches to model and analyse natural as well as technical systems
managing diversity
collection and user-friendly preparation of (semi-) formal methods
user support
provision of tools for the practically working (computer) scientist
MAIN RESEARCH AREAS
software dependability engineering
engineering dependable software - just another way to waste your money?
Petri nets
and related modelling and analysis tools
computational biology
analysis/simulation methods in systems and synthetic biology