Benjamin Bisping

17 papers B 2Journal 10Unranked 5
YearRankTypeTitle / Venue / Authors
2025 B conf
Galois Energy Games: To Solve All Kinds of Quantitative Reachability Problems.
CONCUR
Caroline Lemke, Benjamin Bisping
2025 J jnl
Galois Energy Games: To Solve All Kinds of Quantitative Reachability Problems.
CoRR
Caroline Lemke, Benjamin Bisping
2025 J jnl
The Weak Spectroscopy Game to Characterize Behavioral Equivalences.
Arch. Formal Proofs
Lisa A. Barthel, Leonard M. Hübner, Caroline Lemke, Karl P. P. Mattes, Lenard Mollenkopf, Benjamin Bisping
2024 J jnl
Characterizing contrasimilarity through games, modal logic, and complexity.
Inf. Comput.
Benjamin Bisping, Luisa Montanari
2024 — conf
One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics.
EXPRESS/SOS
Benjamin Bisping, David N. Jansen
2023 J jnl
Coupled Similarity and Contrasimilarity, and How to Compute Them.
Arch. Formal Proofs
Benjamin Bisping, Luisa Montanari
2023 J jnl
Linear-Time-Branching-Time Spectroscopy Accounting for Silent Steps.
CoRR
Benjamin Bisping, David N. Jansen
2023 — conf
Process Equivalence Problems as Energy Games.
CAV (1)
Benjamin Bisping
2023 J jnl
Process Equivalence Problems as Energy Games.
CoRR
Benjamin Bisping
2022 J jnl
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time-Branching-Time Spectroscopy.
Log. Methods Comput. Sci.
Benjamin Bisping, David N. Jansen, Uwe Nestmann
2021 — conf
A Game Characterization for Contrasimilarity.
EXPRESS/SOS
Benjamin Bisping, Luisa Montanari
2021 — conf
A Game for Linear-time-Branching-time Spectroscopy.
TACAS (1)
Benjamin Bisping, Uwe Nestmann
2021 J jnl
Deciding All Behavioral Equivalences at Once: A Game for Linear-time-Branching-time Spectroscopy.
CoRR
Benjamin Bisping, Uwe Nestmann
2020 J jnl
Coupled similarity: the first 32 years.
Acta Informatica
Benjamin Bisping, Uwe Nestmann, Kirstin Peters
2019 — conf
Computing Coupled Similarity.
TACAS (1)
Benjamin Bisping, Uwe Nestmann
2016 J jnl
A Constructive Proof for FLP.
Arch. Formal Proofs
Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann
2016 B conf
Mechanical Verification of a Constructive Proof for FLP.
ITP
Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann