Currently, I am involved in the development of a Massive Open Online Course on Model-Based Engineering of Embedded Systems. The complete course will be available soon. Here you can find a demo version of the course containing some of the lectures (in German). Under „Module 1: System Architect“, you can find my lecture on formal analysis techniques for system architectures.

In addition, I was involved in the following teaching activities: