Computer Performance Engineering
15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
Page
%P
5 Result(s)
-
Chapter and Conference Paper
Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes
Stochastic Timed Automata (STA) associate logical locations with continuous, generally distributed sojourn times. In this paper, we introduce Networks of Stochastic Timed Automata (NSTA), where the components ...
-
Chapter and Conference Paper
Analysis of Timed Properties Using the Jump-Diffusion Approximation
Density dependent Markov chains (DDMCs) describe the interaction of groups of identical objects. In case of large numbers of objects a DDMC can be approximated efficiently by means of either a set of ordinary ...
-
Book and Conference Proceedings
-
Book and Conference Proceedings
Performance Engineering and Stochastic Modeling
17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9–10 and December 13–14, 2021, Proceedings
-
Chapter and Conference Paper
Performance Analysis of Production Lines Through Statistical Model Checking
Design and maintenance of reliable manufacturing systems calls for the development of formal models that allow for performance analysis. We consider the class of manufacturing systems such that the production ...
