An integrated approach for the specification and analysis of stochastic real-time systems

MaRDI QIDQ2842863zbMATH OpenFDO

Authors Mario Bravetti

Publication date 16 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S157106610480519X

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2090712
• Formal Methods for the Design of Real-Time Systems
• Validation of Stochastic Systems
• The theory of interactive generalized semi-Markov processes
• scientific article; zbMATH DE number 176728

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1884419 (Why is no real title available?)
• scientific article; zbMATH DE number 2090712 (Why is no real title available?)
• scientific article; zbMATH DE number 1397300 (Why is no real title available?)
• A Compositional Approach to Performance Modelling
• A logic for reasoning about time and reliability
• Adding action refinement to a finite process algebra
• Bisimulation through probabilistic testing
• Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement
• Model-checking in dense real-time
• Processes with probabilities, priority and time
• The theory of interactive generalized semi-Markov processes

Cited in

(10)

• Stochastic model checking of the stochastic quality calculus
• scientific article; zbMATH DE number 1949601 (Why is no real title available?)
• scientific article; zbMATH DE number 1693544 (Why is no real title available?)
• The theory of interactive generalized semi-Markov processes
• scientific article; zbMATH DE number 1884414 (Why is no real title available?)
• scientific article; zbMATH DE number 5115945 (Why is no real title available?)
• scientific article; zbMATH DE number 1569133 (Why is no real title available?)
• Formal Methods for the Design of Real-Time Systems
• scientific article; zbMATH DE number 2079815 (Why is no real title available?)
• scientific article; zbMATH DE number 2090712 (Why is no real title available?)

This page was built for publication: An integrated approach for the specification and analysis of stochastic real-time systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2842863)