Model checking for performability (Q2843861): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Created claim: DBLP publication ID (P1635): journals/mscs/BaierHHHK13, #quickstatements; #temporary_batch_1735573801833
 
(6 intermediate revisions by 5 users not shown)
Property / author
 
Property / author: Christel Baier / rank
Normal rank
 
Property / author
 
Property / author: Joost-Pieter Katoen / rank
Normal rank
 
Property / author
 
Property / author: Christel Baier / rank
 
Normal rank
Property / author
 
Property / author: Joost-Pieter Katoen / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q57800990 / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Occupation times in markov processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Optimal reachability for multi-priced timed automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bisimulation through probabilistic testing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Abstraction Refinement for Probabilistic Software / rank
 
Normal rank
Property / cites work
 
Property / cites work: Three-Valued Abstraction for Continuous-Time Markov Chains / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the use of MTBDDs for performability analysis and verification of stochastic systems. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Performability modelling tools and techniques / rank
 
Normal rank
Property / cites work
 
Property / cites work: Randomization Procedures in the Computation of Cumulative-Time Distributions over Discrete State Markov Processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Analysis of a composite performance reliability measure for fault-tolerant systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model Checking Interactive Markov Chains / rank
 
Normal rank
Property / cites work
 
Property / cites work: A fast algorithm for the transient reward distribution in continuous-time Markov chains / rank
 
Normal rank
Property / cites work
 
Property / cites work: Comparative branching-time semantics for Markov chains / rank
 
Normal rank
Property / cites work
 
Property / cites work: Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Transient analysis of cumulative measures of markov model behavior / rank
 
Normal rank
Property / cites work
 
Property / cites work: Numerical transient analysis of Markov models / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reward model solution methods with impulse and rate rewards: an algorithm and numerical results / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finite State Continuous Time Markov Decision Processes with a Finite Planning Horizon / rank
 
Normal rank
Property / cites work
 
Property / cites work: Performability: a retrospective and some pointers to the future / rank
 
Normal rank
Property / cites work
 
Property / cites work: Performability assessment by model checking of Markov reward models / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model-checking continuous-time Markov chains / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mixing logics and rewards for the component-oriented specification of performance measures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems / rank
 
Normal rank
Property / DBLP publication ID
 
Property / DBLP publication ID: journals/mscs/BaierHHHK13 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 16:50, 30 December 2024

scientific article
Language Label Description Also known as
English
Model checking for performability
scientific article

    Statements

    Model checking for performability (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    26 August 2013
    0 references

    Identifiers