Bernd WestphalAlbert-Ludwigs-Universität Freiburg
building 052, room 00-020
Infinite-state Dynamic Topology Systems, Wireless Sensor Networks, Real-Time Systems, Formal Methods and SMEs, Software Modelling, Visual Formalisms.
- ➜ DBLP
- 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.
- Software Design, Modelling, and Analysis in UML (Lecture, Winter Terms)
- Software Engineering (Lecture, Summer Terms)
- Real-Time Systems (Lecture, Winter Terms)