| 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 | 67 | 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 | 63 | 2015 |
| Model checking medium access control for sensor networks P Ballarini, A Miller Second International Symposium on Leveraging Applications of Formal Methods …, 2006 | 54 | 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 | 40 | 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 | 38 | 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 | 28 | 2010 |
| 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 |
| 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 | 25 | 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 | 24 | 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 | 14 | 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 | 12 | 2006 |
| 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 |
| 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 | 10 | 2002 |
Marie DuflotLORIA - Université de Lorraine & INRIAVerified email at inria.fr
