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
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
Model checking medium access control for sensor networks
P Ballarini, A Miller
Second international symposium on leveraging applications of formal methods …, 2006
HASL: An expressive language for statistical verification of stochastic models
P Ballarini, H Djafri, M Duflot, S Haddad, N Pekergin
5th International ICST Conference on Performance Evaluation Methodologies …, 2012
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
Application and Theory of Petri Nets 2000: 21st International Conference …, 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
Transient analysis of networks of stochastic timed automata using stochastic state classes
P Ballarini, N Bertrand, A Horváth, M Paolieri, E Vicario
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013 …, 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
Efficient parallel statistical model checking of biochemical networks
P Ballarini, M Forlin, T Mazza, D Prandi
arXiv preprint arXiv:0912.2551, 2009
Uncertain agent verification through probabilistic model-checking
P Ballarini, M Fisher, M Wooldridge
Safety and Security in Multiagent Systems: Research Results from 2004-2006 …, 2009
BlenX4Bio–BlenX for Biologists
C Priami, P Ballarini, P Quaglia
International Conference on Computational Methods in Systems Biology, 26-51, 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
An LTL model checking approach for biological parameter inference
E Gallet, M Manceny, P Le Gall, P Ballarini
Formal Methods and Software Engineering: 16th International Conference on …, 2014
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
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
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
Expressing and computing passage time measures of GSPN models with HASL
EG Amparore, P Ballarini, M Beccuti, S Donatelli, G Franceschinis
Application and Theory of Petri Nets and Concurrency: 34th International …, 2013
The system can't perform the operation now. Try again later.
Articles 1–20