Prof. Barbara König, Universität Duisburg-Essen, Campus Duisburg
Mark profile

Prof. Dr. Barbara König

Nominated by

  • German Research Foundation (DFG)
  • AcademiaNet member since 17.05.2010
  • AcademiaNet- Selection Criteria


Employed by

  • Universität Duisburg-Essen, Campus Duisburg


Academic Discipline/Fields

  • Information and Communication Technologies


Field

Information and Communication Technologies (ICTs)



Research interests

  • Verification

  • Programme analysis

  • Concurrency theory

  • Graph transformation systems

  • Petri nets



Languages

English, French, German, Italian



Doctorate

  • 1999: Description and Verification of Mobile Processes with Graph Rewriting Techniques ("Description and verification of mobile processes with graph rewriting techniques")


PostDoc qualification, e.g. Habilitation

  • 2005: Analysis and Verification of Systems with Dynamically Evolving Structures ("Analysis and verification of systems with dynamically evolving structures")




Short CV/Education and training

  • 2004 – 2006
    Head of an Emmy Noether junior research group at the University of Stuttgart, Germany

  • Since 2006
    Professor of theoretical computer science at the University of Duisburg-Essen, Germany

Selected publications

  • Bonchi, F., Gadducci, F., König, B.: Synthesising CCS bisimulation using graph rewriting. In: Information and Computation 207, 2009. S. 14-40.

  • Baldan, P., Corradini, A., König, B.: A framework for the verification of infinite-state graph transformation systems. In: Information and Computation 206, 2008. S. 869-907.

  • Joshi, S., König, B.: Applying the graph minor theorem to the verification of graph transformation systems. In: Proc. of CAV '08, S. 214-226. Springer, 2008.


Selected projects

  • Graphs, Recognisability and Verification (GaReV), German Research Foundation (DFG) project, since 2010

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

  • Static Analysis of Dynamically Evolving Systems (SANDS), Emmy Noether DFG project, since 2004

Membership in scientific bodies/juries

  • Membership in numerous programme committees

Contact

You can only see the contact information of the academics in the database if you are a registered user of AcademiaNet.
Please register here

Testimonials

  1. Read what our members say about AcademiaNet.

No more excuses!

  1. Please download the brochure "No more excuses" and read more about female experts in Europe, and about AcademiaNet.

Similar profiles

  1. Prof. Yolande Berbers

    Information and Communication Technologies (ICTs)Distributed systems

  2. Prof. Dr. Susanne Albers

    Information and Communication Technologies (ICTs)Efficient algorithms

  3. Prof. Dr. Jessica Burgner-Kahrs

    Information and Communication Technologies (ICTs), Engineering and engineering trades Robotics, continuous robots, soft robots

  4. Prof. Dr. Ruth Breu

    Information and Communication Technologies (ICTs)Software engineering

 

News

  1. Live Slow, Die Old

    Behavioural biologists from the University of Zurich reveal this correlation between longevity and personality for female house mice. Furthermore, they found a correlation with a genetic element on chromosome 17.

 
Academia Net