Paolo Ballarini

Publications :

• Communication dans un congrès - 18 documents
• • Pierre Cry, Paolo Ballarini, András Horváth, Pascale Le Gall. A framework for optimisation based stochastic process discovery, 2024-09-09. (https://hal.science/hal-04720353v1)
  • Paolo Ballarini, Mahmoud Bentriou, Paul-Henry P.-H. Cournède. A Formal Approach for Tuning Stochastic Oscillators, 2023-09-13. (https://hal.science/hal-04570564v1)
  • Paolo Ballarini, András Horváth. Performance Analysis of Production Lines Through Statistical Model Checking, 2021-12-09. (https://centralesupelec.hal.science/hal-04148897v1)
  • Paolo Ballarini, Andras Horvath. Formal analysis of production line systems by probabilistic model checking tools, 2021-09-07. (https://centralesupelec.hal.science/hal-04148904v1)
  • 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-04148920v1)
  • 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-02131725v1)
  • Paolo Ballarini, Michel Batteux, Leo Chartier, Antoine Rauzy. Analysis of business process specifications with OpenAltarica, 2018-10-01. (https://centralesupelec.hal.science/hal-02194937v1)
  • 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-01817472v1)
  • Lynda Mokdad, Jalel Ben-Othman, Paolo Ballarini. Stochastic models for IEEE 802.11p, 2016-06. (https://inria.hal.science/hal-01724310v1)
  • 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-01819841v1)
  • 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-01110747v1)
  • 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-01819866v1)
  • 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-01852445v1)
  • 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-00915026v1)
  • 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-00848708v1)
  • Paolo Ballarini, Jarno Makela, Andre Ribeiro. Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics, 2012-10-03. (https://hal.science/hal-00832096v1)
  • Paolo Ballarini, Jalel Ben-Othman, Lynda Mokdad. Quantitative Verification of WiMAX Traffic Shaping Solutions, 2012-08-27. (https://hal.u-pec.fr/hal-04041506v1)
  • 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-01113442v1)
• 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-04335487v1)
• 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-04148855v1)
  • Paolo Ballarini, Benoît Barbot. Cosmos: Evolution of a Statistical Model Checking Platform, 2020-08-10. (https://hal.science/hal-04030219v1)
  • 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-01860370v1)
  • 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-01724085v1)
  • 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-01817488v1)
  • 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-01819818v1)
  • 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-01221815v1)
  • Paolo Ballarini. Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking, 2015-02-24. (https://hal.science/hal-01852397v1)
  • Paolo Ballarini, Lynda Mokdad, Quentin Monnet. Modeling tools for detecting DoS attacks in WSNs, 2013. (https://hal.science/hal-01817483v1)
• 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-02317539v1)
• 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-02014749v1)