Forthcoming: spring 2018

Compilers: INF 5110

Currently: autumn 2017

Static analysis: INF 5906/9906


Former semesters

The web-pages of my older lectures are mostly in German, the slides and the material, however, are in sometimes in English. Some of the pages of my old University have undoubtedly disappeared into digital nirvana, though, so not all links may still work. For involvement in teaching during my time at the Technical Faculty at the University Erlangen-Nuremberg FAU , I no longer have material available.


spring 2017 compiler construction: INF 5110/9110 lecture
model checking INF 5140/9140 lecture
spring 2016 static analysis: INF 5906/9906 lecture
Compiler construction: INF 5110 lecture
autumn 2015 Models of concurrency: INF 4140 (and 4195) lecture
spring 2015 Specification and verification of parallel systems (``model checking''): INF 5140 lecture
autumn 2014 models of concurrency: INF 4140 (and 4195) lecture
spring 2014 Static analysis: INF 5906 lecture
autumn 2013 models of concurrency: INF 4140 lecture
autumn 2012 algos & data structures: INF2220 lecture
spring 2012 Stactic analysis: INF5906 lecture
spring 2010 Stactic analysis: INF5906 lecture
autumn 2009 Algos & data structures: INF2220 lecture
autumn 2008 Models of concurrency: INF4140 lecture
spring 2008 Static analysis: INF5906, material lecture
autumn 2007 Models of concurrency: INF3410 lecture
autumn 2006 Static analysis: INF5906, material lecture
summer 2005 Formal aspecs of object-oriented languages lecture
foundations of concurrent and parallel programming seminar
winter 04/05 CS prep course: computers extra-curriculum
operating systems lecture
model checking seminar
project: conference manager coma (see also the git repos) sw project
summer 2004 distributed algorithms seminar
winter 03/04 CS prep course: computers extra-curriculum
operating systems lecture
distributed algorithms lecture
concurrent programming seminar
Enigma reloaded software project for engineers
summer 2003 sw-engineering lab course software project lab course
compositional verification of concurrent programs seminar
Enigma software lab course
day of the open door: : Lego Mindstorms day of the open door presentation
winter 02/03 CS prep course: computers extra-curriculum
algorithms lecture
distributed algo's seminar
Lego Mindstorms programming course
summer 2002 Programming in the many: Sequential Function Charts Modelling Environment Slime project practicum
day of the open door at U. Kiel: Lego Mindstorms day of the open door presentation
winter 01/02 algorithms and data structures lecture
computer systems (part of the CS prep course) extra curriculum
component-based software development seminar
operating systems lecture
Embedded Systems II: Lego Mindstorms practicum
summer 2001 Programming in the many: Sequential Function Chart Modelling Tool Snot (see also the git repos) sw practicum
statemate/SDL lecture
software engineering project practicum
UML seminar
winter 00/01 theorem proving lecture
operating systems lecture
algorithms and data structures lecture
static analysis seminar
computer systems (part of CS prep course) extra curriculum
summer 2000 Programming in the many: Model checking environment for state-transition systems Mist (see also the git repos) software project
distr. algorithms seminar
winter 99/00 algorithms and data structures lecture
model checking seminar
summer 1999 theorem proving lecture
algorithms and data structures lecture
model checking seminar
operating systems proseminar pro-seminar
winter 98/99 operating systems lecture
Programming-in-the-many: Programming Environment for Statecharts (PEST) (see also the git repos) software project
semantics and verification of object-oriented programs
seminar
summer 1998 Java course programming course
hardware verification seminar
formal modelling with Rhapsody/statecharts seminar
winter 97/98 distributed algorithms seminar
hybrid systems lecture