Travelled to:1 × Germany
1 × The Netherlands
Collaborated with:H.J.S.Bruggink B.König ∅ D.Engelke M.Friedrich
Talks about:graph (3) recogniz (2) languag (2) invari (2) check (2) decomposit (1) treewidth (1) pathwidth (1) implement (1) automata (1)
Person: Christoph Blume
DBLP: Blume:Christoph
Contributed to:
2012
201120102010Wrote 4 papers:
- ICGT-2012-BlumeBEK #automaton #graph #implementation #invariant #performance
- Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking (CB, HJSB, DE, BK), pp. 264–278.
- GT-VMT-2011-BlumeBFK
- Treewidth, Pathwidth and Cospan Decompositions (CB, HJSB, MF, BK).
- GT-VMT-2010-BlumeBK #graph #invariant
- Recognizable Graph Languages for Checking Invariants (CB, HJSB, BK).
- ICGT-2010-Blume #graph #verification
- Recognizable Graph Languages for the Verification of Dynamic Systems (CB), pp. 384–387.