Oberseminar: Formale Methoden


Organizers
: Prof. H. Mantel, Prof. H. Veith, Prof. Chr. Walther

Location: Room S2-02 / E302
Time: Tuesday, 16:30-18:00

 Datum Name
Titel
14.10.2008
   
21.10.2008

kein Vortrag

 

 
28.10.2008
Dr. Barbara Sprick   
04.11.2008
Ina Schäfer 

Integrating Formal Verification into the Model-based Development of Adaptive Embedded Systems 

11.11.2008
Boris Köpf  Automatically deriving information-theoretic bounds for side-channel attacks 
18.11.2008
Timo Schneider
Fallstudie: Sicherheitsautomat für einen orchestrierten Dienst in einer serviceorientierten Architektur
25.11.2008


02.12.2008
Alexander Nickol

Ablaufplanung nebenläufigerAktionen in VeriFun

Mittwoch, 3.12.2008, 14:00
Matthias Perner
Information Flow Analysis for CIL
09.12.2008
Richard Gay
Interrupt-related Covert Channels from an Attacker's Perspective
16.12.2008
kein Vortrag

13.01.2009
Michael Tautschnig 

Query-Driven Program Testing 

20.01.2009
 

27.01.2009 ! findet nicht statt ! 
Henning Sudbrock
Information Flow Analysis with the Combining Calculus using Program Transformations
03.02.2009
nicht verfügbar

10.02.2009
Henning Sudbrock
Information Flow Analysis with the Combining Calculus using Program Transformations



A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang