Publications by Barbara König

To appear

H.J. Sander Bruggink and Barbara König. Recognizable languages of arrows. Mathematical Structures in Computer Science, to appear.
Info
Barbara König, Dennis Nolte, Julia Padberg, and Arend Rensink. A tutorial on graph transformation. In Festschrift in Memory of Hartmut Ehrig. Springer, to appear.
Info
Barbara König and Sebastian Küpper. A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata. Soft Computing, to appear.
Info
See link.springer.com ...

2017

Jan Stückrath and Barbara König. A general framework for well-structured graph transformation systems. Information and Computation, 252:79–94, 2017.
Info
See www.sciencedirect.com ...
Filippo Bonchi, Barbara König, and Sebastian Küpper. Up-to techniques for weighted systems (extended version), 2017. arXiv:1701.05001.
Info
See arxiv.org ...
Conference version
Filippo Bonchi, Barbara König, and Sebastian Küpper. Up-to techniques for weighted systems. In Proc. of TACAS '17, Part I, pages 535–552. Springer, 2017. LNCS 10205.
Info
Extended version
Barbara König, Sebastian Küpper, and Christina Mika. Paws: A tool for the analysis of weighted systems. In Proc. of QAPL '17 (International Workshop on Quantitative Aspects of Programming Languages and Systems), volume 250 of EPTCS, 2017.
Info
See eptcs.web.cse.unsw.edu.au ...
Andrea Corradini, Barbara König, and Dennis Nolte. Specifying graph languages with type graphs. In Proc. of ICGT '17 (International Conference on Graph Transformation), pages 73–89. Springer, 2017. LNCS 10373.
Info
Extended version
Andrea Corradini, Barbara König, and Dennis Nolte. Specifying graph languages with type graphs, 2017. arXiv:1704.05263.
Info
See arxiv.org ...
Conference version
Barbara König and Christina Mika. Bisimulation games on coalgebras. In CALCO Early Ideas '17, 2017.
Info
Harsh Beohar, Barbara König, Sebastian Küpper, and Alexandra Silva. Conditional transition system with upgrades. In Proc. of TASE '17 (Theoretical Aspects of Software Engineering), 2017. to appear.
Info
Benjamin Cabrera and Barbara König. Extracting the main path of historic events from Wikipedia. In Proc. of ENIC '17 (European Network Intelligence Conference), 2017. to appear.
Info
Davide Di Ruscio and Barbara König, editors. STAF 2017 Doctoral Symposium, volume 1955 of CEUR Workshop Proceedings, 2017.
Info
See ceur-ws.org ...

2016

Hans Zantema, Dennis Nolte, and Barbara König. Termination of term graph rewriting. In Proc. of WST '16 (Workshop on Termination), 2016.
Info
Harsh Beohar, Barbara König, Sebastian Küpper, and Alexandra Silva. A coalgebraic treatment of conditional transition systems with upgrades, 2016. arXiv:1612.05002.
Info
See arxiv.org ...

2015

H.J. Sander Bruggink, Barbara König, and Sebastian Küpper. Robustness and closure properties of recognizable languages in adhesive categories. Science of Computer Programming, 104:71–98, 2015.
Info
H.J. Sander Bruggink, Barbara König, Dennis Nolte, and Hans Zantema. Proving termination of graph transformation systems using weighted type graphs over semirings. In Proc. of ICGT '15 (International Conference on Graph Transformation), pages 52–68. Springer, 2015. LNCS 9151.
Info
Extended version
H.J. Sander Bruggink, Barbara König, Dennis Nolte, and Hans Zantema. Proving termination of graph transformation systems using weighted type graphs over semirings, 2015. arXiv:1505.01695.
Info
See arxiv.org ...
Conference version
Paolo Baldan, Filippo Bonchi, Henning Kerstan, and Barbara König. Towards trace metrics via functor lifting. In Proc. of CALCO '15 (Algebra and Coalgebra in Computer Science), volume 35 of LIPIcs, pages 35–49. Schloss Dagstuhl – Leibniz Center for Informatics, 2015.
Info
See drops.dagstuhl.de ...
Extended version
Paolo Baldan, Filippo Bonchi, Henning Kerstan, and Barbara König. Towards trace metrics via functor lifting, 2015. arXiv:1505.08105.
Info
See arxiv.org ...
Conference version
Parosh Aziz Abdulla, Fabio Gadducci, Barbara König, and Viktor Vafeiadis. Verification of Evolving Graph Structures (Dagstuhl Seminar 15451). Dagstuhl Reports, 5(11), 2015.
Info
See drops.dagstuhl.de ...

2014

Cormac Flanagan and Barbara König. Developments in automated verification techniques. International Journal on Software Tools for Technology Transfer, 16(2), 2014.
Info
See link.springer.com ...
Henning Kerstan, Barbara König, and Bram Westerbaan. Lifting adjunctions to coalgebras to (re)discover automata constructions. In Proc. of CMCS '14, pages 1–21. Springer, 2014. LNCS 8446.
Info
Hans Zantema, H.J. Sander Bruggink, and Barbara König. Termination of cycle rewriting. In Proc. of RTA-TLCA '14, pages 476–490. Springer, 2014. LNCS 8560.
Info
Barbara König and Jan Stückrath. A general framework for well-structured graph transformation systems. In Proc. of CONCUR '14, pages 467–481. Springer, 2014. LNCS/ARCoSS 8704.
Info
Extended version
Barbara König and Jan Stückrath. A general framework for well-structured graph transformation systems, 2014. arXiv:1406.4782.
Info
See arxiv.org ...
Conference version
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, and Paweł Sobociński. Processes and unfoldings: Concurrent computations in adhesive categories. Mathematical Structures in Computer Science, 24(4), 2014.
Info
See journals.cambridge.org ...
H.J. Sander Bruggink, Barbara König, and Hans Zantema. Termination analysis for graph transformation systems. In Proc. of TCS '14, IFIP AICT, pages 179–194. Springer, 2014. LNCS 8705.
Info
Barbara König and Sebastian Küpper. Generic partition refinement algorithms for coalgebras and an instantiation to weighted automata. In Proc. of TCS '14, IFIP AICT, pages 311–325. Springer, 2014. LNCS 8705.
PDF (260 kB)
Info
Holger Giese and Barbara König, editors. Graph Transformation (ICGT 2014). Springer, 2014. LNCS 8571.
Info
See www.springeronline.com ...
Paolo Baldan, Filippo Bonchi, Henning Kerstan, and Barbara König. Behavioral metrics via functor lifting. In Proc. of FSTTCS '14, volume 29 of LIPIcs. Schloss Dagstuhl – Leibniz Center for Informatics, 2014.
Info
See drops.dagstuhl.de ...
Extended version
Paolo Baldan, Filippo Bonchi, Henning Kerstan, and Barbara König. Behavioral metrics via functor lifting, 2014. arXiv:1410.3385.
Info
See arxiv.org ...
Conference version

2013

Henning Kerstan and Barbara König. Coalgebraic trace semantics for continuous probabilistic transition systems, 2013. arXiv:1310.7417.
Info
See arxiv.org ...
Conference version
H.J. Sander Bruggink, Barbara König, and Sebastian Küpper. Concatenation and other closure properties of recognizable languages in adhesive categories. In Proc. of GT-VMT '13 (Workshop on Graph Transformation and Visual Modeling Techniques), volume 58 of Electronic Communications of the EASST, 2013.
Info
See journal.ub.tu-berlin.de ...
Christoph Blume, H.J. Sander Bruggink, Martin Friedrich, and Barbara König. Treewidth, pathwidth and cospan decompositions with applications to graph-accepting tree automata. Journal of Visual Languages & Computing, 24(3):192–206, 2013.
Info
See dx.doi.org ...
Conference version
Henning Kerstan and Barbara König. Coalgebraic trace semantics for continuous probabilistic transition systems. Logical Methods in Computer Science, 9(4:16), 2013. Selected Papers of the ``23rd International Conference on Concurrency Theory'' CONCUR 2012.
Info
See www.lmcs-online.org ...
Conference version

2012

Jiri Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König, Stefan Milius, and Alexandra Silva. A coalgebraic perspective on minimization and determinization. In Proc. of FOSSACS '12, pages 58–73. Springer, 2012. LNCS/ARCoSS 7213.
Info
See link.springer.com ...
Mathias Hülsbusch and Barbara König. Deriving bisimulation congruences for conditional reactive systems. In Proc. of FOSSACS '12, pages 361–375. Springer, 2012. LNCS/ARCoSS 7213.
Info
See link.springer.com ...
H.J. Sander Bruggink, Mathias Hülsbusch, and Barbara König. Towards alternating automata for graph languages. In Proc. of GT-VMT '12 (Workshop on Graph Transformation and Visual Modeling Techniques), volume 47 of Electronic Communications of the EASST, 2012.
Info
See journal.ub.tu-berlin.de ...
Andrei Dorman, Tobias Heindel, and Barbara König. Structured operational semantics for graph rewriting. Scientific Annals of Computer Science, XXII(1):105–145, 2012.
Info
See www.info.uaic.ro ...
Nathalie Bertrand, Giorgio Delzanno, Barbara König, Arnaud Sangnier, and Jan Stückrath. On the decidability status of reachability and coverability in graph transformation systems. In Proc. of RTA '12, volume 15 of LIPIcs, pages 101–116. Schloss Dagstuhl – Leibniz Center for Informatics, 2012.
PDF (592 kB)
Info
See drops.dagstuhl.de ...
Tech report version
Nathalie Bertrand, Giorgio Delzanno, Barbara König, Arnaud Sangnier, and Jan Stückrath. On the decidability status of reachability and coverability in graph transformation systems. Technical Report DISI-TR-11-04, Dipartimento di Informatica e Scienze dell'Informazione, Università di Genova, 2012.
Info
See www.disi.unige.it ...
Cormac Flanagan and Barbara König, editors. Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012). Springer, 2012. LNCS/ARCoSS 7214.
Info
See www.springeronline.com ...
Salil Joshi and Barbara König. Applying the graph minor theorem to the verification of graph transformation systems. Technical Report 2012-01, Abteilung für Informatik und Angewandte Kognitionswissenschaft, Universität Duisburg-Essen, 2012.
Info
See duepublico.uni-duisburg-essen.de ...
Henning Kerstan and Barbara König. Coalgebraic trace semantics for probabilistic transition systems based on measure theory. In Proc. of CONCUR '12, pages 410–424. Springer, 2012. LNCS/ARCoSS 7454.
Info
See link.springer.com ...
Tech report version
Christoph Blume, Sander Bruggink H., J., Dominik Engelke, and Barbara König. Efficient symbolic implementation of graph automata with applications to invariant checking. In Proc. of ICGT '12 (International Conference on Graph Transformation), pages 264–278. Springer, 2012. LNCS 7562.
Info
Barbara König and Jan Stückrath. Well-structured graph transformation systems with negative application conditions. In Proc. of ICGT '12 (International Conference on Graph Transformation), pages 89–95. Springer, 2012. LNCS 7562.
Info
Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, César Rodriguez, and Stefan Schwoon. Efficient unfolding of contextual Petri nets. Theoretical Computer Science, 449:2–22, 2012.
Info
See www.sciencedirect.com ...
Conference version
Henning Kerstan and Barbara König. Coalgebraic trace semantics for probabilistic transition systems based on measure theory. Technical Report 2012-02, Abteilung für Informatik und Angewandte Kognitionswissenschaft, Universität Duisburg-Essen, 2012.
Info
See duepublico.uni-duisburg-essen.de ...
Barbara König and Jan Stückrath. Well-structured graph transformation systems with negative application conditions. Technical Report 2012-03, Abteilung für Informatik und Angewandte Kognitionswissenschaft, Universität Duisburg-Essen, 2012.
Info
See duepublico.uni-duisburg-essen.de ...
Barbara König. Conditions in reactive systems and in graph rewriting. In Proc. of PNGT '12 (Workshop on Petri Nets, Graph Transformation and other Concurrency Formalisms), volume 51 of Electronic Communications of the EASST, 2012.
Info
See journal.ub.tu-berlin.de ...
Cormac Flanagan and Barbara König, editors. Selected Papers of the Conference ``Tools and Algorithms for the Construction and Analysis of Systems'': TACAS 2012, Logical Methods in Computer Science, 2012. Special Issue.
Info
See www.lmcs-online.org ...

2011

Marvin Heumüller, Salil Joshi Barbara König, and Jan Stückrath>. Construction of pushout complements in the category of hypergraphs. In Proc. of GCM '10 (Workshop on Graph Computation Models), volume 39 of Electronic Communications of the EASST, 2011.
Info
See journal.ub.tu-berlin.de ...
Paolo Baldan, Filippo Bonchi, Andrea Corradini, Tobias Heindel, and Barbara König. A lattice-theoretical perspective on adhesive categories. Journal of Symbolic Computation, 46:222–245, 2011.
Info
See www.sciencedirect.com ...
Christoph Blume, H.J. Sander Bruggink, Martin Friedrich, and Barbara König. Treewidth, pathwidth and cospan decompositions. In Proc. of GT-VMT '11 (Workshop on Graph Transformation and Visual Modeling Techniques), volume 41 of Electronic Communications of the EASST, 2011.
Info
See journal.ub.tu-berlin.de ...
Joost-Pieter Katoen and Barbara König, editors. CONCUR 2011 – Concurrency Theory. Springer, 2011. LNCS/ARCoSS 6901.
Info
See www.springeronline.com ...
H.J. Sander Bruggink, Raphaël Cauderlier, Barbara König, and Mathias Hülsbusch. Conditional reactive systems. In Proc. of FSTTCS '11, volume 13 of LIPIcs. Schloss Dagstuhl – Leibniz Center for Informatics, 2011.
Info
See drops.dagstuhl.de ...
Joost-Pieter Katoen and Barbara König, editors. Selected Papers of the ``22nd International Conference on Concurrency Theory'' CONCUR 2011, Logical Methods in Computer Science, 2011. Special Issue.
Info
See www.lmcs-online.org ...

2010

Paolo Baldan, Thomas Chatain, Stefan Haar, and Barbara König. Unfolding-based diagnosis of systems with an evolving topology. Information and Computation, 208:1169–1192, 2010.
Info
See www.sciencedirect.com ...
Frank Hermann, Andrea Corradini, Hartmut Ehrig, and Barbara König. Efficient analysis of permutation equivalence of graph derivations based on Petri nets. In Proc. of GT-VMT '10 (Workshop on Graph Transformation and Visual Modeling Techniques), volume 29 of Electronic Communications of the EASST, 2010.
Info
See journal.ub.tu-berlin.de ...
Christoph Blume, H.J. Sander Bruggink, and Barbara König. Recognizable graph languages for checking invariants. In Proc. of GT-VMT '10 (Workshop on Graph Transformation and Visual Modeling Techniques), volume 29 of Electronic Communications of the EASST, 2010.
PDF (275 kB)
Info
See journal.ub.tu-berlin.de ...
Mathias Hülsbusch, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. Full semantics preservation in model transformation – a comparison of proof techniques. Technical Report TR-CTIT-10-09, Centre for Telematics and Information Technology, University of Twente, 2010.
Info
See eprints.eemcs.utwente.nl ...
Conference version
H.J. Sander Bruggink and Barbara König. A logic on subobjects and recognizability. In Proc. of TCS '10, volume 323 of IFIP AICT, pages 197–212. Springer, 2010.
PDF (252 kB)
Info
See link.springer.com ...
Barbara König and Javier Esparza. Verification of graph transformation systems with context-free specifications. In Proc. of ICGT '10 (International Conference on Graph Transformation), pages 107–122. Springer, 2010. LNCS 6372.
PDF (255 kB)
Info
See link.springer.com ...
Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, and Stefan Schwoon. On the computation of McMillan's complete prefix for contextual nets and graph grammars. In Proc. of ICGT '10 (International Conference on Graph Transformation), pages 91–106. Springer, 2010. LNCS 6372.
PDF (239 kB)
Info
See link.springer.com ...
Frank Hermann, Mathias Hülsbusch, and Barbara König. Specification and verification of model transformations. In Proc. of GraMoT '10 (International Colloquium on Graph and Model Transformation on the Occasion of Hartmut Ehrig's 65th birthday), volume 30 of Electronic Communications of the EASST, 2010.
Info
See journal.ub.tu-berlin.de ...
Mathias Hülsbusch, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. Showing full semantics preservation in model transformation – a comparison of techniques. In Proc. of iFM '10 (Integrated Formal Methods), pages 183–198. Springer, 2010. LNCS 6396.
Info
See link.springer.com ...
Tech report version

2009

Hartmut Ehrig, Claudia Ermel, Frank Hermann, and Barbara König. Behaviour simulation and equivalence of systems modelled by graph transformation. EATCS Bulletin, 97:117–125, February 2009. Appeared in The Formal Specification Column.
Info
Filippo Bonchi, Fabio Gadducci, and Barbara König. Synthesising CCS bisimulation using graph rewriting. Information and Computation, 207:14–40, 2009.
Info
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, and Paweł Sobociński. Unfolding grammars in adhesive categories. In Proc. of CALCO '09 (Algebra and Coalgebra in Computer Science), pages 350–366. Springer, 2009. LNCS 5728.
PDF (345 kB)
Info
Barbara König and Vitaly Kozyura. Case study: Verification of a leader election protocol using Augur, 2009. Solution for the GraBaTs '09 tool contest.
PDF (185 kB)
Info

2008

Paolo Baldan, Thomas Chatain, Stefan Haar, and Barbara König. Unfolding-based diagnosis of systems with an evolving topology. Technical Report 2008-2, Abteilung für Informatik und Angewandte Kognitionswissenschaft, Universität Duisburg-Essen, July 2008.
PDF (498 kB)
Info
See duepublico.uni-duisburg-essen.de ...
Conference version
Paolo Baldan, Filippo Bonchi, Tobias Heindel, and Barbara König. Irreducible objects and lattice homomorphisms in adhesive categories. In Jochen Pfalzgraf, editor, Proc. of ACCAT '08 (Workshop on Applied and Computational Category Theory), March 2008.
PDF (112 kB)
Info
Guilherme Rangel, Barbara König, and Hartmut Ehrig. Deriving bisimulation congruences in the presence of negative application conditions. Technical Report 2008-1, Abteilung für Informatik und Angewandte Kognitionswissenschaft, Universität Duisburg-Essen, February 2008.
PDF (1 MB)
Info
See duepublico.uni-duisburg-essen.de ...
Conference version
Barbara König and Vitali Kozioura. Augur 2—a new version of a tool for the analysis of graph transformation systems. In Proc. of GT-VMT '06 (Workshop on Graph Transformation and Visual Modeling Techniques), volume 211 of ENTCS, pages 201–210. Elsevier, 2008.
PDF (291 kB)
Info
Guilherme Rangel, Barbara König, and Hartmut Ehrig. Deriving bisimulation congruences in the presence of negative application conditions. In Proc. of FOSSACS '08, pages 413–427. Springer, 2008. LNCS 4962.
PDF (304 kB)
Info
Tech report version
Salil Joshi and Barbara König. Applying the graph minor theorem to the verification of graph transformation systems. In Proc. of CAV '08, pages 214–226. Springer, 2008. LNCS 5123.
PDF (346 kB)
Info
Paolo Baldan, Andrea Corradini, Barbara König, and Stefan Schwoon. McMillan's complete prefix for contextual nets. LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), 5100:199–220, 2008.
Info
Conference version
Paolo Baldan, Andrea Corradini, and Barbara König. A framework for the verification of infinite-state graph transformation systems. Information and Computation, 206:869–907, 2008.
Info
H.J. Sander Bruggink and Barbara König. On the recognizability of arrow and graph languages. In Proc. of ICGT '08 (International Conference on Graph Transformation), pages 336–350. Springer, 2008. LNCS 5214.
PDF (246 kB)
Info
Barbara König and Vitali Kozioura. Towards the verification of attributed graph transformation systems. In Proc. of ICGT '08 (International Conference on Graph Transformation), pages 305–320. Springer, 2008. LNCS 5214.
PDF (291 kB)
Info
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, and Barbara König. Open Petri nets: Non-deterministic processes and compositionality. In Proc. of ICGT '08 (International Conference on Graph Transformation), pages 257–273. Springer, 2008. LNCS 5214.
PDF (430 kB)
Info
Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, and Paolo Baldan. Behavior preservation in model refactoring using DPO transformations with borrowed contexts. In Proc. of ICGT '08 (International Conference on Graph Transformation), pages 242–256. Springer, 2008. LNCS 5214.
PDF (448 kB)
Info
Paolo Baldan, Thomas Chatain, Stefan Haar, and Barbara König. Unfolding-based diagnosis of systems with an evolving topology. In Proc. of CONCUR '08, pages 203–217. Springer, 2008. LNCS 5201.
Info
Tech report version
Paolo Baldan, Andrea Corradini, and Barbara König. Unfolding graph transformation systems: Theory and applications to verification. In Pierpaolo Degano, Rocco De Nicola, and José Meseguer, editors, Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, pages 16–36. Springer, 2008. LNCS 5065.
PDF (273 kB)
Info
H.J. Sander Bruggink and Barbara König. On the recognizability of arrow and graph languages. Technical Report 2008-03, Abteilung für Informatik und Angewandte Kognitionswissenschaft, Universität Duisburg-Essen, 2008.
Info
See duepublico.uni-duisburg-essen.de ...
Barbara König, Arend Rensink, and Reiko Heckel, editors. Proc. of GT-VC '07 (Graph Transformation for Verification and Concurrency), volume 213.1 of ENTCS. Elsevier, 2008.
Info
See www.sciencedirect.com ...
Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, and Paolo Baldan. Behavior preservation in model refactoring using DPO transformations with borrowed contexts. Technical Report 12/08, Technische Universität Berlin, 2008.
Info
See iv.tu-berlin.de ...
Paolo Baldan and Barbara König. Workshop on Petri Nets and Graph Transformations. In Proc. of ICGT '08 (International Conference on Graph Transformation), pages 467–469. Springer, 2008. LNCS 5214.
Info
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, and Barbara König. Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Logical Methods in Computer Science, 4(4:3), 2008.
Info
See www.lmcs-online.org ...
Conference version
Paolo Baldan and Barbara König, editors. Proc. of PNGT '08 (Petri Nets and Graph Transformation), volume 14 of Electronic Communications of the EASST, 2008.
Info
See eceasst.cs.tu-berlin.de ...

2007

Andrea Corradini, Fabio Gadducci, Wolfram Kahl, and Barbara König. Inequational deduction as term graph rewriting. In Proc. of TERMGRAPH '02 (International Workshop on Term Graph Rewriting), volume 72.1 of ENTCS, pages 31–44. Elsevier, 2007.
GZipped PostScript (128 kB)
PDF (220 kB)
Info
Arend Rensink, Reiko Heckel, and Barbara König, editors. Proc. of GT-VC '06 (Graph Transformation for Verification and Concurrency), volume 175.4 of ENTCS. Elsevier, 2007.
Info
See www.sciencedirect.com ...
Barbara König. Graph transformation systems, Petri nets and semilinear sets: Checking for the absence of forbidden paths in graphs. In Proc. of PNGT '06 (Workshop on Petri Nets and Graph Transformation), volume 2 of Electronic Communications of the EASST, 2007.
Info
See eceasst.cs.tu-berlin.de ...
Paolo Baldan, Andrea Corradini, Barbara König, and Alberto Lluch Lafuente. A temporal graph logic for verification of graph transformation systems. In Proc. of WADT '06 (Workshop on Algebraic Development Techniques), pages 1–20. Springer, 2007. LNCS 4409.
PDF (270 kB)
Info
Guilherme Rangel, Barbara König, and Hartmut Ehrig. Bisimulation verification for the DPO approach with borrowed contexts. In Proc. of GT-VMT '07 (Workshop on Graph Transformation and Visual Modeling Techniques), volume 6 of Electronic Communications of the EASST, 2007.
Info
See eceasst.cs.tu-berlin.de ...
Barbara König and Vitali Kozioura. Incremental construction of coverability graphs. Information Processing Letters, 103(5):203–209, 2007.
Info
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, and Barbara König. Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. In Proc. of CALCO '07 (Algebra and Coalgebra in Computer Science), pages 126–142. Springer, 2007. LNCS 4624.
PDF (480 kB)
Info
Tech report version
Paolo Baldan, Andrea Corradini, Barbara König, and Stefan Schwoon. McMillan's complete prefix for contextual nets. In Proc. of UFO '07 (Workshop on unfolding and partial order techniques), 2007.
PDF (225 kB)
Info
Barbara König. Deriving bisimulation congruences with borrowed contexts (invited talk). In Proc. of CALCO '07 (Algebra and Coalgebra in Computer Science), pages 36–39. Springer, 2007. LNCS 4624.
PDF (97 kB)
Info
Journal version

2006

Paolo Baldan, Hartmut Ehrig, and Barbara König. Composition and decomposition of DPO transformations with borrowed context. Technical Report 2006-1, Abteilung für Informatik und Angewandte Kognitionswissenschaft, Universität Duisburg-Essen, October 2006.
PDF (496 kB)
Info
See duepublico.uni-duisburg-essen.de ...
Conference version
Filippo Bonchi, Fabio Gadducci, and Barbara König. Process bisimulation via a graphical encoding. Technical Report TR-06-07, Department of Computer Science, University of Pisa, July 2006.
PDF (393 kB)
Info
See compass2.di.unipi.it ...
Conference version
Reiko Heckel, Barbara König, and Arend Rensink, editors. Proc. of GT-VC '05 (Graph Transformation for Verification and Concurrency), volume 154.2 of ENTCS. Elsevier, 2006.
Info
See www.sciencedirect.com ...
Paolo Baldan, Stefan Haar, and Barbara König. Distributed unfolding of Petri nets. In Proc. of FOSSACS '06, pages 126–141. Springer, 2006. LNCS 3921.
PDF (240 kB)
Info
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, and Paweł Sobociński. Processes for adhesive rewriting systems. In Proc. of FOSSACS '06, pages 202–216. Springer, 2006. LNCS 3921.
PDF (335 kB)
Info
Barbara König and Vitali Kozioura. Counterexample-guided abstraction refinement for the analysis of graph transformation systems. In Proc. of TACAS '06, pages 197–211. Springer, 2006. LNCS 3920.
PDF (222 kB)
Info
Tech report version
Paolo Baldan, Stefan Haar, and Barbara König. Distributed unfolding of Petri nets. Technical Report CS-2006-1, Dipartimento di Informatica, Università Ca' Foscari di Venezia, 2006.
PDF (302 kB)
Info
Conference version
Barbara König and Vitali Kozioura. Counterexample-guided abstraction refinement for the analysis of graph transformation systems. Technical Report 01/2006, Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, 2006.
PDF (282 kB)
Info
Conference version
Hartmut Ehrig and Barbara König. Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts. Mathematical Structures in Computer Science, 16(6):1133–1163, 2006.
Info
Conference version, Tech report version
Filippo Bonchi, Barbara König, and Ugo Montanari. Saturated semantics for reactive systems. In Proc. of LICS '06, pages 69–80. IEEE, 2006.
PDF (174 kB)
Info
Paolo Baldan, Hartmut Ehrig, and Barbara König. Composition and decomposition of DPO transformations with borrowed context. In Proc. of ICGT '06 (International Conference on Graph Transformation), pages 153–167. Springer, 2006. LNCS 4178.
PDF (207 kB)
Info
Tech report version
Andrea Corradini, Tobias Heindel, Frank Hermann, and Barbara König. Sesqui-pushout rewriting. In Proc. of ICGT '06 (International Conference on Graph Transformation), pages 30–45. Springer, 2006. LNCS 4178.
PDF (235 kB)
Info
Filippo Bonchi, Fabio Gadducci, and Barbara König. Process bisimulation via a graphical encoding. In Proc. of ICGT '06 (International Conference on Graph Transformation), pages 168–183. Springer, 2006. LNCS 4178.
PDF (248 kB)
Info
Tech report version
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, and Barbara König. Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Technical Report CS-2006-9, Dipartimento di Informatica, Università Ca' Foscari di Venezia, 2006.
Info
See www.unive.it ...
Conference version

2005

Barbara König and Vitali Kozioura. Augur—a tool for the analysis of graph transformation systems. EATCS Bulletin, 87:125–137, November 2005. Appeared in The Formal Specification Column.
GZipped PostScript (172 kB)
PDF (256 kB)
Info
Barbara König. Analysing input/output-capabilities of mobile processes with a generic type system. Journal of Logic and Algebraic Programming, 63(1):35–58, 2005.
Info
Conference version
Barbara König, Ugo Montanari, and Philippa Gardner, editors. Abstracts Collection – Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, Dagstuhl Seminar Proceedings 04241, 2005.
PDF (351 kB)
Info
See drops.dagstuhl.de ...
Paolo Baldan, Barbara König, and Arend Rensink. Graph grammar verification through abstraction. In Abstracts Collection – Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, Dagstuhl Seminar Proceedings 04241, 2005.
PDF (330 kB)
Info
See drops.dagstuhl.de ...
Barbara König. A general framework for types in graph rewriting. Acta Informatica, 42(4-5):349–388, 2005.
Info
Conference version
Hermann Gruber, Markus Holzer, Astrid Kiehn, and Barbara König. On timed automata with discrete time—structural and language theoretical characterization. In Proc. of DLT '05 (Developments in Language Theory), pages 272–283. Springer, 2005. LNCS 3572.
GZipped PostScript (81 kB)
PDF (144 kB)
Info
Paolo Baldan, Andrea Corradini, Javier Esparza, Tobias Heindel, Barbara König, and Vitali Kozioura. Verifying red-black trees. In Proc. of COSMICAH '05, 2005. Proceedings available as report RR-05-04 (Queen Mary, University of London).
GZipped PostScript (101 kB)
PDF (175 kB)
Info

2004

Barbara König. Analysis and verification of systems with dynamically evolving structures. Habilitation thesis, Universität Stuttgart, December 2004.
GZipped PostScript (998 kB)
PDF (1 MB)
Info
Markus Holzer and Barbara König. Regular languages, sizes of syntactic monoids, graph colouring, state complexity results, and how these topics are related to each other. EATCS Bulletin, 83:139–155, June 2004. Appeared in The Formal Language Theory Column.
GZipped PostScript (74 kB)
PDF (140 kB)
Info
Paolo Baldan, Andrea Corradini, Barbara König, and Bernhard König. Verifying a behavioural logic for graph transformation systems. In Proc. of COMETA '03, volume 104 of ENTCS, pages 5–24. Elsevier, 2004.
GZipped PostScript (183 kB)
PDF (301 kB)
Info
Hartmut Ehrig and Barbara König. Deriving bisimulation congruences in the DPO approach to graph rewriting. In Proc. of FOSSACS '04, pages 151–166. Springer, 2004. LNCS 2987.
GZipped PostScript (130 kB)
PDF (311 kB)
Info
Tech report version
Markus Holzer and Barbara König. On deterministic finite automata and syntactic monoid size. Theoretical Computer Science, 327:319–347, 2004.
Info
Conference version, Conference version
Paolo Baldan, Andrea Corradini, and Barbara König. Verifying finite-state graph grammars: an unfolding-based approach. In Proc. of CONCUR '04, pages 83–98. Springer-Verlag, 2004. LNCS 3170.
GZipped PostScript (139 kB)
PDF (231 kB)
Info
Tech report version
Paolo Baldan, Barbara König, and Ingo Stürmer. Generating test cases for code generators by unfolding graph transformation systems. In Proc. of ICGT '04 (International Conference on Graph Transformation), pages 194–209. Springer-Verlag, 2004. LNCS 3256.
GZipped PostScript (233 kB)
PDF (225 kB)
Info
Fernando Luís Dotti, Barbara König, Osmar Marchi dos Santos, and Leila Ribeiro. A case study: Verifying a mutual exclusion protocol with process creation using graph transformation systems. Technical Report 08/2004, Universität Stuttgart, 2004.
GZipped PostScript (324 kB)
PDF (532 kB)
Info
See inf4.informatik.uni-stuttgart.de ...
Herrman Gruber, Markus Holzer, Astrid Kiehn, and Barbara König. On timed automata with discrete time—structural and language theoretical characterization. In 14. Theorietag der GI-Fachgruppe 0.1.5 ``Automaten und Formale Sprachen''. Universität Potsdam, 2004.
Info

2003

Wilfried Brauer, Markus Holzer, Barbara König, and Stefan Schwoon. The theory of finite-state adventures. EATCS Bulletin, 79:230–237, February 2003.
GZipped PostScript (111 kB)
PDF (218 kB)
Info
Markus Holzer and Barbara König. On deterministic finite automata and syntactic monoid size. In Proc. of DLT '02 (Developments in Language Theory), pages 258–269. Springer-Verlag, 2003. LNCS 2450.
GZipped PostScript (76 kB)
PDF (141 kB)
Info
Journal version
Paolo Baldan, Andrea Corradini, and Barbara König. Unfolding-based verification for graph transformation systems. In Proc. of UniGra '03: Uniform Approaches to Graphical Specification Techniques (Warsaw), 2003.
GZipped PostScript (72 kB)
PDF (110 kB)
Info
Paolo Baldan, Barbara König, and Bernhard König. A logic for analyzing abstractions of graph transformation systems. In Proc. of SAS '03 (International Static Analysis Symposium), pages 255–272. Springer-Verlag, 2003. LNCS 2694.
GZipped PostScript (157 kB)
PDF (264 kB)
Info
Markus Holzer and Barbara König. On deterministic finite automata and syntactic monoid size, continued. In Proc. of DLT '03 (Developments in Language Theory), pages 349–360. Springer-Verlag, 2003. LNCS 2710.
GZipped PostScript (131 kB)
PDF (150 kB)
Info
Journal version

2002

Markus Holzer and Barbara König. On deterministic finite automata and syntactic monoid size. In R. Mazala, L. Staiger, and R. Winter, editors, 12. Theorietag der GI-Fachgruppe 0.1.5 ``Automaten und Formale Sprachen'' mit dem Workshop Berechenbarkeit und Komplexität in der Analyse, pages 29–31. Institut für Informatik, Martin-Luther-Universität Halle-Wittenberg, Halle, Germany, September 2002.
Info
Barbara König. Hypergraph construction and its application to the static analysis of concurrent systems. Mathematical Structures in Computer Science, 12:149–175, 2002.
Info
Conference version
Paolo Baldan, Andrea Corradini, and Barbara König. Static analysis of distributed systems with mobility specified by graph grammars—a case study. In H. Ehrig, B. Krämer, and A. Ertas, editors, Proc. of IDPT '02 (Sixth International Conference on Integrated Design & Process Technology). Society for Design and Process Science, 2002.
GZipped PostScript (87 kB)
PDF (160 kB)
Info
Paolo Baldan and Barbara König. Approximating the behaviour of graph transformation systems. In Proc. of ICGT '02 (International Conference on Graph Transformation), pages 14–29. Springer-Verlag, 2002. LNCS 2505.
GZipped PostScript (115 kB)
PDF (208 kB)
Info

2001

Paolo Baldan, Andrea Corradini, and Barbara König. A static analysis technique for graph transformation systems. In Proc. of CONCUR '01, pages 381–395. Springer-Verlag, 2001. LNCS 2154.
GZipped PostScript (122 kB)
PDF (203 kB)
Info
Barbara König and Ugo Montanari. Observational equivalence for synchronized graph rewriting with mobility. In Proc. of TACS '01, pages 145–164. Springer-Verlag, 2001. LNCS 2215.
GZipped PostScript (129 kB)
PDF (228 kB)
Info

2000

Barbara König. Hypergraph construction and its application to the compositional modelling of concurrency. In Proc. of GRATRA 2000: Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems, 2000.
GZipped PostScript (46 kB)
PDF (107 kB)
Info
Journal version, Tech report version
Barbara König. Analysing input/output-capabilities of mobile processes with a generic type system. In Proc. of ICALP '00, pages 403–414. Springer-Verlag, 2000. LNCS 1853.
GZipped PostScript (42 kB)
PDF (123 kB)
Info
Journal version, Tech report version
Barbara König. A graph rewriting semantics for the polyadic pi-calculus. In Proc. of GT-VMT '00 (Workshop on Graph Transformation and Visual Modeling Techniques), pages 451–458. Carleton Scientific, 2000.
GZipped PostScript (26 kB)
PDF (80 kB)
Info
Barbara König. A general framework for types in graph rewriting. In Proc. of FST TCS 2000, pages 373–384. Springer-Verlag, 2000. LNCS 1974.
GZipped PostScript (102 kB)
PDF (179 kB)
Info
Tech report version

1999

Barbara König. Description and verification of mobile processes with graph rewriting techniques. PhD thesis, Technische Universität München, 1999.
GZipped PostScript (614 kB)
PDF (1 MB)
Info
Barbara König. Generating type systems for process graphs. In Proc. of CONCUR '99, pages 352–367. Springer-Verlag, 1999. LNCS 1664.
GZipped PostScript (193 kB)
PDF (202 kB)
Info

1995

Barbara König. Heuristiken zur Ein-Depot-Tourenplanung. Master's thesis, Technische Universität München, 1995. (in German).
GZipped PostScript (212 kB)
PDF (456 kB)
Info
© University of Duisburg-Essen, Theoretical Computer Science group