Background and activities
- Model-Based Engineering of Networked Services based on Collaborative Techniques
- Functional and Security Aspects of Distributed Component-Structured Software
- Trust Management Issues
- Formal Specification, Implementation, and Verification of Distributed Systems and Continuous-Discrete Technical Systems
Reactive Blocks, the tool for engineering networked services. You find more information here.
A comprehensive list of my publications can be found on my homepage.