Daniel Gebler

According to our database, Daniel Gebler authored at least 23 papers between 2012 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Behavioural Pseudometrics for Nondeterministic Probabilistic Systems.

Wenjie Du, Yuxin Deng, Daniel Gebler

Sci. Ann. Comput. Sci., 2022

2018

SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes.

Valentina Castiglioni, Daniel Gebler, Simone Tini

Log. Methods Comput. Sci., 2018

SOS specifications for uniformly continuous operators.

Daniel Gebler, Simone Tini

J. Comput. Syst. Sci., 2018

2016

A general SOS theory for the specification of probabilistic transition systems.

Pedro R. D'Argenio, Daniel Gebler, Matias David Lee

Inf. Comput., 2016

Compositional bisimulation metric reasoning with Probabilistic Process Calculi.

Daniel Gebler, Kim G. Larsen, Simone Tini

Log. Methods Comput. Sci., 2016

Logical Characterization of Bisimulation Metrics.

Valentina Castiglioni, Daniel Gebler, Simone Tini

Proceedings of the Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, 2016

Modal Decomposition on Nondeterministic Probabilistic Processes.

Valentina Castiglioni, Daniel Gebler, Simone Tini

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Editorial for the Special Issue on Open Problems in Concurrency Theory.

Marco Bernardo, Daniel Gebler, Michele Loreti

J. Log. Algebraic Methods Program., 2015

Modal Characterisations of Behavioural Pseudometrics.

Yuxin Deng, Wenjie Du, Daniel Gebler

CoRR, 2015

SOS rule formats for convex and abstract probabilistic bisimulations.

Pedro R. D'Argenio, Matias David Lee, Daniel Gebler

Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, 2015

Compositional Metric Reasoning with Probabilistic Process Calculi.

Daniel Gebler, Kim Guldstrand Larsen, Simone Tini

Proceedings of the Foundations of Software Science and Computation Structures, 2015

SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators.

Daniel Gebler, Simone Tini

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Report on OPCT 2014.

Marco Bernardo, Daniel Gebler, Michele Loreti

Bull. EATCS, 2014

Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators.

Daniel Gebler, Simone Tini

Proceedings of the Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, 2014

Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules.

Pedro R. D'Argenio, Daniel Gebler, Matias David Lee

Proceedings of the Foundations of Software Science and Computation Structures, 2014

Generalized Bisimulation Metrics.

Konstantinos Chatzikokolakis, Daniel Gebler, Catuscia Palamidessi, Lili Xu

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013

Compositionality of Approximate Bisimulation for Probabilistic Systems.

Daniel Gebler, Simone Tini

Proceedings of the Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, 2013

Algebraic Meta-Theory of Processes with Data.

Daniel Gebler, Eugen-Ioan Goriac, Mohammad Reza Mousavi

Proceedings of the Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, 2013

2012

Tree rules in probabilistic transition system specifications with negative and quantitative premises

Matias David Lee, Daniel Gebler, Pedro R. D'Argenio

Proceedings of the Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, 2012

Computing Behavioral Relations for Probabilistic Concurrent Systems.

Daniel Gebler, Vahid Hashemi, Andrea Turrini

Proceedings of the Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, 2012

On Abstraction of Probabilistic Systems.

Christian Dehnert, Daniel Gebler, Michele Volpato, David N. Jansen

Proceedings of the Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, 2012

A Tutorial on Interactive Markov Chains.

Florian Arnold, Daniel Gebler, Dennis Guck, Hassan Hatefi

Proceedings of the Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, 2012

Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics.

Daniel Gebler, Wan J. Fokkink

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012