Access content directly

Paolo Ballarini

Researcher identifiers


I am an assitant professor at Lab. MICS of CentraleSupélec am an assistant professor (maître de conférence) at the Laboratory [MAS]( (Applied Mathematics and Systems) of CentraleSupeléc (formerly Ecole Centrale Paris). My principle research interests are in the area of formal methods for modelling and verification of systems characterised by stochasticity, concurrency and parallelism


Automaton-ABC: A statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models

Mahmoud Bentriou , Paolo Ballarini , Paul-Henry Cournède
Theoretical Computer Science, 2021, 893, pp.191-219. ⟨10.1016/j.tcs.2021.09.039⟩
Journal articles hal-04148855v1
Image document

Cosmos: Evolution of a Statistical Model Checking Platform

Paolo Ballarini , Benoît Barbot
ACM SIGMETRICS Performance Evaluation Review, 2020, Lecture Notes in Computer Science, 12229 (4), pp.420-439. ⟨10.1145/3543146.3543161⟩
Journal articles hal-04030219v1
Image document

DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes

Quentin Monnet , Lynda Mokdad , Paolo Ballarini , Youcef Hammal , Jalel Ben-Othman
Concurrency and Computation: Practice and Experience, 2017, 29 (23), ⟨10.1002/cpe.4266⟩
Journal articles hal-01860370v1

DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes.

Quentin Monnet , Lynda Mokdad , Paolo Ballarini , Youcef Hammal , Jalel Ben Othman
Concurrency and Computation: Practice and Experience, inPress
Journal articles hal-01724085v1
Image document

Bayesian parameter estimation for the Wnt pathway: an infinite mixture models approach

Konstantinos Koutroumpas , Paolo Ballarini , Irene Votsi , Paul-Henry Cournède
Bioinformatics, 2016, 32 (17), pp.i781 - i789. ⟨10.1093/bioinformatics/btw471⟩
Journal articles hal-01817488v1
Image document

Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa

Emmanuelle Gallet , Matthieu Manceny , Pascale Le Gall , Paolo Ballarini
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015, 34 (5), pp.575 - 600. ⟨10.3166/TSI.34.575-600⟩
Journal articles hal-01819818v1
Image document

HASL: A new approach for performance evaluation and model checking from concepts to experimentation

Paolo Ballarini , Benoît Barbot , Marie Duflot , Serge Haddad , Nihal Pekergin
Performance Evaluation, 2015, 90, pp.53-77. ⟨10.1016/j.peva.2015.04.003⟩
Journal articles hal-01221815v1
Image document

Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking

Paolo Ballarini
International Journal on Software Tools for Technology Transfer, 2015, ⟨10.1007/s10009-015-0370-5⟩
Journal articles hal-01852397v1
Image document

Applications of an expressive statistical model checking approach to the analysis of genetic circuits

Paolo Ballarini , Marie Duflot
Theoretical Computer Science, 2015, 599, p.4-33. ⟨10.1016/j.tcs.2015.05.018⟩
Journal articles hal-01250521v2
Image document

Modeling tools for detecting DoS attacks in WSNs

Paolo Ballarini , Lynda Mokdad , Quentin Monnet
Security and communication networks, 2013, 6 (4), pp.420-436. ⟨10.1002/sec⟩
Journal articles hal-01817483v1

Formal analysis of production line systems by probabilistic model checking tools

Paolo Ballarini , Andras Horvath
2021 IEEE 26th International Conference on Emerging Technologies and Factory Automation (ETFA), Sep 2021, Vasteras, Sweden. pp.01-08, ⟨10.1109/ETFA45728.2021.9613494⟩
Conference papers hal-04148904v1

Performance Analysis of Production Lines Through Statistical Model Checking

Paolo Ballarini , András Horváth
European Workshop on Performance Engineering International Conference on Analytical and Stochastic Modeling Techniques and Applications, Dec 2021, Tsukuba, Japan. pp.264-281, ⟨10.1007/978-3-030-91825-5_16⟩
Conference papers hal-04148897v1

Petri Nets Validation of Markovian Models of Emergency Department Arrivals

Paolo Ballarini , Davide Duma , Andras Horváth , Roberto Aringhieri
Application and Theory of Petri Nets and Concurrenc, Jun 2020, Paris, France. pp.219-238, ⟨10.1007/978-3-030-51831-8_11⟩
Conference papers hal-04148920v1
Image document

Performance modelling of access control mechanisms for local and vehicular wireless networks

Paolo Ballarini , Benoît Barbot , Nicolas Vasselin
12th EAI International Conference on Pervasive Computing Technologies for Healthcare, Mar 2019, Palma, Spain. pp.111-118
Conference papers hal-02131725v1

Analysis of business process specifications with OpenAltarica

Paolo Ballarini , Michel Batteux , Leo Chartier , Antoine Rauzy
2018 IEEE International Systems Engineering Symposium (ISSE), Oct 2018, Rome, Italy. ⟨10.1109/syseng.2018.8544458⟩
Conference papers hal-02194937v1
Image document

Analysis of Timed Properties Using the Jump-Diffusion Approximation

Paolo Ballarini , Marco Beccuti , Enrico Bibbona , Andras Horvath , Roberta Sirovich
European Workshop on Performance Engineering, Sep 2017, Berlin, Germany
Conference papers hal-01817472v1

Stochastic models for IEEE 802.11p

Lynda Mokdad , Jalel Ben-Othman , Paolo Ballarini
IEEE Symposium on Computers and Communications (ISCC'16), Jun 2016, Messina, Italy. ⟨10.1109/ISCC.2016.7543717⟩
Conference papers hal-01724310v1

Formal Analysis of the Wnt/β-catenin through Statistical Model Checking

Paolo Ballarini , Emmanuelle Gallet , Pascale Le Gall , Matthieu Manceny
6th International Symposium, ISoLA 2014, Tiziana Margaria, Bernhard Steffen, Oct 2014, Corfu, Greece
Conference papers hal-01110747v1
Image document

An LTL Model Checking Approach for Biological Parameter Inference

E Gallet , M Manceny , P Le Gall , Paolo Ballarini
International Conference on Formal Engineering Methods, Nov 2014, Luxembourg, Luxembourg
Conference papers hal-01819841v1
Image document

Formal analysis of the Wnt/β-catenin pathway through statistical model checking

Paolo Ballarini , Emmanuelle Gallet , Pascale Le Gall , Matthieu Manceny
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation , Oct 2014, Corfu, Greece
Conference papers hal-01819866v1
Image document

Expressing and Computing Passage Time Measures of GSPN Models with HASL

Elvio Amparore , Paolo Ballarini , Marco Beccuti , Susanna Donatelli , Giuliana Franceschinis
Application and Theory of Petri Nets and Concurrency, Jun 2013, Milan, Italy. ⟨10.1007/978-3-642-38697-8_7⟩
Conference papers hal-00848708v1

Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes

Paolo Ballarini , Nathalie Bertrand , Andras Horvath , Marco Paolieri , Enrico Vicario
QEST - 10th International Conference on Quantitative Evaluation of Systems, Aug 2013, Buenos Aires, Argentina. pp.355-371, ⟨10.1007/978-3-642-40196-1_30⟩
Conference papers hal-00915026v1

Quantitative Verification of WiMAX Traffic Shaping Solutions

Paolo Ballarini , Jalel Ben-Othman , Lynda Mokdad
7th international symposium on Intelligent Systems Techniques for Ad hoc and Wireless Sensor Networks, Aug 2012, Niagara Falls, Canada. pp.1026-1031, ⟨10.1016/j.procs.2012.06.142⟩
Conference papers hal-04041506v1
Image document

Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics

Paolo Ballarini , Jarno Makela , Andre Ribeiro
Computational Methods in Systems Biology, Oct 2012, United Kingdom. pp.29-48
Conference papers hal-00832096v1

HASL: An Expressive Language for Statistical Verification of Stochastic Models

Paolo Ballarini , Hilal Djafri , Marie Duflot , Serge Haddad , Nihal Pekergin
VALUETOOLS’11, 2011, Cachan, France
Conference papers hal-01113442v1

Computer performance engineering : 15th European workshop, EPEW 2018, Paris, France, October 29-30, 2018, proceedings

Rena Bakshi , Paolo Ballarini , Benoit Barbot , Hind Castel-Taleb , Anne Remke
Springer, pp.265, 2018, Part of the Lecture Notes in Computer Science book series (LNCS, volume 11178), Part of the Lecture Notes in Computer Science book series (LNCS, volume 11178), 978-3-030-02226-6. ⟨10.1007/978-3-030-02227-3⟩
Books hal-02014749v1
Image document

Contributions to formal modelling and analysis of stochastic models Mémoire d'habilitation à diriger des recherches

Paolo Ballarini
Computer Science [cs]. CentraleSupélec, Université Paris-Saclay, 2023
Habilitation à diriger des recherches tel-04335487v1