Seminar: Seminar WS11/12 - Details

Seminar: Seminar WS11/12 - Details

Nachrichtenbox schließen
Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname Seminar: Seminar WS11/12
Semester WiSe 11/12
Aktuelle Anzahl der Teilnehmenden 0
Heimat-Einrichtung E-16 Softwaresysteme
Veranstaltungstyp Seminar in der Kategorie Lehre
Erster Termin Donnerstag, 20.10.2011 13:15 - 14:45, Ort: (SBS 95, Bldg. E, Rm. 4042)

Räume und Zeiten

Keine Raumangabe
Donnerstag: 11:00 - 12:30, wöchentlich(4x)
Donnerstag, 17.11.2011 11:15 - 12:30
Donnerstag, 24.11.2011 11:15 - 12:30
Donnerstag, 01.12.2011 11:15 - 12:30
Donnerstag, 08.12.2011 11:16 - 12:30
Donnerstag, 15.12.2011 11:15 - 12:30
Donnerstag, 12.01.2012 11:15 - 12:30
(SBS 95, Bldg. E, Rm. 4042)
Donnerstag, 20.10.2011 13:15 - 14:45

Kommentar/Beschreibung

In this seminar, students work in pairs on practically relevant
questions of software analysis and verification. They study
the theoretical underpinnings as well the practical workings,
present a summary in class, and prepare a short write-up.
Topics include:

* Contracts
* Typestate
* Distributed Debugging
* Replay
* Model Checking
* Model Inference
* Dynamic Symbolic Execution
* Hoare Rules
* Structural Test Generation
* Transient HW Faults

The tentative literature list can be found here:
http://www.sts.tu-harburg.de/~schupp/teaching/sem11W/litHSWS11.html


Enrollment is limited. If the number of interested students
exceeds the number of seats, seats are assigned first-come,
first-serve, based on the date at which you registered for the
seminar in Stud.IP.

Language: all papers and all material is in English. Speakers
present in English.


Attendance: participants are expected to attend. Exceptions
may be arranged only in exceptional circumstances (hence
the name) and if you contact the teacher two days in advance.

The first meeting takes place in the first week of the
semester. Time and place is announced in Stud.IP. During
this meeting, topics will be assigned. Again, the first-come,
first-serve principle applies: you pick topics (and, if so
desired, your team-mate) in the order in which you
registered in Stud.IP. Since the topics and papers vary in
their style, it is important that you take a look upfront and
have an idea of your preferences.