[an error occurred while processing this directive]
Bild mit Unilogo
homeicon university sucheicon search siteicon sitemap kontakticon contact impressicon legal notice
unilogo University of Stuttgart 
Institute of Formal Methods in Computer Science

Software Reliability and Security Group

[an error occurred while processing this directive] englishicon
 

Barbara König

I have moved to the University of Duisburg-Essen. Please have a look also at my new homepage.

Barbara Koenig

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

Room Number: 1.336
Phone: ++49-711-7816-458
Fax: ++49-711-7816-462
e-mail: koenigba@fmi.uni-stuttgart.de

Research Interests: Graph Rewriting, Static Analysis and Verification of Concurrent Systems, Type Systems, Mobile Processes, Transformation Semigroups and Syntactic Monoids

Publications


Events/Professional Activities
Projects See also the other projects of our group.
Informationen für Studierende