Paolo Ballarini

Laboratoire

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

Publications (36)

Ouvrage 17/11/2025

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

Rena Bakshi , Benoît Barbot , Hind Castel-Taleb , Anne Remke , Paolo Ballarini

Article dans une revue 04/11/2025

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

Marie Duflot , Paolo Ballarini

Article dans une revue 04/11/2025

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

Benoît Barbot , Marie Duflot , Serge Haddad , Nihal Pekergin , Paolo Ballarini

Communication dans un congrès 31/10/2025

Approximating Heavy-Tailed Distributions with a Mixture of Bernstein Phase-Type and Hyperexponential Models

Andras Horvath , Paolo Ballarini

Communication dans un congrès 23/10/2025

Probabilistic Process Discovery with Stochastic Process Trees

Andras Horvath , Paolo Ballarini

Communication dans un congrès 23/10/2025

Probabilistic Process Discovery with Stochastic Process Trees

Andras Horvath , Paolo Ballarini

Communication dans un congrès 16/10/2025

Analysis of Timed Properties Using the Jump-Diffusion Approximation

Marco Beccuti , Enrico Bibbona , Andras Horvath , Roberta Sirovich , Jeremy Sproston , Paolo Ballarini

Communication dans un congrès 12/08/2025

Quantitative Verification of WiMAX Traffic Shaping Solutions

Lynda Mokdad , Paolo Ballarini , Jalel Ben-Othman

Communication dans un congrès 15/07/2025

Statistical Bayesian Inference for Stochastic Process Discovery

Andras Horvath , Paolo Ballarini , Pascale Le Gall

15/05/2025

Statistical process discovery

Andras Horvath , Paolo Ballarini , Pascale Le Gall

Communication dans un congrès 28/03/2025

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

Nathalie Bertrand , Andras Horvath , Marco Paolieri , Enrico Vicario , Paolo Ballarini

Communication dans un congrès 28/03/2025

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

Nathalie Bertrand , Andras Horvath , Marco Paolieri , Enrico Vicario , Paolo Ballarini

Communication dans un congrès 07/03/2025

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

Emmanuelle Gallet , Matthieu Manceny , Paolo Ballarini , Pascale Le Gall

Communication dans un congrès 07/03/2025

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

Emmanuelle Gallet , Matthieu Manceny , Paolo Ballarini , Pascale Le Gall

Article dans une revue 07/03/2025

É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

Communication dans un congrès 26/02/2025

HASL: An Expressive Language for Statistical Verification of Stochastic Models

Hilal Djafri , Marie Duflot , Serge Haddad , Nihal Pekergin , Paolo Ballarini

Article dans une revue 20/02/2025

Cosmos: Evolution of a Statistical Model Checking Platform

Benoît Barbot , Paolo Ballarini

Article dans une revue 20/02/2025

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

Quentin Monnet , Lynda Mokdad , Youcef Hammal , Paolo Ballarini , Jalel Ben-Othman

HDR 20/02/2025

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

Paolo Ballarini

Article dans une revue 27/12/2024

Modeling tools for detecting DoS attacks in WSNs

Lynda Mokdad , Quentin Monnet , Paolo Ballarini

Communication dans un congrès 27/12/2024

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

Benoît Barbot , Nicolas Vasselin , Paolo Ballarini

Article dans une revue 27/12/2024

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

Quentin Monnet , Lynda Mokdad , Youcef Hammal , Jalel Ben Othman , Paolo Ballarini , Jalel Ben-Othman

Communication dans un congrès 27/12/2024

Stochastic models for IEEE 802.11p

Lynda Mokdad , Jalel Ben-Othman , Paolo Ballarini

Communication dans un congrès 11/10/2024

A framework for optimisation based stochastic process discovery

Andras Horvath , Paolo Ballarini , Pascale Le Gall

Article dans une revue 03/09/2024

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

Mahmoud Bentriou , Paolo Ballarini , Paul-Henry Cournede

Communication dans un congrès 16/07/2024

Petri Nets Validation of Markovian Models of Emergency Department Arrivals

Davide Duma , Andras Horvath , Roberto Aringhieri , Paolo Ballarini

Communication dans un congrès 16/07/2024

A Formal Approach for Tuning Stochastic Oscillators

Mahmoud Bentriou , Paul-Henry P.-H. Cournède , Paolo Ballarini , Paul-Henry Cournede

Communication dans un congrès 16/07/2024

Formal analysis of production line systems by probabilistic model checking tools

Andras Horvath , Paolo Ballarini

Communication dans un congrès 16/07/2024

Performance Analysis of Production Lines Through Statistical Model Checking

Andras Horvath , Paolo Ballarini

Communication dans un congrès 12/01/2024

Analysis of business process specifications with OpenAltarica

Michel Batteux , Leo Chartier , Antoine Rauzy , Paolo Ballarini