Barbara König

203 papers A* 6A 3B 60C 4Misc 1Journal 90Unranked 32
YearRankTypeTitle / Venue / Authors
2026 B ed.
34th EACSL Annual Conference on Computer Science Logic, CSL 2026, Paris, France, February 23-28, 2026
CSL
Stefano Guerrini, Barbara König
2026 J jnl
Computing Distinguishing Formulae for Threshold-Based Behavioural Distances.
CoRR
Jonas Forster, Lutz Schröder, Paul Wild, Barbara König, Pedro Nora
2026 — conf
Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games.
TACAS (1)
Paolo Baldan, Sebastian Gurke, Barbara König, Florian Wittbold
2026 J jnl
Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games.
CoRR
Paolo Baldan, Sebastian Gurke, Barbara König, Florian Wittbold
2026 B conf
Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich.
FoSSaCS
Paul Wild, Lutz Schröder, Karla Messing, Barbara König, Jonas Forster
2026 J jnl
Witnesses for Fixpoint Games on Lattices.
CoRR
Barbara König, Karla Messing
2025 J jnl
A Monoidal View on Fixpoint Checks.
Log. Methods Comput. Sci.
Paolo Baldan, Richard Eggert, Barbara König, Timo Matt, Tommaso Padoan
2025 — conf
Approximating Fixpoints of Approximated Functions.
CAV (2)
Paolo Baldan, Sebastian Gurke, Barbara König, Tommaso Padoan, Florian Wittbold
2025 J jnl
Computing Approximated Fixpoints via Dampened Mann Iteration.
CoRR
Paolo Baldan, Sebastian Gurke, Barbara König, Tommaso Padoan, Florian Wittbold
2025 J jnl
Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems (Full Version).
CoRR
Barbara König, Arend Rensink, Lara Stoltenow, Fabian Urrigshardt
2025 B conf
Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems.
ICGT
Barbara König, Arend Rensink, Lara Stoltenow, Fabian Urrigshardt
2025 J jnl
Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich.
CoRR
Paul Wild, Lutz Schröder, Karla Messing, Barbara König, Jonas Forster
2025 B conf
Quantitative Graded Semantics and Spectra of Behavioural Metrics.
CSL
Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing
2025 — conf
Unsupervised Automata Learning via Discrete Optimization.
JELIA (1)
Simon Lutz, Daniil Kaminskyi, Florian Wittbold, Simon Dierl, Falk Howar, Barbara König, Emmanuel Müller, Daniel Neider
2024 B conf
Approximating Fixpoints of Approximated Functions (Invited Talk).
CSL
Barbara König
2024 J jnl
Behavioural Metrics and Quantitative Logics (Dagstuhl Seminar 24432).
Dagstuhl Reports
Barbara König, Radu Mardare, Prakash Panangaden, Jurriaan Rot, Florence Clerc
2024 B conf
Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques.
CONCUR
Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Rozowski, Paul Wild
2024 J jnl
Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques.
CoRR
Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Rozowski, Paul Wild
2024 — ed.
Coalgebraic Methods in Computer Science - 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings
CMCS
Barbara König, Henning Urbat
2024 B conf
Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions.
CONCUR
Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas
2024 J jnl
Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions.
CoRR
Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas
2024 A conf
Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach.
STACS
Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild
2024 — conf
Hidden Markov Models with Unobservable Transitions.
Taming the Infinities of Concurrency
Rebecca Bernemann, Barbara König, Matthias Schaffeld, Torben Weis
2024 J jnl
Systems of fixpoint equations: Abstraction, games, up-to techniques and local algorithms.
Inf. Comput.
Paolo Baldan, Barbara König, Tommaso Padoan
2023 B conf
A Lattice-Theoretical View of Strategy Iteration.
CSL
Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
2023 B conf
A Monoidal View on Fixpoint Checks.
ICGT
Paolo Baldan, Richard Eggert, Barbara König, Timo Matt, Tommaso Padoan
2023 J jnl
A Monoidal View on Fixpoint Checks.
CoRR
Paolo Baldan, Richard Eggert, Barbara König, Timo Matt, Tommaso Padoan
2023 J jnl
Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach.
CoRR
Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild
2023 J jnl
Fixpoint Theory - Upside Down.
Log. Methods Comput. Sci.
Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
2023 J jnl
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras.
CoRR
Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing
2023 B conf
Hennessy-Milner Theorems via Galois Connections.
CSL
Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing
2023 J jnl
Interpretable Anomaly Detection via Discrete Optimization.
CoRR
Simon Lutz, Florian Wittbold, Simon Dierl, Benedikt Böing, Falk Howar, Barbara König, Emmanuel Müller, Daniel Neider
2023 B conf
Stochastic Decision Petri Nets.
Petri Nets
Florian Wittbold, Rebecca Bernemann, Reiko Heckel, Tobias Heindel, Barbara König
2023 J jnl
Stochastic Decision Petri Nets.
CoRR
Florian Wittbold, Rebecca Bernemann, Reiko Heckel, Tobias Heindel, Barbara König
2023 J jnl
Up-to techniques for behavioural metrics via fibrations.
Math. Struct. Comput. Sci.
Filippo Bonchi, Barbara König, Daniela Petrisan
2022 J jnl
A Lattice-Theoretical View of Strategy Iteration.
CoRR
Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
2022 J jnl
Conditional Bisimilarity for Reactive Systems.
Log. Methods Comput. Sci.
Mathias Hülsbusch, Barbara König, Sebastian Küpper, Lara Stoltenow
2022 A* conf
Graded Monads and Behavioural Equivalence Games.
LICS
Chase Ford, Stefan Milius, Lutz Schröder, Harsh Beohar, Barbara König
2022 J jnl
Graded Monads and Behavioural Equivalence Games.
CoRR
Harsh Beohar, Chase Ford, Barbara König, Stefan Milius, Lutz Schröder
2022 J jnl
Hennessy-Milner Theorems via Galois Connections.
CoRR
Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing
2022 C conf
Lifecycle-Based View on Cyber-Physical System Models Using Extended Hidden Markov Models.
MEMOCODE
Matthias Schaffeld, Rebecca Bernemann, Torben Weis, Barbara König, Viktor Matkovic
2022 — conf
Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic.
CMCS
Harsh Beohar, Barbara König, Sebastian Küpper, Christina Mika-Michalski
2022 J jnl
Probabilistic Systems with Hidden State and Unobservable Transitions.
CoRR
Rebecca Bernemann, Barbara König, Matthias Schaffeld, Torben Weis
2021 J jnl
Coalgebraic modal logic and games for coalgebras with side effects.
CoRR
Harsh Beohar, Barbara König, Sebastian Küpper, Christina Mika-Michalski
2021 B conf
Fixpoint Theory - Upside Down.
FoSSaCS
Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
2021 J jnl
Fixpoint Theory - Upside Down.
CoRR
Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
2020 B conf
A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java.
ICGT
H. J. Sander Bruggink, Barbara König, Marleen Matjeka, Dennis Nolte, Lara Stoltenow
2020 B conf
Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations.
CONCUR
Paolo Baldan, Barbara König, Tommaso Padoan
2020 J jnl
Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations.
CoRR
Paolo Baldan, Barbara König, Tommaso Padoan
2020 B conf
Conditional Bisimilarity for Reactive Systems.
FSCD
Mathias Hülsbusch, Barbara König, Sebastian Küpper, Lara Stoltenow
2020 J jnl
Conditional Bisimilarity for Reactive Systems.
CoRR
Mathias Hülsbusch, Barbara König, Sebastian Küpper, Lara Stoltenow
2020 J jnl
Conditional transition systems with upgrades.
Sci. Comput. Program.
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva
2020 J jnl
Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas.
CoRR
Barbara König, Christina Mika-Michalski, Lutz Schröder
2020 — conf
Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas.
CMCS
Barbara König, Christina Mika-Michalski, Lutz Schröder
2020 B ed.
Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
FoSSaCS
Jean Goubault-Larrecq, Barbara König
2020 — conf
Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks.
FSTTCS
Rebecca Bernemann, Benjamin Cabrera, Reiko Heckel, Barbara König
2020 J jnl
Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks.
CoRR
Rebecca Bernemann, Benjamin Cabrera, Reiko Heckel, Barbara König
2019 A* conf
A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic.
IJCAI
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
2019 J jnl
A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic.
CoRR
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
2019 J jnl
CoReS: A tool for computing core graphs via SAT/SMT solvers.
J. Log. Algebraic Methods Program.
Barbara König, Maxime Nederkorn, Dennis Nolte
2019 J jnl
Fixpoint games on continuous lattices.
Proc. ACM Program. Lang.
Paolo Baldan, Barbara König, Christina Mika-Michalski, Tommaso Padoan
2019 B conf
Preface.
MFPS
Barbara König
2019 B ed.
Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2019, London, UK, June 4-7, 2019
MFPS
Barbara König
2019 B conf
Rewriting Abstract Structures: Materialization Explained Categorically.
FoSSaCS
Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink
2019 J jnl
Rewriting Abstract Structures: Materialization Explained Categorically.
CoRR
Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink
2019 J jnl
Specifying graph languages with type graphs.
J. Log. Algebraic Methods Program.
Andrea Corradini, Barbara König, Dennis Nolte
2018 B conf
(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras.
CONCUR
Barbara König, Christina Mika-Michalski
2018 — conf
A Tutorial on Graph Transformation.
Graph Transformation, Specifications, and Nets
Barbara König, Dennis Nolte, Julia Padberg, Arend Rensink
2018 J jnl
A coalgebraic treatment of conditional transition systems with upgrades.
Log. Methods Comput. Sci.
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva, Thorsten Wißmann
2018 J jnl
A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata.
Soft Comput.
Barbara König, Sebastian Küpper
2018 A* conf
A van Benthem Theorem for Fuzzy Modal Logic.
LICS
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
2018 J jnl
A van Benthem Theorem for Fuzzy Modal Logic.
CoRR
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
2018 J jnl
A van Benthem Theorem for Quantitative Probabilistic Modal Logic.
CoRR
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
2018 B conf
CoReS: A Tool for Computing Core Graphs via SAT/SMT Solvers.
ICGT
Barbara König, Maxime Nederkorn, Dennis Nolte
2018 J jnl
Coalgebraic Behavioral Metrics.
Log. Methods Comput. Sci.
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
2018 J jnl
Fixpoint Games on Continuous Lattices.
CoRR
Paolo Baldan, Barbara König, Tommaso Padoan, Christina Mika-Michalski
2018 J jnl
Recognizable languages of arrows and cospans.
Math. Struct. Comput. Sci.
H. J. Sander Bruggink, Barbara König
2018 B conf
Up-To Techniques for Behavioural Metrics via Fibrations.
CONCUR
Filippo Bonchi, Barbara König, Daniela Petrisan
2018 J jnl
Up-To Techniques for Behavioural Metrics via Fibrations.
CoRR
Filippo Bonchi, Barbara König, Daniela Petrisan
2018 B conf
Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks.
CONCUR
Benjamin Cabrera, Tobias Heindel, Reiko Heckel, Barbara König
2018 J jnl
Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks.
CoRR
Benjamin Cabrera, Tobias Heindel, Reiko Heckel, Barbara König
2017 B ed.
7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, Ljubljana, Slovenia, June 12-16, 2017
CALCO
Filippo Bonchi, Barbara König
2017 J jnl
Bisimulation Games on Coalgebras.
CoRR
Barbara König, Christina Mika
2017 J jnl
Coalgebraic Behavioral Metrics.
CoRR
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
2017 J jnl
Conditional Transition Systems with Upgrades.
CoRR
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva
2017 Misc conf
Conditional transition systems with upgrades.
TASE
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva
2017 — conf
Extracting the Main Path of Historic Events from Wikipedia.
ENIC
Benjamin Cabrera, Barbara König
2017 — conf
PAWS: A Tool for the Analysis of Weighted Systems.
QAPL
Barbara König, Sebastian Küpper, Christina Mika
2017 B conf
Specifying Graph Languages with Type Graphs.
ICGT
Andrea Corradini, Barbara König, Dennis Nolte
2017 J jnl
Specifying Graph Languages with Type Graphs.
CoRR
Andrea Corradini, Barbara König, Dennis Nolte
2017 J jnl
Up-To Techniques for Weighted Systems (Extended Version).
CoRR
Filippo Bonchi, Barbara König, Sebastian Küpper
2017 — conf
Up-To Techniques for Weighted Systems.
TACAS (1)
Filippo Bonchi, Barbara König, Sebastian Küpper
2017 J jnl
Well-structured graph transformation systems.
Inf. Comput.
Barbara König, Jan Stückrath
2016 J jnl
A coalgebraic treatment of conditional transition systems with upgrades.
CoRR
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva
2015 B conf
Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings.
ICGT
H. J. Sander Bruggink, Barbara König, Dennis Nolte, Hans Zantema
2015 J jnl
Proving Termination of Graph Transformation Systems using Weighted Type Graphs over Semirings.
CoRR
H. J. Sander Bruggink, Barbara König, Dennis Nolte, Hans Zantema
2015 J jnl
Robustness and closure properties of recognizable languages in adhesive categories.
Sci. Comput. Program.
H. J. Sander Bruggink, Barbara König, Sebastian Küpper
2015 B conf
Towards Trace Metrics via Functor Lifting.
CALCO
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
2015 J jnl
Towards Trace Metrics via Functor Lifting.
CoRR
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
2015 J jnl
Verification of Evolving Graph Structures (Dagstuhl Seminar 15451).
Dagstuhl Reports
Parosh Aziz Abdulla, Fabio Gadducci, Barbara König, Viktor Vafeiadis
2014 B conf
A General Framework for Well-Structured Graph Transformation Systems.
CONCUR
Barbara König, Jan Stückrath
2014 J jnl
A General Framework for Well-Structured Graph Transformation Systems.
CoRR
Barbara König, Jan Stückrath
2014 — conf
Behavioral Metrics via Functor Lifting.
FSTTCS
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
2014 J jnl
Behavioral Metrics via Functor Lifting.
CoRR
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
2014 J jnl
Developments in automated verification techniques.
Int. J. Softw. Tools Technol. Transf.
Cormac Flanagan, Barbara König
2014 — conf
Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata.
IFIP TCS
Barbara König, Sebastian Küpper
2014 B ed.
Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings
ICGT
Holger Giese, Barbara König
2014 — conf
Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions.
CMCS
Henning Kerstan, Barbara König, Bram Westerbaan
2014 J jnl
Processes and unfoldings: concurrent computations in adhesive categories.
Math. Struct. Comput. Sci.
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
2014 — conf
Termination Analysis for Graph Transformation Systems.
IFIP TCS
H. J. Sander Bruggink, Barbara König, Hans Zantema
2014 — conf
Termination of Cycle Rewriting.
RTA-TLCA
Hans Zantema, Barbara König, H. J. Sander Bruggink
2013 J jnl
Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems.
Log. Methods Comput. Sci.
Henning Kerstan, Barbara König
2013 J jnl
Concatenation and other Closure Properties of Recognizable Languages in Adhesive Categories.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Sebastian Küpper, Barbara König, H. J. Sander Bruggink
2013 J jnl
Treewidth, pathwidth and cospan decompositions with applications to graph-accepting tree automata.
J. Vis. Lang. Comput.
Christoph Blume, H. J. Sander Bruggink, Martin Friedrich, Barbara König
2012 B conf
A Coalgebraic Perspective on Minimization and Determinization.
FoSSaCS
Jirí Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König, Stefan Milius, Alexandra Silva
2012 B conf
Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory.
CONCUR
Henning Kerstan, Barbara König
2012 J jnl
Conditions in Reactive Systems and in Graph Rewriting.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Barbara König
2012 B conf
Deriving Bisimulation Congruences for Conditional Reactive Systems.
FoSSaCS
Mathias Hülsbusch, Barbara König
2012 B conf
Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking.
ICGT
Christoph Blume, H. J. Sander Bruggink, Dominik Engelke, Barbara König
2012 J jnl
Efficient unfolding of contextual Petri nets.
Theor. Comput. Sci.
Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, César Rodríguez, Stefan Schwoon
2012 — conf
On the Decidability Status of Reachability and Coverability in Graph Transformation Systems.
RTA
Nathalie Bertrand, Giorgio Delzanno, Barbara König, Arnaud Sangnier, Jan Stückrath
2012 J jnl
Structured Operational Semantics for Graph Rewriting.
Sci. Ann. Comput. Sci.
Andrei Dorman, Tobias Heindel, Barbara König
2012 A ed.
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
Cormac Flanagan, Barbara König
2012 J jnl
Towards Alternating Automata for Graph Languages.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
H. J. Sander Bruggink, Mathias Hülsbusch, Barbara König
2012 B conf
Well-Structured Graph Transformation Systems with Negative Application Conditions.
ICGT
Barbara König, Jan Stückrath
2011 J jnl
A lattice-theoretical perspective on adhesive categories.
J. Symb. Comput.
Paolo Baldan, Filippo Bonchi, Andrea Corradini, Tobias Heindel, Barbara König
2011 B ed.
CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings
CONCUR
Joost-Pieter Katoen, Barbara König
2011 — conf
Conditional Reactive Systems.
FSTTCS
H. J. Sander Bruggink, Raphaël Cauderlier, Mathias Hülsbusch, Barbara König
2011 J jnl
Construction of Pushout Complements in the Category of Hypergraphs.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Marvin Heumüller, Salil Joshi, Barbara König, Jan Stückrath
2011 J jnl
Treewidth, Pathwidth and Cospan Decompositions.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Christoph Blume, H. J. Sander Bruggink, Martin Friedrich, Barbara König
2010 — conf
A Logic on Subobjects and Recognizability.
IFIP TCS
H. J. Sander Bruggink, Barbara König
2010 J jnl
Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Frank Hermann, Andrea Corradini, Hartmut Ehrig, Barbara König
2010 B conf
On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars.
ICGT
Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, Stefan Schwoon
2010 J jnl
Recognizable Graph Languages for Checking Invariants.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Christoph Blume, H. J. Sander Bruggink, Barbara König
2010 B conf
Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques.
IFM
Mathias Hülsbusch, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim
2010 J jnl
Specification and Verification of Model Transformations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Frank Hermann, Mathias Hülsbusch, Barbara König
2010 J jnl
Unfolding-based diagnosis of systems with an evolving topology.
Inf. Comput.
Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König
2010 B conf
Verification of Graph Transformation Systems with Context-Free Specifications.
ICGT
Barbara König, Javier Esparza
2009 J jnl
Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation.
Bull. EATCS
Hartmut Ehrig, Claudia Ermel, Frank Hermann, Barbara König
2009 J jnl
Synthesising CCS bisimulation using graph rewriting.
Inf. Comput.
Filippo Bonchi, Fabio Gadducci, Barbara König
2009 B conf
Unfolding Grammars in Adhesive Categories.
CALCO
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
2008 J jnl
A framework for the verification of infinite-state graph transformation systems.
Inf. Comput.
Paolo Baldan, Andrea Corradini, Barbara König
2008 A* conf
Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems.
CAV
Salil Joshi, Barbara König
2008 B conf
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts.
ICGT
Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan
2008 J jnl
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
CoRR
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
2008 J jnl
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets.
Log. Methods Comput. Sci.
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
2008 B conf
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions.
FoSSaCS
Guilherme Rangel, Barbara König, Hartmut Ehrig
2008 J jnl
McMillan's Complete Prefix for Contextual Nets.
Trans. Petri Nets Other Model. Concurr.
Paolo Baldan, Andrea Corradini, Barbara König, Stefan Schwoon
2008 B conf
On the Recognizability of Arrow and Graph Languages.
ICGT
H. J. Sander Bruggink, Barbara König
2008 B conf
Open Petri Nets: Non-deterministic Processes and Compositionality.
ICGT
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Barbara König
2008 J jnl
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Paolo Baldan, Barbara König
2008 — ed.
Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, GT-VC@CONCUR 2007, Lisbon, Portugal, September 3, 2007
GT-VC@CONCUR
Barbara König, Arend Rensink, Reiko Heckel
2008 B conf
Towards the Verification of Attributed Graph Transformation Systems.
ICGT
Barbara König, Vitali Kozioura
2008 — conf
Unfolding Graph Transformation Systems: Theory and Applications to Verification.
Concurrency, Graphs and Models
Paolo Baldan, Andrea Corradini, Barbara König
2008 B conf
Unfolding-Based Diagnosis of Systems with an Evolving Topology.
CONCUR
Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König
2008 B conf
Workshop on Petri Nets and Graph Transformations.
ICGT
Paolo Baldan, Barbara König
2007 B conf
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets.
CALCO
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
2007 J jnl
Bisimulation Verification for the DPO Approach with Borrowed.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Guilherme Rangel, Barbara König, Hartmut Ehrig
2007 B conf
Deriving Bisimulation Congruences with Borrowed Contexts.
CALCO
Barbara König
2007 J jnl
Incremental construction of coverability graphs.
Inf. Process. Lett.
Barbara König, Vitali Kozioura
2007 — conf
Preface.
GT-VC@CONCUR
Barbara König, Arend Rensink, Reiko Heckel
2007 — ed.
Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, GT-VC@CONCUR 2006, Bonn, Germany, August 31, 2006
GT-VC@CONCUR
Arend Rensink, Reiko Heckel, Barbara König
2006 — conf
A Temporal Graph Logic for Verification of Graph Transformation Systems.
WADT
Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente
2006 — conf
Augur 2 - A New Version of a Tool for the Analysis of Graph Transformation Systems.
GT-VMT@ETAPS
Barbara König, Vitali Kozioura
2006 B conf
Composition and Decomposition of DPO Transformations with Borrowed Context.
ICGT
Paolo Baldan, Hartmut Ehrig, Barbara König
2006 A conf
Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems.
TACAS
Barbara König, Vitali Kozioura
2006 J jnl
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts.
Math. Struct. Comput. Sci.
Hartmut Ehrig, Barbara König
2006 B conf
Distributed Unfolding of Petri Nets.
FoSSaCS
Paolo Baldan, Stefan Haar, Barbara König
2006 J jnl
Graph transformation systems, Petri nets and Semilinear Sets: Checking for the Absence of Forbidden Paths in Graphs.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Barbara König
2006 — conf
Preface.
GT-VC@CONCUR
Arend Rensink, Reiko Heckel, Barbara König
2006 — ed.
Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, GT-VC 2005, Satellite Event of CONCUR 2005, San Francisco, CA, USA, August 22, 2005
GT-VC@CONCUR
Arend Rensink, Reiko Heckel, Barbara König
2006 B conf
Process Bisimulation
ICGT
Filippo Bonchi, Fabio Gadducci, Barbara König
2006 B conf
Processes for Adhesive Rewriting Systems.
FoSSaCS
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
2006 A* conf
Saturated Semantics for Reactive Systems.
LICS
Filippo Bonchi, Barbara König, Ugo Montanari
2006 B conf
Sesqui-Pushout Rewriting.
ICGT
Andrea Corradini, Tobias Heindel, Frank Hermann, Barbara König
2005 J jnl
A general framework for types in graph rewriting.
Acta Informatica
Barbara König
2005 J jnl
Analysing input/output-capabilities of mobile processes with a generic type system.
J. Log. Algebraic Methods Program.
Barbara König
2005 J jnl
Augur - A Tool for the Analysis of Graph Transformation Systems.
Bull. EATCS
Barbara König, Vitali Kozioura
2005 — ed.
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
Barbara König, Ugo Montanari, Philippa Gardner
2005 C conf
On Timed Automata with Discrete Time - Structural and Language Theoretical Characterization.
Developments in Language Theory
Hermann Gruber, Markus Holzer, Astrid Kiehn, Barbara König
2005 — conf
Preface.
GT-VC@CONCUR
Arend Rensink, Reiko Heckel, Barbara König
2004 — conf
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
Barbara König, Ugo Montanari, Philippa Gardner
2004 — book
Analysis and verification of systems with dynamically evolving structure (Analyse und Verifikation von Systemen mit dynamischen Strukturveränderungen)
Barbara König
2004 B conf
Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting.
FoSSaCS
Hartmut Ehrig, Barbara König
2004 B conf
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems.
ICGT
Paolo Baldan, Barbara König, Ingo Stürmer
2004 J jnl
On deterministic finite automata and syntactic monoid size.
Theor. Comput. Sci.
Markus Holzer, Barbara König
2004 J jnl
Regular Languages, Sizes of Syntactic Monoids, Graph Colouring, State Complexity Results, and How These Topics are Related to Each Other (Column: Formal Language Theory).
Bull. EATCS
Markus Holzer, Barbara König
2004 — conf
Summary 2: Graph Grammar Verification through Abstraction.
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems
Paolo Baldan, Barbara König, Arend Rensink
2004 B conf
Verifying Finite-State Graph Grammars: An Unfolding-Based Approach.
CONCUR
Paolo Baldan, Andrea Corradini, Barbara König
2003 B conf
A Logic for Analyzing Abstractions of Graph Transformation Systems.
SAS
Paolo Baldan, Barbara König, Bernhard König
2003 C conf
On Deterministic Finite Automata and Syntactic Monoid Size, Continued.
Developments in Language Theory
Markus Holzer, Barbara König
2003 — conf
Verifying a Behavioural Logic for Graph Transformation Systems.
COMETA
Paolo Baldan, Andrea Corradini, Barbara König, Bernhard König
2002 B conf
Approximating the Behaviour of Graph Transformation Systems.
ICGT
Paolo Baldan, Barbara König
2002 J jnl
Hypergraph Construction and its Application to the Static Analysis of Concurrent Systems.
Math. Struct. Comput. Sci.
Barbara König
2002 — conf
Inequational Deduction as Term Graph Rewriting.
TERMGRAPH
Andrea Corradini, Fabio Gadducci, Wolfram Kahl, Barbara König
2002 C conf
On Deterministic Finite Automata and Syntactic Monoid Size.
Developments in Language Theory
Markus Holzer, Barbara König
2001 B conf
A Static Analysis Technique for Graph Transformation Systems.
CONCUR
Paolo Baldan, Andrea Corradini, Barbara König
2001 — conf
Observational Equivalence for Synchronized Graph Rewriting with Mobility.
TACS
Barbara König, Ugo Montanari
2000 — conf
A General Framework for Types in Graph Rewriting.
FSTTCS
Barbara König
2000 — conf
A Graph Rewriting Semantics for the Polyadic Calculus.
ICALP Satellite Workshops
Barbara König
2000 A* conf
Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System.
ICALP
Barbara König
1999 B conf
Generating Type Systems for Process Graphs.
CONCUR
Barbara König
1998 — —
Description and verification of mobile processes with graph rewriting techniques.
Barbara König