Performance analysis of probabilistic timed automata using digital clocks
type: Item
instance of: scholarly article
title: Performance analysis of probabilistic timed automata using digital clocks
zbMATH Open document ID: 1105.68063
author: N. E. Zubov
published in: Formal Methods in System Design
publication date: 2006-11-17T00:00:00Z
full work available at URL: 43789.pdf
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5073688
zbMATH Keywords: Probabilistic model checking
zbMATH Keywords: Timed automata
zbMATH Keywords: Digital clocks
describes a project that uses: Kronos
describes a project that uses: Uppaal2k
describes a project that uses: PRISM
describes a project that uses: Rabbit
describes a project that uses: Uppaal
MaRDI profile type: Publication
OpenAlex ID: W2028827800
cites work: Model-checking in dense real-time
cites work: A theory of timed automata
cites work: Timing verification by successive approximation
cites work: Q4552456
cites work: Formal Modeling and Analysis of Timed Systems
cites work: Q4251920
cites work: Q2769586
cites work: Q4552463
cites work: An Analysis of Stochastic Shortest Path Problems
cites work: Q2763979
cites work: Model checking of probabilistic and nondeterministic systems
cites work: Q4270052
cites work: Finite state Markovian decision processes
cites work: Q5799972
cites work: A logic for reasoning about time and reliability
cites work: Symbolic model checking for real-time systems
cites work: Q4118602
cites work: Q4472227
cites work: Automatic verification of real-time systems with discrete probability distributions.
cites work: Q4791267
cites work: Q4813204
cites work: Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol
cites work: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
cites work: Q4551180
cites work: Uppaal in a nutshell
cites work: Q4472226
cites work: Q3818127
cites work: Q4847023
cites work: Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k
DOI: 10.1007/S10703-006-0005-2
description: scientific article; zbMATH DE number 5073688