Model-based performance prediction in software development: A survey
Over the last decade, a lot of research has been directed toward integrating performance
analysis into the software development process. Traditional software development methods …
analysis into the software development process. Traditional software development methods …
Process algebra for performance evaluation
H Hermanns, U Herzog, JP Katoen - Theoretical computer science, 2002 - Elsevier
This paper surveys the theoretical developments in the field of stochastic process algebras,
process algebras where action occurrences may be subject to a delay that is determined by …
process algebras where action occurrences may be subject to a delay that is determined by …
Modeling and verification of randomized distributed real-time systems
R Segala - 1996 - dspace.mit.edu
Modeling and Veri cation of Randomized Distributed Real-Time Systems Page 1 Modeling and
Veri cation of Randomized Distributed Real-Time Systems by Roberto Segala SM, Electrical …
Veri cation of Randomized Distributed Real-Time Systems by Roberto Segala SM, Electrical …
The PEPA workbench: A tool to support a process algebra-based approach to performance modelling
S Gilmore, J Hillston - … Evaluation Modelling Techniques and Tools: 7th …, 1994 - Springer
In this paper we present a new technique for performance modelling and a tool supporting
this approach. Performance Evaluation Process Algebra (PEPA)[1] is an algebraic language …
this approach. Performance Evaluation Process Algebra (PEPA)[1] is an algebraic language …
Scalability and performance analysis in 5G core network slicing
Slicing the 5G core network involves specifying network services according to the functional
and quality requirements of typical 5G use cases. In doing so, assessing the scalability and …
and quality requirements of typical 5G use cases. In doing so, assessing the scalability and …
Multiprocessor and distributed system design: The integration of functional specification and performance analysis using stochastic process algebras
N Götz, U Herzog, M Rettelbach - IFIP International Symposium on …, 1993 - Springer
Abstract We introduce Stochastic Process Algebras as a novel approach for the structured
design and analysis of both the functional behaviour and performance characteristics of …
design and analysis of both the functional behaviour and performance characteristics of …
Composition and behaviors of probabilistic I/O automata
We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward
the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchronous …
the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchronous …
Decision Algorithms for Probabilistic Bisimulation*
S Cattani, R Segala - International Conference on Concurrency Theory, 2002 - Springer
We propose decision algorithms for bisimulation relations defined on probabilistic automata,
a model for concurrent nondeterministic systems with randomization. The algorithms decide …
a model for concurrent nondeterministic systems with randomization. The algorithms decide …
Quantitative and qualitative extensions of event structures
JP Katoen - 1996 - research.utwente.nl
An important application of formal methods is the specification, design, and analysis of
functional aspects of (distributed) systems. Recently the study of quantitative aspects of such …
functional aspects of (distributed) systems. Recently the study of quantitative aspects of such …
Weak bisimulation for probabilistic systems
In this paper, we introduce weak bisimulation in the framework of Labeled Concurrent
Markov Chains, that is, probabilistic transition systems which exhibit both probabilistic and …
Markov Chains, that is, probabilistic transition systems which exhibit both probabilistic and …