18 citations · 22 across the 4 of their papers we have counts for
4 papers
A Formal Approach for Tuning Stochastic Oscillators
Paolo Ballarini, Mahmoud Bentriou, Paul-Henry Cournède
Periodic recurrence is a prominent behavioural of many biological phenomena, including cell cycle and circadian rhythms. Although deterministic models are commonly used to represen…
Performance modelling of access control mechanisms for local and vehicular wireless networks
Paolo Ballarini, Benoit Barbot, Nicolas Vasselin
Carrier sense multiple access collision avoidance (CSMA/CA) is the basic scheme upon which access to the shared medium is regulated in many wireless networks. With CSMA/CA a statio…
Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking
Paolo Ballarini
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 th…
Efficient Parallel Statistical Model Checking of Biochemical Networks
Paolo Ballarini, Michele Forlin, Tommaso Mazza +1
We consider the problem of verifying stochastic models of biochemical networks against behavioral properties expressed in temporal logic terms. Exact probabilistic verification app…