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
Page
%P
15 Result(s)
-
Book and Conference 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 ...
-
Chapter and Conference Paper
Petri Nets Validation of Markovian Models of Emergency Department Arrivals
Modeling of hospital’s Emergency Departments (ED) is vital for optimisation of health services offered to patients that shows up at an ED requiring treatments with different level of emergency. In this paper w...
-
Chapter and Conference Paper
Reachability Design Through Approximate Bayesian Computation
Time-bounded reachability problems are concerned with assessing whether a model’s trajectories traverse a given region of the state-space within given time-bounds. In the case of stochastic models reachability...
-
Book and Conference Proceedings
Computer Performance Engineering
15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
-
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 ...
-
Article
Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking
The application of formal methods to the analysis of stochastic oscillators has been at the focus of several research works in recent times. In this paper, we provide insights on the application of an expressi...
-
Chapter and Conference Paper
An LTL Model Checking Approach for Biological Parameter Inference
The identification of biological parameters governing dynamics of Genetic Regulatory Networks (GRN) poses a problem of combinatorial explosion, since the possibilities of parameter instantiation are numerous e...
-
Chapter and Conference Paper
Formal Analysis of the Wnt/β-catenin through Statistical Model Checking
The Wnt/β-catenin signalling pathway plays an important role in the proliferation of neural cells, and hence it is the main focus of several research aimed at understanding neurodegenerative pathologies. In this ...
-
Chapter and Conference Paper
Expressing and Computing Passage Time Measures of GSPN Models with HASL
Passage time measures specification and computation for Generalized Stochastic Petri Net models have been faced in the literature from different points of view. In particular three aspects have been developed:...
-
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
Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics
The recently introduced Hybrid Automata Stochastic Logic (HASL) establishes a powerful framework for the analysis of a broad class of stochastic processes, namely Discrete Event Stochastic Processes (DESPs). H...
-
Chapter and Conference Paper
Uncertain Agent Verification through Probabilistic Model-Checking
In many situations an agent’s behaviour can sensibly be described only in terms of a distribution of probability over a set of possibilities. In such case (agents’) decision-making becomes probabilistic too. I...
-
Chapter and Conference Paper
Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets
This paper presents a performance and dependability study of a software fault-tolerant memory mechanism, namely the Distributed Memory (DM), which has been developed within a R&D European project. Relying on t...
-
Chapter and Conference Paper
Parametric Stochastic Well-Formed Nets and Compositional Modelling
Colored nets have been recognized as a powerful modelling paradigm for the validation and evaluation of systems, both in terms of compact representation and aggregate state space generation. In this paper we d...
