Skip to main content

4 Result(s)

within Paolo Ballarini Remove this filter English Remove this filter Algorithm Analysis and Problem Complexity Remove this filter

and

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

    Paolo Ballarini, Davide Duma, Andras Horváth… in Application and Theory of Petri Nets and C… (2020)

    Download PDF (917 KB) View Chapter

  2. No Access

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

    Mahmoud Bentriou, Paolo Ballarini… in Computational Methods in Systems Biology (2019)

  3. No Access

    Book and Conference Proceedings

    Computer Performance Engineering

    15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings

    Rena Bakhshi, Paolo Ballarini… in Lecture Notes in Computer Science (2018)

  4. No Access

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

    Emmanuelle Gallet, Matthieu Manceny… in Formal Methods and Software Engineering (2014)