| Montag |
| 14:00 - 14:15 |
Dieter Hutter, Werner Stephan (DFKI) |
Begrüßung |
| 14:15 - 15:15 |
Bernd Finkbeiner (Uni des Saarlandes) |
Slicing Abstractions (Invited Talk) |
| 15:15 - 15:45 |
Kaffeepause |
| 15:45 - 16:15 |
Andreas Nonnengart (DFKI) |
SuReal: Durchgängige Verifikation von Realzeitanwendungen
|
| 16:15 - 16:45 |
Christoph Gladisch (Uni Koblenz) |
Structural and Semantic Properties of Computed Specifications |
| 16:45 - 17:15 |
Holger Schmidt (Uni Duisburg) |
Auffinden von Konflikten zwischen Security und
Usability Anforderungen basierend auf einem Mustersystem
|
| 17:15 - 17:30 |
Kaffeepause |
|
17:30 - 18:30 |
Business Meeting |
Fachgruppe FoMSeSS |
| Dienstag |
| 9:00 - 9:30 |
Jan Jürjens (Open University) |
Soundly based Security Engineering at the Open University |
| 9:30 - 10:00 |
Christopher Krauss (DFKI) |
Securing Privacy in the Semantic Web |
| 10:00 - 10:30 |
Kaffeepause |
| 10:30 - 11:30 |
Christoph Weidenbach (MPII) |
Automatic Analysis of LAN Infrastructures (Invited Talk) |
| 11:30 - 12:00 |
NN(Uni Koblenz) |
Key- spezifisches |
| 13:00 |
Ende der Jahrestagung |
Hauptseite