Lecture Videos

The videos on this page can only be downloaded from within the RWTH Aachen University network or using VPN.

Technical Instructions

The videos are not to be considered as a substitution for a lecture, but merely as additional material, since the contents of the lectures may vary in different semesters.

Infinite-State System Verification (Summer Term 2006)

LectureTSCC Videos (zip)LectureTSCC Videos (zip)
01lecture 01 (37.7MB) 08lecture 08 (43.0MB)
02lecture 02 (44.4MB) 09lecture 09 (38.6MB)
03lecture 03 (37.2MB) 10lecture 10 (40.7MB)
04lecture 04 (44.0MB) 11lecture 11 (43.7MB)
05lecture 05 (45.5MB) 12lecture 12 (9.2MB)
06lecture 06 (42.7MB) 13lecture 13 (35.5MB)
07lecture 07 (40.9MB)

Model-Checking (Winter Term 2003/04)

LectureTSCC VideosDivX Videos (zip)LectureTSCC VideosDivX Videos (zip)
01part 1 (13.0MB)
part 2 (12.5MB)
part 1 (9.9MB)
part 2 (9.3MB)
08part 1 (13.3MB)
part 2 (13.0MB)
part 1 (10.2MB)
part 2 (9.3MB)
02part 1 (11.1MB)
part 2 (9.2MB)
part 1 (8.8MB)
part 2 (6.7MB)
09part 1 (12.5MB)
part 2 (9.1MB)
part 1 (9.5MB)
part 2 (6.6MB)
03part 1 (11.4MB)
part 2 (13.7MB)
part 1 (8.8MB)
part 2 (11.3MB)
10part 1 (13.5MB)
part 2 (13.7MB)
part 1 (9.8MB)
part 2 (9.6MB)
04part 1 (14.3MB)
part 2 (12.2MB)
part 1 (10.7MB)
part 2 (9.1MB)
11part 1 (13.4MB)
part 2 (12.5MB)
part 1 (9.8MB)
part 2 (9.0MB)
05part 1 (7.3MB)
part 2 (15.0MB)
part 1 (5.3MB)
part 2 (11.0MB)
12part 1 (12.6MB)
part 2 (11.5MB)
part 1 (8.7MB)
part 2 (8.2MB)
06part 1 (14.2MB)
part 2 (10.0MB)
part 1 (11.1MB)
part 2 (7.8MB)
13part 1 (14.7MB)
part 2 (12.8MB)
part 1 (10.4MB)
part 2 (9.0MB)
07part 1 (13.9MB)
part 2 (10.7MB)
part 1 (10.7MB)
part 2 (8.3MB)

Angewandte Automatentheorie (Summer Term 2003)

LectureTSCC VideosDivX Videos (zip)LectureTSCC VideosDivX Videos (zip)
01part 1 (10.6MB)
part 2 (10.9MB)
part 1 (8.2MB)
part 2 (8.6MB)
14part 1 (11.6MB)
part 2 (11.1MB)
part 1 (9.5MB)
part 2 (8.7MB)
02part 1 (10.6MB)
part 2 (11.4MB)
part 1 (8.3MB)
part 2 (9.3MB)
15part 1 (12.0MB)
part 2 (9.9MB)
part 1 (10.0MB)
part 2 (7.6MB)
03part 1 (14.0MB)
part 2 (12.2MB)
part 1 (11.2MB)
part 2 (9.2MB)
16part 1 (15.5MB)part 1 (12.6MB)
04part 1 (11.5MB)
part 2 (9.0MB)
part 1 (9.0MB)
part 2 (7.0MB)
17part 1 (12.0MB)
part 2 (11.4MB)
part 1 (10.0MB)
part 2 (9.0MB)
05part 1 (12.6MB)
part 2 (10.5MB)
part 1 (9.8MB)
part 2 (8.4MB)
18part 1 (13.4MB)
part 2 (9.5MB)
part 1 (10.4MB)
part 2 (8.1MB)
06part 1 (13.0MB)
part 2 (9.9MB)
part 1 (10.7MB)
part 2 (8.3MB)
19part 1 (13.8MB)
part 2 (10.9MB)
part 1 (10.5MB)
part 2 (8.6MB)
07part 1 (11.5MB)
part 2 (10.8MB)
part 1 (9.2MB)
part 2 (9.5MB)
20part 1 (16.3MB)part 1 (13.5MB)
08part 1 (12.8MB)
part 2 (11.4MB)
part 1 (9.9MB)
part 2 (8.8MB)
21part 1 (10.5MB)
part 2 (12.3MB)
part 1 (8.5MB)
part 2 (10.3MB)
09part 1 (12.9MB)
part 2 (10.2MB)
part 1 (10.3MB)
part 2 (8.6MB)
22part 1 (12.4MB)
part 2 (10.5MB)
part 1 (9.8MB)
part 2 (8.3MB)
10part 1 (12.7MB)
part 2 (10.1MB)
part 1 (10.3MB)
part 2 (8.3MB)
23part 1 (12.8MB)
part 2 (12.6MB)
part 1 (9.4MB)
part 2 (9.6MB)
11part 1 (12.9MB)
part 2 (11.2MB)
part 1 (10.9MB)
part 2 (9.2MB)
24part 1 (13.2MB)
part 2 (9.6MB)
part 1 (10.2MB)
part 2 (7.3MB)
12part 1 (10.2MB)
part 2 (12.8MB)
part 1 (8.3MB)
part 2 (11.1MB)
25part 1 (14.0MB)
part 2 (10.7MB)
part 1 (10.6MB)
part 2 (8.7MB)
13part 1 (12.7MB)
part 2 (11.7MB)
part 1 (10.2MB)
part 2 (9.3MB)

Automata and Reactive Systems (Winter Term 2002/03)

LectureTSCC VideosDivX Videos (zip)LectureTSCC VideosDivX Videos (zip)
01part 1 (12.2MB)
part 2 (8.8MB)
part 1 (10.4MB)
part 2 (7.5MB)
17n/an/a
02part 1 (12.1MB)
part 2 (9.2MB)
part 1 (10.3MB)
part 2 (8.1MB)
18part 1 (12.2MB)
part 2 (11.6MB)
part 1 (10.8MB)
part 2 (10.3MB)
03part 1 (11.0MB)
part 2 (11.5MB)
part 1 (9.4MB)
part 2 (10.1MB)
19part 1 (15.0MB)
part 2 (7.0MB)
part 1 (12.9MB)
part 2 (6.2MB)
04part 1 (11.7MB)
part 2 (9.4MB)
part 1 (10.1MB)
part 2 (8.6MB)
20part 1 (11.9MB)
part 2 (11.8MB)
part 1 (10.0MB)
part 2 (10.0MB)
05part 1 (11.1MB)
part 2 (10.7MB)
part 1 (9.7MB)
part 2 (9.2MB)
21part 1 (11.8MB)part 1 (10.4MB)
06part 1 (11.0MB)
part 2 (10.7MB)
part 1 (9.3MB)
part 2 (9.2MB)
22part 1 (12.6MB)
part 2 (11.0MB)
part 1 (11.0MB)
part 2 (9.5MB)
07part 1 (10.6MB)
part 2 (11.2MB)
part 1 (9.3MB)
part 2 (9.8MB)
23part 1 (13.0MB)
part 2 (10.3MB)
part 1 (11.0MB)
part 2 (8.6MB)
08part 1 (12.9MB)
part 2 (9.6MB)
part 1 (11.0MB)
part 2 (8.2MB)
24part 1 (13.2MB)
part 2 (11.6MB)
part 1 (11.3MB)
part 2 (10.1MB)
09part 1 (12.2MB)
part 2 (10.8MB)
part 1 (10.3MB)
part 2 (9.3MB)
25part 1 (14.5MB)
part 2 (11.1MB)
part 1 (12.7MB)
part 2 (9.9MB)
10part 1 (11.8MB)
part 2 (11.8MB)
part 1 (10.2MB)
part 2 (10.2MB)
26part 1 (13.8MB)
part 2 (11.0MB)
part 1 (12.2MB)
part 2 (9.7MB)
11part 1 (12.2MB)
part 2 (9.7MB)
part 1 (10.4MB)
part 2 (8.4MB)
27part 1 (11.9MB)
part 2 (6.7MB)
part 1 (10.3MB)
part 2 (8.8MB)
12part 1 (14.4MB)part 1 (12.2MB)28part 1 (13.5MB)
part 2 (9.4MB)
part 1 (11.9MB)
part 2 (7.9MB)
13part 1 (13.5MB)
part 2 (9.1MB)
part 1 (11.8MB)
part 2 (7.8MB)
29part 1 (12.4MB)
part 2 (10.3MB)
part 1 (11.1MB)
part 2 (9.4MB)
14part 1 (12.6MB)
part 2 (9.2MB)
part 1 (10.4MB)
part 2 (8.0MB)
30part 1 (14.0MB)
part 2 (9.5MB)
part 1 (12.3MB)
part 2 (8.6MB)
15part 1 (12.1MB)
part 2 (10.1MB)
part 1 (10.5MB)
part 2 (8.6MB)
31part 1 (14.2MB)
part 2 (10.9MB)
part 1 (12.2MB)
part 2 (9.5MB)
16part 1 (10.1MB)
part 2 (11.2MB)
part 1 (8.6MB)
part 2 (10.0MB)

Automaten und Formale Sprachen (Summer Term 2002)

LectureTSCC VideosDivX Videos (zip)LectureTSCC VideosDivX Videos (zip)
01part 1 (4.3MB)
part 2 (10.8MB)
part 1 (4.1MB)
part 2 (10.0MB)
13part 1 (13.2MB)
part 2 (9.3MB)
part 1 (11.4MB)
part 2 (8.1MB)
02part 1 (9.5MB)
part 2 (7.4MB)
part 1 (9.0MB)
part 2 (6.9MB)
14part 1 (12.1MB)part 1 (10.3MB)
03part 1 (9.5MB)
part 2 (6.7MB)
part 1 (8.8MB)
part 2 (6.4MB)
15part 1 (13.9MB)
part 2 (8.5MB)
part 1 (12.0MB)
part 2 (7.6MB)
04part 1 (9.8MB)part 1 (9.1MB)16part 1 (12.5MB)part 1 (10.5MB)
05part 1 (9.7MB)
part 2 (8.0MB)
part 1 (8.9MB)
part 2 (7.5MB)
17part 1 (12.4MB)
part 2 (8.7MB)
part 1 (10.6MB)
part 2 (7.2MB)
06part 1 (9.6MB)part 1 (8.8MB)18part 1 (12.6MB)part 1 (10.7MB)
07part 1 (6.3MB)
part 2 (4.0MB)
part 1 (5.9MB)
part 2 (3.6MB)
19part 1 (11.9MB)
part 2 (10.1MB)
part 1 (10.0MB)
part 2 (8.7MB)
08part 1 (7.8MB)
part 2 (11.0MB)
part 1 (6.6MB)
part 2 (9.6MB)
20part 1 (12.1MB)part 1 (10.4MB)
09part 1 (13.5MB)part 1 (11.9MB)21part 1 (10.8MB)
part 2 (7.3MB)
part 1 (9.1MB)
part 2 (6.0MB)
10part 1 (15.7MB)
part 2 (6.2MB)
part 1 (13.5MB)
part 2 (5.5MB)
22part 1 (12.2MB)part 1 (10.2MB)
11part 1 (12.3MB)part 1 (10.5MB)23part 1 (13.8MB)
part 2 (8.3MB)
part 1 (11.9MB)
part 2 (7.2MB)
12part 1 (13.1MB)
part 2 (9.0MB)
part 1 (11.0MB)
part 2 (7.6MB)
24n/an/a