scientific article
From MaRDI portal
Publication:2754196
zbMath0973.68014MaRDI QIDQ2754196
Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Christel Baier
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Precisely deciding CSL formulas through approximate model checking for CTMCs ⋮ Cost vs. time in stochastic games and Markov automata ⋮ Action and State Based Computation Tree Measurement Language and Algorithms ⋮ Multiphase until formulas over Markov reward models: an algebraic approach ⋮ On the use of MTBDDs for performability analysis and verification of stochastic systems. ⋮ Model-checking large structured Markov chains. ⋮ Model Checking Exact Cost for Attack Scenarios ⋮ Guarded autonomous transitions increase conciseness and expressiveness of timed automata ⋮ Performability assessment by model checking of Markov reward models ⋮ Mixing logics and rewards for the component-oriented specification of performance measures ⋮ CSL model checking algorithms for QBDs ⋮ Computation tree measurement language (CTML) ⋮ Performance measure sensitive congruences for Markovian process algebras
