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 | 69 | 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 | 66 | 2015 |
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 5th International ICST Conference on Performance Evaluation Methodologies …, 2012 | 43 | 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 | 41 | 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 | 39 | 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 | 33 | 2000 |
Query-based verification of qualitative trends and oscillations in biochemical systems P Ballarini, ML Guerriero Theoretical Computer Science 411 (20), 2019-2036, 2010 | 30 | 2010 |
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 | 28 | 2013 |
Modeling tools for detecting DoS attacks in WSNs P Ballarini, L Mokdad, Q Monnet Security and Communication Networks 6 (4), 420-436, 2013 | 27 | 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 | 21 | 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 | 19 | 2009 |
BlenX4Bio–BlenX for Biologists C Priami, P Ballarini, P Quaglia International Conference on Computational Methods in Systems Biology, 26-51, 2009 | 17 | 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 | 16 | 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 | 15 | 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 | 11 | 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 | 11 | 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 | 10 | 2013 |