Follow
Paolo Ballarini
Paolo Ballarini
University of Paris Saclay
Verified email at centralesupelec.fr - Homepage
Title
Cited by
Cited by
Year
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
662011
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
562015
Model checking medium access control for sensor networks
P Ballarini, A Miller
Second International Symposium on Leveraging Applications of Formal Methods …, 2006
542006
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
432012
Analysing biochemical oscillation through probabilistic model checking
P Ballarini, R Mardare, I Mura
Electronic Notes in Theoretical Computer Science 229 (1), 3-19, 2009
392009
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
382009
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
322000
Modeling tools for detecting DoS attacks in WSNs
P Ballarini, L Mokdad, Q Monnet
Security and Communication Networks 6 (4), 420-436, 2013
272013
Query-based verification of qualitative trends and oscillations in biochemical systems
P Ballarini, ML Guerriero
Theoretical Computer Science 411 (20), 2019-2036, 2010
272010
Efficient parallel statistical model checking of biochemical networks
P Ballarini, M Forlin, T Mazza, D Prandi
arXiv preprint arXiv:0912.2551, 2009
252009
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
232013
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
222011
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
192009
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
182009
BlenX4Bio-BlenX for Biologists.
C Priami, P Ballarini, P Quaglia
CMSB 9, 26-51, 2009
172009
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
142016
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
142014
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
122006
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
102012
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
102002
The system can't perform the operation now. Try again later.
Articles 1–20