3 Papers accepted at ISoLA'20: "An Interface Theory for Program Verification", "Verification Artifacts in Cooperative Verification", and "Violation Witnesses and Result Validation for Multi-Threaded Programs"

Prof. Dr. Wolfgang Hesse

Picture of Prof. Dr. Wolfgang Hesse

Software and Computational Systems Lab
Institute for Informatics
Ludwig-Maximilians-Universität München (LMU Munich)
Oettingenstraße 67
80538 Munich (Germany)

Office hours
By appointment only
Phone
+49 89 2180 9151
E-Mail
lastname@pst.ifi.lmu.de

Forschungsinteressen

  • Modellierung in der Softwaretechnik, speziell Modellierung dynamischer Systeme
  • Interdisziplinäre und gesellschaftliche Aspekte der Informatik
  • Anschlussoptimierung in öffentlichen Verkehrsnetzen
  • Musiktheorie

Lehrveranstaltungen

WS 2014/15: Seminar "Modellierung dynamischer und adativer Systeme"
WS 2015/16: Seminar "Modellierung dynamischer und adaptiver System"
WS 2015/16 (mit Dr. Gerhard Apfelauer): "Die Variation in der Musik" (S. 29)
WS 2016/17: Seminar "Modellierung dynamischer und adaptiver System"
WS 2016/17 (mit Dr. Gerhard Apfelauer): "Musikalische Formen" (S. 29)
WS 2017/18: Seminar "Modellierung dynamischer und adaptiver System"
WS 2017/18 (mit Dr. Gerhard Apfelauer): "Epochen und Stilelemente der Musik" (S. 29)
WS 2018/19: Seminar "Modellierung dynamischer und adaptiver System"
WS 2018/19 (mit Dr. Gerhard Apfelauer): "Musikmetropole Wien um 1820 und 1920: die kreativen Zwanziger Jahr" (S. 33)
WS 2019/20: Seminar "Modellierung dynamischer und adaptiver System"
WS 2019/20 (mit Dr. Gerhard Apfelauer): "Musikalische Querbezüge und Transformationen" (S. 33/34)

Frühere Veröffentlichungen, Sonstiges

siehe http://www.uni-marburg.de/fb12/informatik/homepages/hesse