| 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 | 89 | 2015 |
| 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 | 76 | 2011 |
| Model checking medium access control for sensor networks P Ballarini, A Miller Second international symposium on leveraging applications of formal methods …, 2006 | 57 | 2006 |
| 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 | 46 | 2011 |
| 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 | 45 | 2009 |
| Analysing biochemical oscillation through probabilistic model checking P Ballarini, R Mardare, I Mura Electronic Notes in Theoretical Computer Science 229 (1), 3-19, 2009 | 42 | 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 | 34 | 2000 |
| Query-based verification of qualitative trends and oscillations in biochemical systems P Ballarini, ML Guerriero Theoretical Computer Science 411 (20), 2019-2036, 2010 | 31 | 2010 |
| 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 | 30 | 2013 |
| Modeling tools for detecting DoS attacks in WSNs P Ballarini, L Mokdad, Q Monnet Security and Communication Networks 6 (4), 420-436, 2013 | 30 | 2013 |
| Efficient parallel statistical model checking of biochemical networks P Ballarini, M Forlin, T Mazza, D Prandi arXiv preprint arXiv:0912.2551, 2009 | 26 | 2009 |
| 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 | 25 | 2011 |
| 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 | 24 | 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 | 21 | 2009 |
| 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 | 19 | 2014 |
| BlenX4Bio–BlenX for Biologists C Priami, P Ballarini, P Quaglia International Conference on Computational Methods in Systems Biology, 26-51, 2009 | 19 | 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 | 18 | 2016 |
| 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 | 15 | 2006 |
| A framework for optimisation based stochastic process discovery P Cry, A Horváth, P Ballarini, P Le Gall International Conference on Quantitative Evaluation of Systems and Formal …, 2024 | 12 | 2024 |
| 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 | 11 | 2012 |
Andras HorvathComputer Science Department, University of Turin, ItalyVerified email at di.unito.it
