« August 2020 »
August
MoTuWeThFrSaSu
12
3456789
10111213141516
17181920212223
24252627282930
31
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