Paolo Ballarini
![](https://ms-homepage-p-photo-public-r.s3.gra.io.cloud.ovh.net/6d6ade49-e425-44d9-b2f5-8b60c17ecde4.jpg)
paolo.ballarini [at] centralesupelec.fr
Publications :
- Communication dans un congrès - 17 documents
- Paolo Ballarini, Mahmoud Bentriou, Paul-Henry P.-H. Cournède. A Formal Approach for Tuning Stochastic Oscillators, 2023-09-13. (https://hal.science/hal-04570564)
- Paolo Ballarini, András Horváth. Performance Analysis of Production Lines Through Statistical Model Checking, 2021-12-09. (https://centralesupelec.hal.science/hal-04148897)
- Paolo Ballarini, Andras Horvath. Formal analysis of production line systems by probabilistic model checking tools, 2021-09-07. (https://centralesupelec.hal.science/hal-04148904)
- Paolo Ballarini, Davide Duma, Andras Horváth, Roberto Aringhieri. Petri Nets Validation of Markovian Models of Emergency Department Arrivals, 2020-06-24. (https://centralesupelec.hal.science/hal-04148920)
- Paolo Ballarini, Benoît Barbot, Nicolas Vasselin. Performance modelling of access control mechanisms for local and vehicular wireless networks, 2019-03-12. (https://hal.science/hal-02131725)
- Paolo Ballarini, Michel Batteux, Leo Chartier, Antoine Rauzy. Analysis of business process specifications with OpenAltarica, 2018-10-01. (https://centralesupelec.hal.science/hal-02194937)
- Paolo Ballarini, Marco Beccuti, Enrico Bibbona, Andras Horvath, Roberta Sirovich, Jeremy Sproston. Analysis of Timed Properties Using the Jump-Diffusion Approximation, 2017-09-07. (https://hal.science/hal-01817472)
- Lynda Mokdad, Jalel Ben-Othman, Paolo Ballarini. Stochastic models for IEEE 802.11p, 2016-06. (https://inria.hal.science/hal-01724310)
- E Gallet, M Manceny, P Le Gall, Paolo Ballarini. An LTL Model Checking Approach for Biological Parameter Inference, 2014-11-03. (https://hal.science/hal-01819841)
- Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny. Formal Analysis of the Wnt/β-catenin through Statistical Model Checking, 2014-10-08. (https://hal.science/hal-01110747)
- Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny. Formal analysis of the Wnt/β-catenin pathway through statistical model checking, 2014-10-08. (https://hal.science/hal-01819866)
- Paolo Ballarini, Nathalie Bertrand, Andras Horvath, Marco Paolieri, Enrico Vicario. Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes, 2013-08-27. (https://hal.science/hal-01852445)
- Paolo Ballarini, Nathalie Bertrand, Andras Horvath, Marco Paolieri, Enrico Vicario. Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes, 2013-08. (https://inria.hal.science/hal-00915026)
- Elvio Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis. Expressing and Computing Passage Time Measures of GSPN Models with HASL, 2013-06-24. (https://hal.science/hal-00848708)
- Paolo Ballarini, Jarno Makela, Andre Ribeiro. Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics, 2012-10-03. (https://hal.science/hal-00832096)
- Paolo Ballarini, Jalel Ben-Othman, Lynda Mokdad. Quantitative Verification of WiMAX Traffic Shaping Solutions, 2012-08-27. (https://hal.u-pec.fr/hal-04041506)
- Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin. HASL: An Expressive Language for Statistical Verification of Stochastic Models, 2011. (https://hal.science/hal-01113442)
- HDR - 1 document
- Paolo Ballarini. Contributions to formal modelling and analysis of stochastic models Mémoire d'habilitation à diriger des recherches, 2023-06-06. (https://hal.science/tel-04335487)
- Article dans une revue - 10 documents
- Mahmoud Bentriou, Paolo Ballarini, Paul-Henry Cournède. Automaton-ABC: A statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models, 2021-11. (https://centralesupelec.hal.science/hal-04148855)
- Paolo Ballarini, Benoît Barbot. Cosmos: Evolution of a Statistical Model Checking Platform, 2020-08-10. (https://hal.science/hal-04030219)
- Quentin Monnet, Lynda Mokdad, Paolo Ballarini, Youcef Hammal, Jalel Ben-Othman. DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes, 2017-09-14. (https://hal.science/hal-01860370)
- Quentin Monnet, Lynda Mokdad, Paolo Ballarini, Youcef Hammal, Jalel Ben Othman. DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes., 2017. (https://inria.hal.science/hal-01724085)
- Konstantinos Koutroumpas, Paolo Ballarini, Irene Votsi, Paul-Henry Cournède. Bayesian parameter estimation for the Wnt pathway: an infinite mixture models approach, 2016-08-29. (https://hal.science/hal-01817488)
- Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini. Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa, 2015-10-30. (https://hal.science/hal-01819818)
- Paolo Ballarini, Marie Duflot. Applications of an expressive statistical model checking approach to the analysis of genetic circuits, 2015-09-27. (https://hal.science/hal-01250521v2)
- Paolo Ballarini, Benoît Barbot, Marie Duflot, Serge Haddad, Nihal Pekergin. HASL: A new approach for performance evaluation and model checking from concepts to experimentation, 2015-08. (https://inria.hal.science/hal-01221815)
- Paolo Ballarini. Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking, 2015-02-24. (https://hal.science/hal-01852397)
- Paolo Ballarini, Lynda Mokdad, Quentin Monnet. Modeling tools for detecting DoS attacks in WSNs, 2013. (https://hal.science/hal-01817483)
- Chapitre d'ouvrage - 1 document
- Mahmoud Bentriou, Paolo Ballarini, Paul-Henry Cournède. Reachability Design Through Approximate Bayesian Computation, 2019-09-17. (https://hal.science/hal-02317539)
- Ouvrage - 1 document
- Rena Bakshi, Paolo Ballarini, Benoit Barbot, Hind Castel-Taleb, Anne Remke. Computer performance engineering : 15th European workshop, EPEW 2018, Paris, France, October 29-30, 2018, proceedings, 2018. (https://hal.science/hal-02014749)