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: 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

• B. Westphal (2020).
  On Complementing an Undergraduate Software Engineering Course with Formal Methods.
  In: CSEE&T, pages 1-10. [doi | bib (DBLP) | pdf (local)]
  
• B. Westphal (2020).
  Estimation Game: What is the Size of Requirements Documents in Industry?
  In: REET, Activity Summary #1.
  
• D. Dietsch, V. Langenfeld, B. Westphal (2020).
  Formal Requirements in an Informal World.
  In: FormReq, pages 14-20. [doi | bib (local) | pdf (local)]
  
• V. Langenfeld, B. Westphal, A. Podelski (2020).
  A Framework for the Formal Operational Description of ACT-R.
  In: MathPsych/ICCM 2020.
  
• S. Feo Arenis, M. Vujinovic, B. Westphal (2020).
  On Implementable Timed Automata.
  In: FORTE, pages 79-95. [doi | bib (DBLP)| pdf (local)]
  
• M. Steinle, B. Westphal (2020).
  Automatic Generation of Learning Assignments for Software Engineering Formalisms.
  In: SEUH, CEUR-WS 2531, pages 61-65. [bib (DBLP) | pdf (local)].
• B. Westphal (2020).
  Tutoring with Stylus-enabled Tablets.
  In: SEUH, CEUR-WS 2531, pages 44-48. [bib (DBLP) | pdf (local)]
  
• B. Westphal (2019).
  Teaching Formal Methods in an 'Otherwise Completely Ordinary' Undergraduate Software Engineering Course.
  In: FMTea, poster presentation. [pdf (local)]
  
• B. Westphal (2019).
  Teaching Software Modelling in an Undergraduate Introduction to Software Engineering. 
  In: Educators Symposium, MODELS, pages 690-699. [doi | bib (DBLP) | pdf (local)]
• V. Langenfeld, D. Dietsch, B. Westphal, J. Hoenicke, A. Post (2019).
  Scalable Analysis of Real-Time Requirements.
  In: RE, pages 234-244. [doi | bib (DBLP) | pdf (local)]
  
• V. Langenfeld, B. Westphal, A. Podelski (2019).
  On Formal Verification of ACT-R Architectures and Models.
  In: CogSci, pages 618-624. [bib (DBLP) | pdf (local)]
  
• B. Westphal (2019).
  Formale Methoden in der Softwaretechnik-Vorlesung.
  In: SEUH, CEUR-WS 2358, pages 21-33. [bib (DBLP) | pdf (local)]
• B. Westphal (2018).
  An Undergraduate Requirements Engineering Curriculum with Formal Methods.
  In: REET@RE, pages 1-10. [doi | bib (DBLP) | pdf (local)]
  
• ...
• O. Jubran, B. Westphal (2014).
  Optimizing Guard Time for TDMA in a Wireless Sensor Network - Case Study.
  In: LCN, pages 597-601. [doi | bib (DBLP) | pdf (local)]
  
• O. Jubran, B. Westphal (2013).
  Formal Approach to Guard Time Optimization for TDMA.
  In: RTNS, pages 223-233. [doi | bib (DBLP) | pdf (local)]
  
• ...
• S. Feo Arenis, B. Westphal (2013).
  Parameterized Verification of Track Topology Aggregation Protocols.
  In: FMOODS/FORTE, pages 35-49. [doi | bib (DBLP) | pdf (local)]
  
• S. Feo Arenis, B. Westphal (2013).
  Formal Verification of a Parameterized Data Aggregation Protocol.
  In: NFM, pages 428-434. [doi | bib (DBLP) | pdf (local)]
  
• ...
  
• tbc.
  

•  ➜ DBLP