Paolo Ballarini

Laboratoire Mathématiques et Informatique pour la Complexité et les Systèmes

paolo.ballarini [at] centralesupelec.fr

En savoir plus sur Paolo Ballarini

Publications :

  • 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)
  • Communication dans un congrès - 15 documents
    • 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 pathway through statistical model checking, 2014-10-08. (https://hal.science/hal-01819866)
    • 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, 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)
  • 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)