« November 2019 »
November
MoTuWeThFrSaSu
123
45678910
11121314151617
18192021222324
252627282930
Uni-Logo
You are here: Home Team Bernd Westphal
Document Actions

Bernd Westphal

 

Research Interests - Consultation Hours - Student Projects and Theses - Teaching - Publications

Research Interests

Infinite-state Dynamic Topology Systems, Wireless Sensor Networks, Real-Time Systems, Formal Methods and SMEs, Software Modelling, Visual Formalisms, Requirements Engineering, the SoTL of Formal Methods and Software-Engineering, Education Informatics.

 

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 Engineering (lecture, summer terms, last season: 2020)
  • Embedded Systems Engineering (CENIT@EA guest lecturer, NM-AIST, Arusha, 2019)
  • Programmanalyse (proseminar, winter terms, last season: 2019/20)
  • Real-Time Systems (lecture, winter terms, last season: 2017/18)
  • Software Design, Modelling, and Analysis in UML (lecture, winter terms, last season: 2016/17)

 

Publications

 

 

    Personal tools