Teaching

Lectures

• Winter 2003/2004
  • "Hardware-Verifikation (II) / Formale Methoden"
  • Official Announcement in the University Calendar
  • more details on the homepage of the lecture (in German)
• Winter 2002/2003
  • "Systembeschreibungssprachen (System Description Languages)"
  • Official Announcement in the University Calendar
• Winter 2001/2002
  • "Hardware Verifikation (Verification Engineering)"
  • Official Announcement in the University Calendar

• Summer 2001
  • "Hardware Verifikation"
  • Official Announcement in the University Calendar

• Winter 2000/2001
  • "Hardware Verifikation"
  • Official Announcement in the University Calendar

• Summer 2000
  • "Verifikation eingebetteter Systeme"
  • Official Announcement in the University Calendar

The lectures on Hardware Verification are partially based on my book Introduction to Formal Hardware Verification, published by Springer Verlag.

Seminars

In addition, we usually offer each summer tern a seminar on various topics, not necessarily related to formal methods:

• Summer 2004
  • "SW-Architekturen und Produktlinien in der industriellen Praxis"
  • more details on the seminar's homepage (in German)
• Summer 2003
  • "Das Capability Maturity Model - CMM als unerläßlicher Bestandteil jeder professionellen Software-Entwicklung"
  • Official Announcement in the University Calendar
  • more details on the seminar's homepage (in German)

• Summer 2002
  • "Projektmanagement"
  • Official Announcement in the University Calendar
  • more details on the seminar's homepage (in German)

• Winter 2000/2001
  • "Systembeschreibung mit C-basierten Sprachen"
  • Official Announcement in the University Calendar
• Summer 2000
  • "Systembeschreibungssprachen - Was kommt nach VHDL?"
  • Official Announcement in the University Calendar

Last edited: 25.01.2004