Dr. Barbara König
Abteilung Sichere und Zuverlässige Softwaresysteme
    (Software reliability and security group)
Institut für Formale Methoden der Informatik
Universität Stuttgart
Universitätsstr. 38
70569 Stuttgart
Germany

---

Events/Professional Activities

• ICGT 2006: Third International Conference on Graph Transformation (Natal, Brazil)


• CONCUR 2006: 17th International Conference on Concurrency Theory (Bonn, Germany)


• GT-VC 2006: Workshop on Graph Transformation for Verification and Concurrency (affiliated with CONCUR 2006 in Bonn, Germany)


• Formal Methods Letters

---

Projects

• Static Analysis of Dynamically Evolving Systems (SANDS), DFG project
  Within the "Aktionsplan Informatik" (Emmy Noether Programme)


• Italian/German Exchange Programme: "Models based on Graph Transformation Systems: Analysis and Verification", DAAD - Programma Vigoni

See also the other projects of our group.

---

Informationen für Studierende

• Sprechstunde: nach Vereinbarung


• Lehre im WS 2005/06:
  
  
  • Vorlesung "Einführung in die Informatik III"
  • Seminar "Inside Google - Algorithmen für Suchmaschinen"


• Lehre im SS 2005:
  
  
  • Vorlesung "Automatische Analyse und Verifikation von Programmen"
  • Seminar "Kryptographische Protokolle"


• Lehre im SS 2004:
  
  
  • Vorlesung "Programmanalyse"
  • Seminar "Kryptographische Protokolle"


• Lehre im WS 2003/04:
  
  
  • Vorlesung "Logik"
  • Seminar "Modellierung und Analyse verteilter Systeme mit Petri-Netzen"


• Angebotene Diplomarbeiten, Softwarepraktika und Studienarbeiten