Bernd Westphal

Bernd Westphal Albert-Ludwigs-Universität Freiburg Georges-Köhler-Allee 52 79110 Freiburg   building 052, room 00-020 +49 761 203 8244 westphal@informatik.uni-freiburg.de

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

Publications

• M. Steinle, B. Westphal (2019).
  Automatic Generation of Learning Assignments for Software Engineering Formalisms.
  In: SEUH 2020, to appear.
• B. Westphal (2019).
  Tutoring with Stylus-enabled Tablets.
  In: SEUH 2020, to appear.
• B. Westphal (2019).
  Teaching Formal Methods in an '€˜Otherwise Completely Ordinary' Undergraduate Software Engineering Course.
  In: FMTea 2019, poster presentation. [pdf]
  
• B. Westphal (2019).
  Teaching Software Modelling in an Undergraduate Introduction to Software Engineering. 
  In: Educators Symposium, MODELS, pages 690-699. [doi | bib | pdf]
• V. Langenfeld, D. Dietsch, B. Westphal, J. Hoenicke, A. Post (2019).
  Scalable Analysis of Real-Time Requirements.
  In: RE 2019, 234-244. [doi | bib | pdf]
  
• V. Langenfeld, B. Westphal, A. Podelski (2019).
  On Formal Verification of ACT-R Architectures and Models.
  In: CogSci 2019, pages 618-624. [bib | pdf]
  
• B. Westphal (2019).
  Formale Methoden in der Softwaretechnik-Vorlesung.
  In: SEUH 2019, pages 21-33. [bib | pdf]
  
• ➜ DBLP