| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Cormac Flanagan, Barbara König (eds.) |
Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings  |
TACAS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König, Stefan Milius, Alexandra Silva |
A Coalgebraic Perspective on Minimization and Determinization. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias Hülsbusch, Barbara König |
Deriving Bisimulation Congruences for Conditional Reactive Systems. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marvin Heumüller, Salil Joshi, Barbara König, Jan Stückrath |
Construction of Pushout Complements in the Category of Hypergraphs. |
ECEASST |
2011 |
DBLP BibTeX RDF |
|
| 1 | Christoph Blume, Harrie Jan Sander Bruggink, Martin Friedrich, Barbara König |
Treewidth, Pathwidth and Cospan Decompositions. |
ECEASST |
2011 |
DBLP BibTeX RDF |
|
| 1 | Paolo Baldan, Filippo Bonchi, Andrea Corradini, Tobias Heindel, Barbara König |
A lattice-theoretical perspective on adhesive categories. |
J. Symb. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Barbara König (eds.) |
CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Harrie Jan Sander Bruggink, Raphaël Cauderlier, Mathias Hülsbusch, Barbara König |
Conditional Reactive Systems. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Hermann, Mathias Hülsbusch, Barbara König |
Specification and Verification of Model Transformations. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | Christoph Blume, Harrie Jan Sander Bruggink, Barbara König |
Recognizable Graph Languages for Checking Invariants. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | Frank Hermann, Andrea Corradini, Hartmut Ehrig, Barbara König |
Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König |
Unfolding-based diagnosis of systems with an evolving topology. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, Stefan Schwoon |
On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara König, Javier Esparza |
Verification of Graph Transformation Systems with Context-Free Specifications. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias Hülsbusch, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim |
Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Harrie Jan Sander Bruggink, Barbara König |
A Logic on Subobjects and Recognizability. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Fabio Gadducci, Barbara König |
Synthesising CCS bisimulation using graph rewriting. |
Inf. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Claudia Ermel, Frank Hermann, Barbara König |
Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation. |
Bulletin of the EATCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski |
Unfolding Grammars in Adhesive Categories. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Barbara König |
Preface. |
ECEASST |
2008 |
DBLP BibTeX RDF |
|
| 1 | Paolo Baldan, Andrea Corradini, Barbara König |
A framework for the verification of infinite-state graph transformation systems. |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König |
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara König, Vitali Kozioura |
Augur 2 - A New Version of a Tool for the Analysis of Graph Transformation Systems. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara König, Arend Rensink, Reiko Heckel |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Andrea Corradini, Barbara König, Stefan Schwoon |
McMillan's Complete Prefix for Contextual Nets. |
T. Petri Nets and Other Models of Concurrency |
2008 |
DBLP DOI BibTeX RDF |
read arcs, complete finite prefix, verification, Petri nets, unfolding |
| 1 | Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König |
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König |
Unfolding-Based Diagnosis of Systems with an Evolving Topology. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan |
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara König, Vitali Kozioura |
Towards the Verification of Attributed Graph Transformation Systems. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Barbara König |
Workshop on Petri Nets and Graph Transformations. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Barbara König |
Open Petri Nets: Non-deterministic Processes and Compositionality. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Harrie Jan Sander Bruggink, Barbara König |
On the Recognizability of Arrow and Graph Languages. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Andrea Corradini, Barbara König |
Unfolding Graph Transformation Systems: Theory and Applications to Verification. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Salil Joshi, Barbara König |
Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Guilherme Rangel, Barbara König, Hartmut Ehrig |
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Guilherme Rangel, Barbara König, Hartmut Ehrig |
Bisimulation Verification for the DPO Approach with Borrowed. |
ECEASST |
2007 |
DBLP BibTeX RDF |
|
| 1 | Barbara König, Vitali Kozioura |
Incremental construction of coverability graphs. |
Inf. Process. Lett. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Arend Rensink, Reiko Heckel, Barbara König |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini, Fabio Gadducci, Wolfram Kahl, Barbara König |
Inequational Deduction as Term Graph Rewriting. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara König |
Deriving Bisimulation Congruences with Borrowed Contexts. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König |
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara König |
Graph transformation systems, Petri nets and Semilinear Sets: Checking for the Absence of Forbidden Paths in Graphs. |
ECEASST |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Barbara König |
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts. |
Mathematical Structures in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Arend Rensink, Reiko Heckel, Barbara König |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Hartmut Ehrig, Barbara König |
Composition and Decomposition of DPO Transformations with Borrowed Context. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Fabio Gadducci, Barbara König |
Process Bisimulation Via a Graphical Encoding. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini, Tobias Heindel, Frank Hermann, Barbara König |
Sesqui-Pushout Rewriting. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara König, Vitali Kozioura |
Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente |
A Temporal Graph Logic for Verification of Graph Transformation Systems. |
WADT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Barbara König, Ugo Montanari |
Saturated Semantics for Reactive Systems. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski |
Processes for Adhesive Rewriting Systems. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Stefan Haar, Barbara König |
Distributed Unfolding of Petri Nets. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara König |
Analysing input/output-capabilities of mobile processes with a generic type system. |
J. Log. Algebr. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara König |
A general framework for types in graph rewriting. |
Acta Inf. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara König, Vitali Kozioura |
Augur - A Tool for the Analysis of Graph Transformation Systems. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Barbara König, Ugo Montanari, Philippa Gardner (eds.) |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004 |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems |
2005 |
DBLP BibTeX RDF |
|
| 1 | Hermann Gruber, Markus Holzer, Astrid Kiehn, Barbara König |
On Timed Automata with Discrete Time - Structural and Language Theoretical Characterization. |
Developments in Language Theory |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Barbara König |
On deterministic finite automata and syntactic monoid size. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Andrea Corradini, Barbara König, Bernhard König |
Verifying a Behavioural Logic for Graph Transformation Systems. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Barbara König |
Regular Languages, Sizes of Syntactic Monoids, Graph Colouring, State Complexity Results, and How These Topics are Related to Each Other (Column: Formal Language Theory). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Paolo Baldan, Andrea Corradini, Barbara König |
Verifying Finite-State Graph Grammars: An Unfolding-Based Approach. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Barbara König, Ingo Stürmer |
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara König, Ugo Montanari, Philippa Gardner |
04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems. |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems |
2004 |
DBLP BibTeX RDF |
|
| 1 | Paolo Baldan, Barbara König, Arend Rensink |
Summary 2: Graph Grammar Verification through Abstraction. |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems |
2004 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Barbara König |
Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Barbara König |
On Deterministic Finite Automata and Syntactic Monoid Size, Continued. |
Developments in Language Theory |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Barbara König, Bernhard König |
A Logic for Analyzing Abstractions of Graph Transformation Systems. |
SAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara König |
Hypergraph Construction and its Application to the Static Analysis of Concurrent Systems. |
Mathematical Structures in Computer Science |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Barbara König |
Approximating the Behaviour of Graph Transformation Systems. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Barbara König |
On Deterministic Finite Automata and Syntactic Monoid Size. |
Developments in Language Theory |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Andrea Corradini, Barbara König |
A Static Analysis Technique for Graph Transformation Systems. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara König, Ugo Montanari |
Observational Equivalence for Synchronized Graph Rewriting with Mobility. |
TACS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara König |
Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara König |
A Graph Rewriting Semantics for the Polyadic Calculus. |
ICALP Satellite Workshops |
2000 |
DBLP BibTeX RDF |
|
| 1 | Barbara König |
A General Framework for Types in Graph Rewriting. |
FSTTCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara König |
Generating Type Systems for Process Graphs. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")