Interactive Markov chains. And the quest for quantified quality
From MaRDI portal
Publication:701689
DOI10.1007/3-540-45804-2zbMATH Open1012.68142OpenAlexW1597655219MaRDI QIDQ701689FDOQ701689
Authors: Holger Hermanns 
Publication date: 7 November 2002
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-45804-2
Recommendations
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Research exposition (monographs, survey articles) pertaining to probability theory (60-02) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (79)
- Compositional design of stochastic timed automata
- Performance preserving equivalence for stochastic process algebra dtsdPBC
- Equivalence checking 40 years after: a review of bisimulation tools
- A Tutorial on Interactive Markov Chains
- Nondeterministic probabilistic Petri net -- a new method to study qualitative and quantitative behaviors of system
- Performance model checking scenario-aware dataflow
- Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains
- Axiomatizing maximal progress and discrete time
- Model Based Importance Analysis for Minimal Cut Sets
- The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism
- Cost vs. time in stochastic games and Markov automata
- Fault trees on a diet: automated reduction by graph rewriting
- Probabilistic bisimulation for realistic schedulers
- A modest Markov automata tutorial
- On the Minimisation of Acyclic Models
- Towards general axiomatizations for bisimilarity and trace semantics
- nano\(\kappa\): A calculus for the modeling and simulation of nano devices
- Reflections on the future of concurrency theory in general and process calculi in particular
- Stochastic model checking of the stochastic quality calculus
- A theory of stochastic systems. II: Process algebra
- Model-based testing of probabilistic systems
- The how and why of interactive Markov chains
- Efficient approximation of optimal control for continuous-time Markov games
- Reasoning about proportional lumpability
- Reduction semantics in Markovian process algebra
- Equivalence of switching linear systems by bisimulation
- On the semantics of Markov automata
- Lumpability abstractions of rule-based systems
- Lifting non-finite axiomatizability results to extensions of process algebras
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey
- Constraint Markov chains
- A semantics for every GSPN
- Measurable stochastics for Brane calculus
- Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games
- Compositional abstraction for stochastic systems
- Polynomial time decision algorithms for probabilistic automata
- Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses
- Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions
- An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
- Lumping and reversed processes in cooperating automata
- On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi
- Mixing logics and rewards for the component-oriented specification of performance measures
- Approximate mean value analysis based on Markov chain aggregation by composition
- Stochastic Petri net models of \(\text{Ca}^{2+}\) signaling complexes and their analysis
- Static analysis of IMC
- Probabilistic mobile ambients
- Distributed synthesis in continuous time
- Probabilistic contracts for component-based design
- Non-bisimulation-based Markovian behavioral equivalences
- Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools
- On the relations between Markov chain lumpability and reversibility
- A compositional model to reason about end-to-end QoS in stochastic Reo connectors
- A theory of stochastic systems. I: Stochastic automata
- YMCA: why Markov chain algebra?
- Quantitative Analysis of Concurrent Reversible Computations
- Partition refinement of component interaction automata
- Bisimulation and Simulation Relations for Markov Chains
- CADP 2010: a toolbox for the construction and analysis of distributed processes
- Compositional probabilistic verification through multi-objective model checking
- On process rate semantics
- On the use of MTBDDs for performability analysis and verification of stochastic systems.
- Probabilistic bisimulation for realistic schedulers
- Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
- Model checking for probabilistic timed automata
- Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains
- Reconciling real and stochastic time: the need for probabilistic refinement
- A design methodology for verified web-service mediators
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
- A Hemimetric Extension of Simulation for Semi-Markov Decision Processes
- Title not available (Why is that?)
- Proportional lumpability and proportional bisimilarity
- Comparative branching-time semantics for Markov chains
- Computing Behavioral Relations for Probabilistic Concurrent Systems
- From Gene Regulation to Stochastic Fusion
- A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
- Revisiting interactive Markov chains
- A general SOS theory for the specification of probabilistic transition systems
- Title not available (Why is that?)
Uses Software
This page was built for publication: Interactive Markov chains. And the quest for quantified quality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q701689)
