P. Ballarini

Available identifiers

Publication	Date of Publication	Type
A formal approach for tuning stochastic oscillators	2024-02-28	Paper
Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models	2021-11-01	Paper
Reachability design through approximate Bayesian computation	2019-10-10	Paper
Compositional model checking of product-form CTMCs	2016-06-06	Paper
Applications of an expressive statistical model checking approach to the analysis of genetic circuits	2015-09-29	Paper
Analysing Biochemical Oscillation through Probabilistic Model Checking	2014-03-21	Paper
Automated game analysis via probabilistic model checking: a case study	2013-10-07	Paper
Expressing and Computing Passage Time Measures of GSPN Models with HASL	2013-06-28	Paper
Query-based verification of qualitative trends and oscillations in biochemical systems	2010-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q2766551	2002-06-17	Paper

This page was built for person: P. Ballarini