| Publication | Date of Publication | Type |
|---|
Behavioural pseudometrics for nondeterministic probabilistic systems
Scientific Annals of Computer Science | 2024-08-15 | Paper |
| SOS rule formats for convex and abstract probabilistic bisimulations | 2021-12-03 | Paper |
SOS rule formats for convex and abstract probabilistic bisimulations
(available as arXiv preprint) | 2021-12-03 | Paper |
| Fixed-point characterization of compositionality properties of probabilistic processes combinators | 2021-06-23 | Paper |
Fixed-point characterization of compositionality properties of probabilistic processes combinators
(available as arXiv preprint) | 2021-06-23 | Paper |
| Compositionality of approximate bisimulation for probabilistic systems | 2021-06-09 | Paper |
Compositionality of approximate bisimulation for probabilistic systems
(available as arXiv preprint) | 2021-06-09 | Paper |
| Tree rules in probabilistic transition system specifications with negative and quantitative premises | 2021-04-27 | Paper |
Tree rules in probabilistic transition system specifications with negative and quantitative premises
(available as arXiv preprint) | 2021-04-27 | Paper |
| Behavioural pseudometrics for nondeterministic probabilistic systems | 2018-08-16 | Paper |
SOS-based modal decomposition on nondeterministic probabilistic processes
(available as arXiv preprint) | 2018-08-15 | Paper |
| Modal decomposition on nondeterministic probabilistic processes | 2018-03-21 | Paper |
SOS specifications for uniformly continuous operators
Journal of Computer and System Sciences | 2017-11-14 | Paper |
| Sós specifications of probabilistic systems by uniformly continuous operators | 2017-09-12 | Paper |
Compositional bisimulation metric reasoning with Probabilistic Process Calculi
Logical Methods in Computer Science | 2017-04-11 | Paper |
A general SOS theory for the specification of probabilistic transition systems
Information and Computation | 2016-07-07 | Paper |
Compositional metric reasoning with probabilistic process calculi
Lecture Notes in Computer Science | 2015-10-01 | Paper |
Computing Behavioral Relations for Probabilistic Concurrent Systems
Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems | 2015-01-12 | Paper |
On Abstraction of Probabilistic Systems
Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems | 2015-01-12 | Paper |
A Tutorial on Interactive Markov Chains
Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems | 2015-01-12 | Paper |
Generalized Bisimulation Metrics
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules
Lecture Notes in Computer Science | 2014-04-16 | Paper |
Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics
Lecture Notes in Computer Science | 2012-09-25 | Paper |
