Skip to main content

7 Result(s)

within Paolo Ballarini Remove this filter English Remove this filter Artificial Intelligence Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    A Formal Approach for Tuning Stochastic Oscillators

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

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

  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

    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)

  5. No Access

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

    Paolo Ballarini, Emmanuelle Gallet… in Leveraging Applications of Formal Methods,… (2014)

  6. No Access

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

    Paolo Ballarini, Michael Fisher… in Safety and Security in Multiagent Systems (2009)

  7. No Access

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

    Paolo Ballarini, Lorenzo Capra… in Computer and Information Sciences - ISCIS … (2004)