18 citations · 22 across the 4 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2024★ 2 cited
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…
cs.FL2014★ 1 cited
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…