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
682014
Compositional bisimulation metric reasoning with probabilistic process calculi
D Gebler, KG Larsen, S Tini
Logical Methods in Computer Science 12, 2017
392017
Logical characterization of bisimulation metrics
V Castiglioni, D Gebler, S Tini
arXiv preprint arXiv:1610.08169, 2016
302016
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
292014
Compositional metric reasoning with probabilistic process calculi
D Gebler, KG Larsen, S Tini
Foundations of Software Science and Computation Structures: 18th …, 2015
282015
Compositionality of Approximate Bisimulation for Probabilistic Systems.
D Gebler, S Tini
EXPRESS/SOS 2013, 32-46, 2013
262013
Behavioural pseudometrics for nondeterministic probabilistic systems
W Du, Y Deng, D Gebler
Dependable Software Engineering: Theories, Tools, and Applications: Second …, 2016
252016
Fixed-point characterization of compositionality properties of probabilistic processes combinators
D Gebler, S Tini
arXiv preprint arXiv:1408.1457, 2014
222014
On abstraction of probabilistic systems
C Dehnert, D Gebler, M Volpato, DN Jansen
International Autumn School on Rigorous Dependability Analysis Using Model …, 2012
222012
SOS specifications for uniformly continuous operators
D Gebler, S Tini
Journal of Computer and System Sciences 92, 113-151, 2018
212018
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
202012
SOS specifications of probabilistic systems by uniformly continuous operators
D Gebler, S Tini
26th International Conference on Concurrency Theory (CONCUR 2015), 2015
192015
Compositionality of probabilistic Hennessy-Milner logic through structural operational semantics
D Gebler, W Fokkink
International Conference on Concurrency Theory, 395-409, 2012
182012
Modal decomposition on nondeterministic probabilistic processes
V Castiglioni, D Gebler, S Tini
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
162016
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
152016
Algebraic meta-theory of processes with data
D Gebler, EI Goriac, MR Mousavi
arXiv preprint arXiv:1307.7444, 2013
92013
Computing behavioral relations for probabilistic concurrent systems
D Gebler, V Hashemi, A Turrini
International Autumn School on Rigorous Dependability Analysis Using Model …, 2012
92012
SOS-based modal decomposition on nondeterministic probabilistic processes
V Castiglioni, D Gebler, S Tini
Logical Methods in Computer Science 14, 2018
82018
SOS rule formats for convex and abstract probabilistic bisimulations
PR D'Argenio, MD Lee, D Gebler
arXiv preprint arXiv:1508.06710, 2015
52015
A tutorial on interactive Markov chains
F Arnold, D Gebler, D Guck, H Hatefi
International Autumn School on Rigorous Dependability Analysis Using Model …, 2012
42012
The system can't perform the operation now. Try again later.
Articles 1–20