Follow
Daniel Gebler
Title
Cited by
Cited by
Year
Generalized bisimulation metrics
K Chatzikokolakis, D Gebler, C Palamidessi, L Xu
CONCUR 2014–Concurrency Theory: 25th International Conference, CONCUR 2014á…, 2014
642014
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
Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules
PR D’Argenio, D Gebler, MD Lee
Foundations of Software Science and Computation Structures: 17thá…, 2014
242014
Behavioural pseudometrics for nondeterministic probabilistic systems
W Du, Y Deng, D Gebler
Dependable Software Engineering: Theories, Tools, and Applications: Secondá…, 2016
232016
Compositionality of approximate bisimulation for probabilistic systems
D Gebler, S Tini
arXiv preprint arXiv:1307.7442, 2013
212013
On abstraction of probabilistic systems
C Dehnert, D Gebler, M Volpato, DN Jansen
Stochastic Model Checking. Rigorous Dependability Analysis Using Modelá…, 2014
192014
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
Compositionality of probabilistic Hennessy-Milner logic through structural operational semantics
D Gebler, W Fokkink
CONCUR 2012–Concurrency Theory: 23rd International Conference, CONCUR 2012á…, 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
Stochastic Model Checking. Rigorous Dependability Analysis Using Modelá…, 2014
82014
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
V Castiglioni, D Gebler, S Tini
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
SOS rule formats for convex and abstract probabilistic bisimulations
PR D'Argenio, MD Lee, D Gebler
arXiv preprint arXiv:1508.06710, 2015
32015
A tutorial on interactive Markov chains
F Arnold, D Gebler, D Guck, H Hatefi
Stochastic Model Checking. Rigorous Dependability Analysis Using Modelá…, 2014
32014
The system can't perform the operation now. Try again later.
Articles 1–20