Parametric probabilistic transition systems for system design and analysis
type: Item
instance of: scholarly article
title: Parametric probabilistic transition systems for system design and analysis
zbMATH Open document ID: 1111.68084
author: Ruggero Lanotte
author: Angelo Troina
author: Andrea Maggiolo-Schettini
published in: Formal Aspects of Computing
publication date: 2007-04-19T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 5145023
zbMATH Keywords: Discrete-time Markov chains
zbMATH Keywords: Parameters
zbMATH Keywords: Reachability
zbMATH Keywords: Probabilistic non-repudiation protocol
describes a project that uses: HyTech
describes a project that uses: Uppaal
MaRDI profile type: Publication
full work available at URL: s00165-006-0015-2
OpenAlex ID: W2000865099
cites work: Q4813196
cites work: Q4270052
cites work: Parametric real-time reasoning
cites work: A theory of timed automata
cites work: Axiomatizing probabilistic processes: ACP with generative probabilities
cites work: On the verification of qualitative properties of probabilistic processes under fairness constraints.
cites work: Q4547957
cites work: Q3241581
cites work: Model checking of probabilistic and nondeterministic systems
cites work: The dining cryptographers problem: Unconditional sender and recipient untraceability
cites work: Theoretical Aspects of Computing - ICTAC 2004
cites work: Q4484498
cites work: Metrics for labelled Markov processes
cites work: Approximating labelled Markov processes
cites work: Q5799972
cites work: A logic for reasoning about time and reliability
cites work: HyTech: A model checker for hybrid systems
cites work: Q3266141
cites work: Q2769587
cites work: Q5528211
cites work: Weak bisimulation for probabilistic timed automata
cites work: Automatic analysis of a non-repudiation protocol
cites work: Bisimulation through probabilistic testing
cites work: A decomposition theorem for probabilistic transition systems
cites work: Q1185456
cites work: Q3218851
cites work: Q3996817
cites work: Q5807665
cites work: Probability with Martingales
cites work: Composition and behaviors of probabilistic I/O automata
DOI: 10.1007/S00165-006-0015-2
description: scientific article; zbMATH DE number 5145023