Daniel Gebler

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 14

Top Topics

Evaluation Metrics

Transition Systems

Top Venues

Publications

Wenjie Du, Yuxin Deng, Daniel Gebler
Behavioural Pseudometrics for Nondeterministic Probabilistic Systems. Sci. Ann. Comput. Sci. 32 (2) (2022)
Daniel Gebler, Simone Tini
SOS specifications for uniformly continuous operators. J. Comput. Syst. Sci. 92 (2018)
Valentina Castiglioni, Daniel Gebler, Simone Tini
SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes. Log. Methods Comput. Sci. 14 (2) (2018)
Valentina Castiglioni, Daniel Gebler, Simone Tini
SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes. CoRR (2017)
Valentina Castiglioni, Daniel Gebler, Simone Tini
Logical Characterization of Bisimulation Metrics. QAPL (2016)
Pedro R. D'Argenio, Daniel Gebler, Matias David Lee
A general SOS theory for the specification of probabilistic transition systems. Inf. Comput. 249 (2016)
Valentina Castiglioni, Daniel Gebler, Simone Tini
Modal Decomposition on Nondeterministic Probabilistic Processes. CONCUR (2016)
Wenjie Du, Yuxin Deng, Daniel Gebler
Behavioural Pseudometrics for Nondeterministic Probabilistic Systems. SETTA (2016)
Daniel Gebler, Kim G. Larsen, Simone Tini
Compositional bisimulation metric reasoning with Probabilistic Process Calculi. Log. Methods Comput. Sci. 12 (4) (2016)
Daniel Gebler, Simone Tini
SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators. CONCUR (2015)
Pedro R. D'Argenio, Matias David Lee, Daniel Gebler
SOS rule formats for convex and abstract probabilistic bisimulations. EXPRESS/SOS (2015)
Yuxin Deng, Wenjie Du, Daniel Gebler
Modal Characterisations of Behavioural Pseudometrics. CoRR (2015)
Daniel Gebler, Kim Guldstrand Larsen, Simone Tini
Compositional Metric Reasoning with Probabilistic Process Calculi. FoSSaCS (2015)
Marco Bernardo, Daniel Gebler, Michele Loreti
Editorial for the Special Issue on Open Problems in Concurrency Theory. J. Log. Algebraic Methods Program. 84 (6) (2015)
Marco Bernardo, Daniel Gebler, Michele Loreti
Report on OPCT 2014. Bull. EATCS 114 (2014)
Pedro R. D'Argenio, Daniel Gebler, Matias David Lee
Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules. FoSSaCS (2014)
Konstantinos Chatzikokolakis, Daniel Gebler, Catuscia Palamidessi, Lili Xu
Generalized Bisimulation Metrics. CONCUR (2014)
Daniel Gebler, Simone Tini
Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators. EXPRESS/SOS (2014)
Daniel Gebler, Simone Tini
Compositionality of Approximate Bisimulation for Probabilistic Systems. EXPRESS/SOS (2013)
Daniel Gebler, Eugen-Ioan Goriac, Mohammad Reza Mousavi
Algebraic Meta-Theory of Processes with Data. EXPRESS/SOS (2013)
Matias David Lee, Daniel Gebler, Pedro R. D'Argenio
Tree rules in probabilistic transition system specifications with negative and quantitative premises EXPRESS/SOS (2012)
Daniel Gebler, Vahid Hashemi, Andrea Turrini
Computing Behavioral Relations for Probabilistic Concurrent Systems. ROCKS (2012)
Daniel Gebler, Wan J. Fokkink
Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics. CONCUR (2012)
Florian Arnold, Daniel Gebler, Dennis Guck, Hassan Hatefi
A Tutorial on Interactive Markov Chains. ROCKS (2012)
Christian Dehnert, Daniel Gebler, Michele Volpato, David N. Jansen
On Abstraction of Probabilistic Systems. ROCKS (2012)