Behavioural Equivalences: Environmental Aspects, Metrics and Generic Algorithms

2021

Paolo Baldan, Richard Eggert, Barbara König, and Tommaso Padoan. Fixpoint theory – upside down. In Proc. of FOSSACS '21, pages 62–81. Springer, 2021. LNCS/ARCoSS 12650.
Info
Journal version

2020

Harsh Beohar, Barbara König, Sebastian Küpper, and Alexandra Silva. Conditional transition systems with upgrades. Science of Computer Programming, 186, 2020.
Info
Barbara König, Christina Mika-Michalski, and Lutz Schröder. Explaining non-bisimilarity in a coalgebraic approach: Games and distinguishing formulas. In Proc. of CMCS '20, pages 133–154. Springer, 2020. LNCS 12094.
Info
Mathias Hülsbusch, Barbara König, Sebastian Küpper, and Lars Stoltenow. Conditional bisimilarity for reactive systems. In Proc. of FSCD '20, volume 167 of LIPIcs, pages 10:1–10:19. Schloss Dagstuhl – Leibniz Center for Informatics, 2020.
Info
See drops.dagstuhl.de ...
Extended version, Journal version
Paolo Baldan, Barbara König, and Tommaso Padoan. Abstraction, up-to techniques and games for systems of fixpoint equations. In Proc. of CONCUR '20, volume 171 of LIPIcs, pages 25:1–25:20. Schloss Dagstuhl – Leibniz Center for Informatics, 2020.
Info
See doi.org ...
Extended version

2019

Paolo Baldan, Barbara König, Christina Mika-Michalski, and Tommaso Padoan. Fixpoint games on continuous lattices. PACMPL (Proc. of POPL '19), 3:26:1–26:29, 2019.
Info
See dl.acm.org ...
Extended version
Paul Wild, Lutz Schröder, Dirk Pattinson, and Barbara König. A modal characterization theorem for probabilistic fuzzy modal logic. In Proc. of IJCAI '19, pages 1900–1906. ijcai.org, 2019.
Info
Extended version
Richard Eggert and Barbara König. Computing coalgebraic behavioural metrics on-the-fly. In CALCO Early Ideas '19, 2019.
Info
Harsh Beohar, Barbara König, Sebastian Küpper, and Christina Mika-Michalski. Coalgebraic games in kleisli categories. In CALCO Early Ideas '19, 2019.
Info

2018

Barbara König and Sebastian Küpper. A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata. Soft Computing, 22(4), 2018.
Info
See link.springer.com ...
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva, and Thorsten Wißmann. A coalgebraic treatment of conditional transition systems with upgrades. Logical Methods in Computer Science, 14(1), 2018. Special Festschrift Issue in Honor of Jiri Adámek.
Info
See lmcs.episciences.org ...
Extended version
Paolo Baldan, Filippo Bonchi, Henning Kerstan, and Barbara König. Coalgebraic behavioral metrics. Logical Methods in Computer Science, 14(3), 2018. Selected Papers of the 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015).
Info
Extended version
Paul Wild, Lutz Schröder, Dirk Pattinson, and Barbara König. A van Benthem theorem for fuzzy modal logic, 2018. arXiv:1802.00478.
Info
See arxiv.org ...
Conference version
Paul Wild, Lutz Schröder, Dirk Pattinson, and Barbara König. A van Benthem theorem for fuzzy modal logic. In Proc. of LICS '18, pages 909–918. ACM, 2018.
Info
Extended version
Barbara König and Christina Mika-Michalski. (Metric) bisimulation games and real-valued modal logics for coalgebras. In Proc. of CONCUR '18, volume 118 of LIPIcs, pages 37:1–37:17. Schloss Dagstuhl – Leibniz Center for Informatics, 2018.
Info
See drops.dagstuhl.de ...
Extended version
Filippo Bonchi, Barbara König, and Daniela Petri san. Up-to techniques for behavioural metrics via fibrations. In Proc. of CONCUR '18, volume 118 of LIPIcs, pages 17:1–17:17. Schloss Dagstuhl – Leibniz Center for Informatics, 2018.
Info
See drops.dagstuhl.de ...
Extended version, Journal version
B. König and C. Mika-Michalski. (Metric) bisimulation games and real-valued modal logics for coalgebras, 2018. arXiv:1705.10165.
Info
See arxiv.org ...
Conference version
F. Bonchi, B. König, and D. Petri san. Up-to techniques for behavioural metrics via fibrations, 2018. arXiv:1806.11064.
Info
See arxiv.org ...
Conference version
Paul Wild, Lutz Schröder, Dirk Pattinson, and Barbara König. A van Benthem theorem for quantitative probabilistic modal logic, 2018. arXiv:1810.04722.
Info
See arxiv.org ...
Conference version
Paolo Baldan, Barbara König, Christina Mika-Michalski, and Tommaso Padoan. Fixpoint games on continuous lattices, 2018. arXiv:1810.11404.
Info
See arxiv.org ...
Journal version

2017

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 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). IEEE Xplore, 2017.
Info
See ieeexplore.ieee.org ...
Paolo Baldan, Filippo Bonchi, Henning Kerstan, and Barbara König. Coalgebraic behavioral metrics, 2017. arXiv:1712.07511.
Info
See arxiv.org ...
Journal version
B. König, C. Mika, and S. Küpper. 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 ...

2016

Henning Kerstan. Coalgebraic Behavior Analysis – From Qualitative to Quantitative Analyses. PhD thesis, Universität Duisburg-Essen, Fakultät für Ingenieurwissenschaften, Abteilung für Informatik und Angewandte Kognitionswissenschaft, may 2016.
Info
See nbn-resolving.org ...
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 ...
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva, and Thorsten Wißmann. A coalgebraic treatment of conditional transition systems with upgrades, 2016. arXiv:1612.05002.
Info
See arxiv.org ...
Journal version

2015

Paolo Baldan, Filippo Bonchi, Henning Kerstan, and Barbara König. Towards trace metrics via functor lifting. In Lawrence S. Moss and Paweł Sobociński, editors, 6th Conference on Algebra and Coalgebra in Computer Science (CALCO'15), volume 35 of Leibniz International Proceedings in Informatics (LIPIcs), pages 35–49. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, oct 2015.
Info
See drops.dagstuhl.de ...
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

2014

Paolo Baldan, Filippo Bonchi, Henning Kerstan, and Barbara König. Behavioral Metrics via Functor Lifting. In Venkatesh Raman and S. P. Suresh, editors, 34th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2014), volume 29 of Leibniz International Proceedings in Informatics (LIPIcs), pages 403–415. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014.
Info
See drops.dagstuhl.de ...
Henning Kerstan, Barbara König, and Bram Westerbaan. Lifting adjunctions to coalgebras to (Re)Discover automata constructions. In Marcello M. Bonsangue, editor, Coalgebraic Methods in Computer Science, volume 8446 of Lecture Notes in Computer Science, pages 168–188. Springer Berlin Heidelberg, 2014.
Info
See dx.doi.org ...
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
© University of Duisburg-Essen, Theoretical Computer Science group