It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models

DOI10.1007/978-3-030-43024-5_12zbMath1484.68038OpenAlexW3011932343MaRDI QIDQ5014508

Markus Siegle, Amin Soltanieh

Publication date: 8 December 2021

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-43024-5_12

zbMATH Keywords

Markov chainsproduct formprobabilistic model checkingstochastic process algebracompositional model repair

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items

Solving systems of bilinear equations for transition rate reconstruction, Rate lifting for stochastic process algebra -- exploiting structural properties

Cites Work

• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• Model Repair for Probabilistic Systems
• Product form solution for a class of PEPA models
• Parameter and Controller Synthesis for Markov Chains with Actions and State Labels.
• A Compositional Approach to Performance Modelling