« February 2021 »
February
MoTuWeThFrSaSu
1234567
891011121314
15161718192021
22232425262728
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