« September 2020 »
September
MoTuWeThFrSaSu
123456
78910111213
14151617181920
21222324252627
282930
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