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
642014
Compositional bisimulation metric reasoning with probabilistic process calculi
S Tini, KG Larsen, D Gebler
Logical Methods in Computer Science 12, 2017
452017
Logical characterization of bisimulation metrics
V Castiglioni, D Gebler, S Tini
arXiv preprint arXiv:1610.08169, 2016
232016
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
182018
SOS specifications of probabilistic systems by uniformly continuous operators
D Gebler, S Tini
26th International Conference on Concurrency Theory (CONCUR 2015), 2015
182015
Fixed-point characterization of compositionality properties of probabilistic processes combinators
D Gebler, S Tini
arXiv preprint arXiv:1408.1457, 2014
182014
Behavioural pseudometrics for nondeterministic probabilistic systems
W Du, Y Deng, D Gebler
International Symposium on Dependable Software Engineering: Theories, Tools …, 2016
172016
On abstraction of probabilistic systems
C Dehnert, D Gebler, M Volpato, DN Jansen
International Autumn School on Rigorous Dependability Analysis Using Model …, 2012
172012
Compositionality of probabilistic Hennessy-Milner logic through structural operational semantics
D Gebler, W Fokkink
International Conference on Concurrency Theory, 395-409, 2012
172012
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
152012
Modal decomposition on nondeterministic probabilistic processes
V Castiglioni, D Gebler, S Tini
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
122016
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
112016
Computing behavioral relations for probabilistic concurrent systems
D Gebler, V Hashemi, A Turrini
International Autumn School on Rigorous Dependability Analysis Using Model …, 2012
82012
Algebraic meta-theory of processes with data
D Gebler, EI Goriac, MR Mousavi
arXiv preprint arXiv:1307.7444, 2013
72013
SOS-based modal decomposition on nondeterministic probabilistic processes
S Tini, D Gebler, V Castiglioni
Logical Methods in Computer Science 14, 2018
52018
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
SOS rule formats for convex and abstract probabilistic bisimulations
PR D'Argenio, MD Lee, D Gebler
arXiv preprint arXiv:1508.06710, 2015
22015
The system can't perform the operation now. Try again later.
Articles 1–20