Publications of in 2008

Christoph Blume. Graphsprachen für die Spezifikation von Invarianten bei verteilten und dynamischen Systemen. Master's thesis, Universität Duisburg-Essen, Nov. 2008.
PDF (1 MB)
Info
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
H.J. Sander Bruggink. Equivalence of reductions in higher-order rewriting. PhD thesis, Utrecht University, 2008.
PDF (780 kB)
Info
H.J. Sander Bruggink and Barbara König. On the recognizability of arrow and graph languages. In Proc. of ICGT '08. Springer, 2008. LNCS.
PDF (245 kB)
Info
Tech report version
H.J. Sander Bruggink and Barbara König. On the recognizability of arrow and graph languages. Technical Report 2008-03, Universität Duisburg-Essen, 2008.
PDF (471 kB)
Info
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 ...
© University of Duisburg-Essen, Theoretical Computer Science group