Computer Performance Engineering
15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
Chapter and Conference Paper
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...
Chapter and Conference Paper
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
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
We introduce BlenX4Bio, a high-level interface for the programming language BlenX. BlenX4Bio allows biologists to write BlenX programs without having any programming skills. The main elements of a biological mode...
Chapter and Conference Paper
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
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
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
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
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 ...
Article
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
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
15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
Chapter and Conference Paper
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...
Chapter and Conference Paper
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...
Book and Conference Proceedings
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
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
Periodic recurrence is a prominent behavioural of many biological phenomena, including cell cycle and circadian rhythms. Although deterministic models are commonly used to represent the dynamics of periodic ph...