Prof. Dr. Barbara König

• Sprechstunde: nach Vereinbarung


• Ich bin Prüfungsausschussvorsitzende für die Bachelor-/Master-Studiengänge "Angewandte Informatik (Ingenieur- und Medieninformatik) -> Weitere Informationen zu diesen Studiengängen


• Lehre im WS 2011/12:
  • Berechenbarkeit und Komplexität
  • Modellierung/Modellierungsmethoden der Informatik
  • Modellierung, Analyse, Verifikation (Programmanalyse)
  • Formale Aspekte der Softwares-Sicherheit und Kryptographie
  • Seminar "Spiele in der Informatik"

• Lehre im SS 2011:
  • Vorlesung "Mathematische Strukturen"
  • Vorlesung "Logik"
  • Vorlesung "Modellierung nebenläufiger Systeme"

Publications

• TACAS 2013: Nineteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (affiliated with ETAPS 2013 in Rome, Italy)

• ICGT 2012: Sixth International Conference on Graph Transformation (September 2012, Bremen, Germany)

• ICGT 2012 Doctoral Symposium (affiliated with ICGT 2012 in Bremen, Germany)

• CONCUR 2012: Twenty-third International Conference on Concurrency Theory (September 2012, Newcastle upon Tyne, UK)

• ACSD 2012: Twelfth International Conference on Application of Concurrency to System Design (Hamburg, Germany)

• Co-chair of TACAS 2012: Eighteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (affiliated with ETAPS 2012 in Tallinn, Estonia)

• GT-VMT 2012: Eleventh International Workshop on Graph Transformation and Visual Modeling Techniques (affiliated with ETAPS 2012 in Tallinn Estonia)


• VMCAI 2012: Thirteenth International Conference on Verification, Model Checking, and Abstract Interpretation (Philadelphia, USA)

• Organizer and co-chair of CONCUR 2011: Twenty-second International Conference on Concurrency Theory (Aachen, Germany)

• Formal Methods Letters

• Graphs, Recognizability and Verification (GaReV), DFG project


• Behavioural Simulation and Equivalences of Systems Modelled by Graph Transformation (Behaviour-GT), DFG project


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