scientific article; zbMATH DE number 1946767

MaRDI QIDQ4411090zbMATH OpenFDO

Authors B. R. Haverkort, Holger Hermanns, Christel Baier, Joost-Pieter Katoen

Publication date 7 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2459/24590261.htm

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1864588
• Performability assessment by model checking of Markov reward models
• Specification techniques for Markov reward models
• scientific article; zbMATH DE number 1538048
• Model checking for performability

Cited in

(19)

• Assisting the design of a groupware system - Model checking usability aspects of thinkteam
• scientific article; zbMATH DE number 1670870 (Why is no real title available?)
• Model checking for performability
• Using the Autodependogram in Model Diagnostic Checking
• Composite performance and dependability analysis
• Automated performance modeling of software generated by a design environment
• scientific article; zbMATH DE number 1786471 (Why is no real title available?)
• scientific article; zbMATH DE number 1786472 (Why is no real title available?)
• scientific article; zbMATH DE number 2155192 (Why is no real title available?)
• State-space support for path-based reward variables
• Performance evaluation with temporal rewards
• scientific article; zbMATH DE number 1864588 (Why is no real title available?)
• scientific article; zbMATH DE number 2104633 (Why is no real title available?)
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference
• Specification techniques for Markov reward models
• Performance assessment and reliability analysis of dependable and distributed computing systems based on BDD and recursive merge
• Performability assessment by model checking of Markov reward models
• Mixing logics and rewards for the component-oriented specification of performance measures

Describes a project that uses

Uses Software

• SPIN
• GreatSPN
• GreatSPN 1.7
• PEPA

This page was built for publication:

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