Bernd Westphal
Bernd Westphal
Albert-Ludwigs-Universität FreiburgGeorges-Köhler-Allee 52
79110 Freiburg
building 052, room 00-020 |
Research Interests
Infinite-state Dynamic Topology Systems, Wireless Sensor Networks, Real-Time Systems, Formal Methods and SMEs, Software Modelling, Visual Formalisms.
Publications
- ➜ DBLP
Consultation Hours
- By individual arrangement (just drop by or write me a mail).
Student Projects and Theses
- Student projects and theses are individually negotiated. Write me an email or come over to my office to discuss which topics are available or propose topics you always wanted to work on.
Teaching
- Software Design, Modelling, and Analysis in UML (Lecture, Winter Terms)
- Software Engineering (Lecture, Summer Terms)
- Real-Time Systems (Lecture, Winter Terms)