Technische Universität München
Institut für Informatik
I am now working full-time as a consultant for software quality at CQSE GmbH.
Please find my new homepage here.
- Model-based development of mechatronic systems (see AF/STEM)
- Formal specification of (mostly embedded) software systems
- Software quality and maintenance (see ConQAT)
- Clone detection in both code and models