Follow
Daniel Gebler
Title
Cited by
Cited by
Year
Generalized bisimulation metrics
K Chatzikokolakis, D Gebler, C Palamidessi, L Xu
International Conference on Concurrency Theory, 32-46, 2014
672014
Compositional bisimulation metric reasoning with probabilistic process calculi
D Gebler, KG Larsen, S Tini
Logical Methods in Computer Science 12, 2017
492017
Logical characterization of bisimulation metrics
V Castiglioni, D Gebler, S Tini
arXiv preprint arXiv:1610.08169, 2016
282016
Behavioural pseudometrics for nondeterministic probabilistic systems
W Du, Y Deng, D Gebler
Dependable Software Engineering: Theories, Tools, and Applications: Secondá…, 2016
252016
Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules
PR D’Argenio, D Gebler, MD Lee
International Conference on Foundations of Software Science and Computationá…, 2014
232014
Compositionality of approximate bisimulation for probabilistic systems
D Gebler, S Tini
arXiv preprint arXiv:1307.7442, 2013
212013
SOS specifications for uniformly continuous operators
D Gebler, S Tini
Journal of Computer and System Sciences 92, 113-151, 2018
192018
On abstraction of probabilistic systems
C Dehnert, D Gebler, M Volpato, DN Jansen
International Autumn School on Rigorous Dependability Analysis Using Modelá…, 2012
192012
Fixed-point characterization of compositionality properties of probabilistic processes combinators
D Gebler, S Tini
arXiv preprint arXiv:1408.1457, 2014
182014
Compositionality of probabilistic Hennessy-Milner logic through structural operational semantics
D Gebler, W Fokkink
International Conference on Concurrency Theory, 395-409, 2012
172012
SOS specifications of probabilistic systems by uniformly continuous operators
D Gebler, S Tini
26th International Conference on Concurrency Theory (CONCUR 2015), 2015
162015
Tree rules in probabilistic transition system specifications with negative and quantitative premises
MD Lee, D Gebler, PR D'Argenio
arXiv preprint arXiv:1208.2752, 2012
162012
A general SOS theory for the specification of probabilistic transition systems
PR D'Argenio, D Gebler, MD Lee
Information and Computation 249, 76-109, 2016
122016
Modal decomposition on nondeterministic probabilistic processes
V Castiglioni, D Gebler, S Tini
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
122016
Algebraic meta-theory of processes with data
D Gebler, EI Goriac, MR Mousavi
arXiv preprint arXiv:1307.7444, 2013
82013
Computing behavioral relations for probabilistic concurrent systems
D Gebler, V Hashemi, A Turrini
International Autumn School on Rigorous Dependability Analysis Using Modelá…, 2012
82012
SOS-based modal decomposition on nondeterministic probabilistic processes
V Castiglioni, D Gebler, S Tini
Logical Methods in Computer Science 14, 2018
62018
SOS rule formats for convex and abstract probabilistic bisimulations
PR D'Argenio, MD Lee, D Gebler
arXiv preprint arXiv:1508.06710, 2015
42015
Modal Characterisations of Behavioural Pseudometrics
Y Deng, W Du, D Gebler
arXiv preprint arXiv:1509.03391, 2015
32015
A tutorial on interactive Markov chains
F Arnold, D Gebler, D Guck, H Hatefi
International Autumn School on Rigorous Dependability Analysis Using Modelá…, 2012
32012
The system can't perform the operation now. Try again later.
Articles 1–20