Fields of interest
General: Specification
and verification
of reactive computing systems, especially distributed systems
Different specification paradigms for distributed systems (CSP, CSS,
stream processing functions, temporal logics, traces,...)
Methodological aspects of correct distributed systems design
Model-Based Systems
Development
of Embedded Systems
Service-Based Software
and Systems Engineering
Computer-aided/tool-supported
design and verification of distributed
systems
|
