Paolo Ballarini
Paolo Ballarini
University of Paris Saclay
Verified email at - Homepage
Cited by
Cited by
COSMOS: a statistical model checker for the hybrid automata stochastic logic
P Ballarini, H Djafri, M Duflot, S Haddad, N Pekergin
2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011
Model checking medium access control for sensor networks
P Ballarini, A Miller
Second International Symposium on Leveraging Applications of Formal Methods …, 2006
HASL: A new approach for performance evaluation and model checking from concepts to experimentation
P Ballarini, B Barbot, M Duflot, S Haddad, N Pekergin
Performance Evaluation 90, 53-77, 2015
HASL: an expressive language for statistical verification of stochastic models.
P Ballarini, H Djafri, M Duflot, S Haddad, N Pekergin
Valuetools 11, 306-315, 2011
Analysing biochemical oscillation through probabilistic model checking
P Ballarini, R Mardare, I Mura
Electronic Notes in Theoretical Computer Science 229 (1), 3-19, 2009
Taming the complexity of biological pathways through parallel computing
P Ballarini, R Guido, T Mazza, D Prandi
Briefings in bioinformatics 10 (3), 278-288, 2009
Parametric stochastic well-formed nets and compositional modelling
P Ballarini, S Donatelli, G Franceschinis
International Conference on Application and Theory of Petri Nets, 43-62, 2000
Query-based verification of qualitative trends and oscillations in biochemical systems
P Ballarini, ML Guerriero
Theoretical Computer Science 411 (20), 2019-2036, 2010
Modeling tools for detecting DoS attacks in WSNs
P Ballarini, L Mokdad, Q Monnet
Security and communication networks 6 (4), 420-436, 2013
Efficient parallel statistical model checking of biochemical networks
P Ballarini, M Forlin, T Mazza, D Prandi
arXiv preprint arXiv:0912.2551, 2009
Transient analysis of networks of stochastic timed automata using stochastic state classes
P Ballarini, N Bertrand, A Horváth, M Paolieri, E Vicario
International Conference on Quantitative Evaluation of Systems, 355-371, 2013
Petri nets compositional modeling and verification of flexible manufacturing systems
P Ballarini, H Djafri, M Duflot, S Haddad, N Pekergin
2011 IEEE International Conference on Automation Science and Engineering …, 2011
Uncertain agent verification through probabilistic model-checking
P Ballarini, M Fisher, M Wooldridge
Safety and Security in Multiagent Systems, 162-174, 2009
Studying irreversible transitions in a model of cell cycle regulation
P Ballarini, T Mazza, A Palmisano, A Csikasz-Nagy
Electronic Notes in Theoretical Computer Science 232, 39-53, 2009
BlenX4BioBlenX for Biologists
C Priami, P Ballarini, P Quaglia
International Conference on Computational Methods in Systems Biology, 26-51, 2009
Bayesian parameter estimation for the Wnt pathway: An infinite mixture models approach
K Koutroumpas, P Ballarini, I Votsi, PH Cournčde
Bioinformatics 32 (17), i781-i789, 2016
An LTL model checking approach for biological parameter inference
E Gallet, M Manceny, P Le Gall, P Ballarini
International Conference on Formal Engineering Methods, 155-170, 2014
The relevance of topology in parallel simulation of biological networks
T Mazza, P Ballarini, R Guido, D Prandi
IEEE/ACM transactions on computational biology and bioinformatics 9 (3), 911-923, 2012
Validation and evaluation of a software solution for fault tolerant distributed synchronization
P Ballarini, S Bernardi, S Donatelli
Proceedings International Conference on Dependable Systems and Networks, 773-782, 2002
Automated game analysis via probabilistic model checking: a case study
P Ballarini, M Fisher, MJ Wooldridge
Electronic Notes in Theoretical Computer Science 149 (2), 125-137, 2006
The system can't perform the operation now. Try again later.
Articles 1–20