Paolo Ballarini
Paolo Ballarini
University of Paris Saclay
Adresse e-mail validée de - Page d'accueil
Citée par
Citée par
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
Model checking medium access control for sensor networks
P Ballarini, A Miller
Second International Symposium on Leveraging Applications of Formal Methods …, 2006
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
HASL: An expressive language for statistical verification of stochastic models
P Ballarini, H Djafri, M Duflot, S Haddad, N Pekergin
Proceedings of the 5th International ICST Conference on Performance …, 2011
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
International Conference on Application and Theory of Petri Nets, 43-62, 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
Efficient parallel statistical model checking of biochemical networks
P Ballarini, M Forlin, T Mazza, D Prandi
arXiv preprint arXiv:0912.2551, 2009
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
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
Uncertain agent verification through probabilistic model-checking
P Ballarini, M Fisher, M Wooldridge
Safety and Security in Multiagent Systems, 162-174, 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
BlenX4BioBlenX for Biologists
C Priami, P Ballarini, P Quaglia
International Conference on Computational Methods in Systems Biology, 26-51, 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
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
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20