Skip to main content

2 Result(s)

within Paolo Ballarini Remove this filter Logics and Meanings of Programs Remove this filter System Performance and Evaluation Remove this filter

and

  1. No Access

    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 ...

    Paolo Ballarini, Marco Beccuti, Enrico Bibbona… in Computer Performance Engineering (2017)

  2. No Access

    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 ...

    Paolo Ballarini, Nathalie Bertrand, András Horváth… in Quantitative Evaluation of Systems (2013)