Daniel Gebler
Daniel Gebler
VU University Amsterdam
Geverifieerd e-mailadres voor vu.nl - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Generalized bisimulation metrics
K Chatzikokolakis, D Gebler, C Palamidessi, L Xu
International Conference on Concurrency Theory, 32-46, 2014
502014
Compositional metric reasoning with probabilistic process calculi
D Gebler, KG Larsen, S Tini
International Conference on Foundations of Software Science and Computation …, 2015
362015
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
212014
Logical characterization of bisimulation metrics
V Castiglioni, D Gebler, S Tini
arXiv preprint arXiv:1610.08169, 2016
202016
Fixed-point characterization of compositionality properties of probabilistic processes combinators
D Gebler, S Tini
arXiv preprint arXiv:1408.1457, 2014
192014
SOS specifications of probabilistic systems by uniformly continuous operators
D Gebler, S Tini
26th International Conference on Concurrency Theory (CONCUR 2015), 2015
182015
Compositionality of approximate bisimulation for probabilistic systems
D Gebler, S Tini
arXiv preprint arXiv:1307.7442, 2013
182013
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 for uniformly continuous operators
D Gebler, S Tini
Journal of Computer and System Sciences 92, 113-151, 2018
162018
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
Behavioural pseudometrics for nondeterministic probabilistic systems
W Du, Y Deng, D Gebler
International Symposium on Dependable Software Engineering: Theories, Tools …, 2016
142016
Modal decomposition on nondeterministic probabilistic processes
V Castiglioni, D Gebler, S Tini
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
132016
On abstraction of probabilistic systems
C Dehnert, D Gebler, M Volpato, DN Jansen
International Autumn School on Rigorous Dependability Analysis Using Model …, 2012
132012
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
Algebraic meta-theory of processes with data
D Gebler, EI Goriac, MR Mousavi
arXiv preprint arXiv:1307.7444, 2013
72013
Computing behavioral relations for probabilistic concurrent systems
D Gebler, V Hashemi, A Turrini
International Autumn School on Rigorous Dependability Analysis Using Model …, 2012
72012
SOS-based modal decomposition on nondeterministic probabilistic processes
V Castiglioni, D Gebler, S Tini
arXiv preprint arXiv:1701.08330, 2017
52017
Compositional bisimulation metric reasoning with probabilistic process calculi
S Tini, KG Larsen, D Gebler
Logical Methods in Computer Science 12, 2017
42017
Modal Characterisations of Behavioural Pseudometrics
Y Deng, W Du, D Gebler
arXiv preprint arXiv:1509.03391, 2015
32015
Robust SOS specifications of probabilistic processes
D Gebler
Vrije Universiteit Amsterdam, 2015
32015
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20