Paolo Ballarini

Cited by

	All	Since 2016
Citations	581	207
h-index	15	8
i10-index	17	7

100

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202 3 4 7 6 1 2 8 6 20 44 37 40 47 43 91 50 56 46 24 31

Co-authors

Tommaso MazzaIRCCS Casa Sollievo della SofferenzaVerified email at css-mendel.it
Marie DuflotLORIA - Université de Lorraine & INRIAVerified email at inria.fr
Serge HaddadProfessor of Computer Science, ENS Paris-SaclayVerified email at lsv.fr
Davide PrandiFondazione Bruno KesslerVerified email at fbk.eu
Andras HorvathComputer Science Department, University of Turin, ItalyVerified email at di.unito.it
Benoît BarbotLACL, Université Paris-Est CréteilVerified email at lacl.fr
Pascale Le GallCentraleSupélecVerified email at centralesupelec.fr
Susanna DonatelliComputer Science Professor, Universita' di Torino (Italy)Verified email at di.unito.it
Ivan MuraAssociate Professor at Duke Kunshan UniversityVerified email at dukekunshan.edu.cn
Michael WooldridgeUniversity of OxfordVerified email at cs.ox.ac.uk
Rosita GuidoUniversità della CalabriaVerified email at unical.it
Attila Csikász-NagyPázmány Péter Catholic University, Hungary / King's College London, UKVerified email at itk.ppke.hu
Alida PalmisanoBioinformatics Engineer at National Cancer Institute (NIH/NCI)Verified email at nih.gov
Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Alice MillerProfessor, University of GlasgowVerified email at glasgow.ac.uk
jalel ben othmanUniversité Paris-Saclay, CNRS, CentraleSupélec & Université Sorbonne Paris NordVerified email at centralesupelec.fr
Paola QuagliaDepartment of Engineering and Computer Science, University of Trento, ItalyVerified email at unitn.it
Marco BeccutiUniv. degli studi di TorinoVerified email at di.unito.it
Michele ForlinData Science Manager, Zymergen Inc.Verified email at zymergen.com
Simona BernardiDepartment of Computer Science and System Engineering, University of Zaragoza (Spain)Verified email at unizar.es

Paolo Ballarini

University of Paris Saclay

Verified email at centralesupelec.fr - Homepage

Formal methods performance modelling


Title Sort by citations Sort by year Sort by 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	59	2011
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: 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	42	2015
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	39	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	37	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	35	2009
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
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	28	2000
Modeling tools for detecting DoS attacks in WSNs P Ballarini, L Mokdad, Q Monnet Security and Communication Networks 6 (4), 420-436, 2013	26	2013
Efficient parallel statistical model checking of biochemical networks P Ballarini, M Forlin, T Mazza, D Prandi arXiv preprint arXiv:0912.2551, 2009	21	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	20	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	18	2011
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	17	2009
BlenX4Bio – BlenX for Biologists C Priami, P Ballarini, P Quaglia International Conference on Computational Methods in Systems Biology, 26-51, 2009	16	2009
Uncertain agent verification through probabilistic model-checking P Ballarini, M Fisher, M Wooldridge Safety and Security in Multiagent Systems, 162-174, 2009	16	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	13	2016
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	13	2014
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	9	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	9	2006
Expressing and computing passage time measures of GSPN models with HASL EG Amparore, P Ballarini, M Beccuti, S Donatelli, G Franceschinis International Conference on Applications and Theory of Petri Nets and …, 2013	8	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors