- 1
- 1
- 1
Paolo Ballarini
3
Documents
Identifiants chercheurs
- paolo-ballarini
- 0000-0003-2026-2107
- IdRef : 19916794X
Présentation
I am an assitant professor at Lab. MICS of CentraleSupélec am an assistant professor (maître de conférence) at the Laboratory [MAS](http://www.mas.ecp.fr/) (Applied Mathematics
and Systems) of CentraleSupeléc (formerly Ecole Centrale Paris). My principle research interests are in the area of formal methods for modelling and verification of systems characterised by stochasticity, concurrency and parallelism
Publications
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
Automaton-ABC: A statistical method to estimate the probability of spatio-temporal properties for parametric Markov population modelsTheoretical Computer Science, 2021, 893, pp.191-219. ⟨10.1016/j.tcs.2021.09.039⟩
Article dans une revue
hal-04148855v1
|
|
|
Bayesian parameter estimation for the Wnt pathway: an infinite mixture models approachBioinformatics, 2016, 32 (17), pp.i781 - i789. ⟨10.1093/bioinformatics/btw471⟩
Article dans une revue
hal-01817488v1
|
Reachability Design Through Approximate Bayesian ComputationComputational Methods in Systems Biology, pp.207-223, 2019, ⟨10.1007/978-3-030-31304-3_11⟩
Chapitre d'ouvrage
hal-02317539v1
|