Paolo Ballarini

Laboratoire

MICS

Site WEB

Publications (38)

Communication dans un congrès 23/10/2025

Probabilistic Process Discovery with Stochastic Process Trees

Andras Horvath , Paolo Ballarini

Communication dans un congrès 20/10/2025

Stochastic Process Trees: A Formal Framework for Stochastic Process Discovery

Andras Horvath , Paolo Ballarini

Communication dans un congrès 26/08/2025

Statistical Bayesian Inference for Stochastic Process Discovery

Andras Horvath , Paolo Ballarini , Pascale Le Gall

Communication dans un congrès 26/06/2025

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

Andras Horvath , Paolo Ballarini

Communication dans un congrès 25/06/2025

Markov Chain Decoders Overcome the Heavy-Tail Limitations of Lipschitz Generative Models

Andras Horvath , Paolo Ballarini

01/04/2025

Statistical process discovery

Andras Horvath , Paolo Ballarini , Pascale Le Gall

Communication dans un congrès 12/12/2024

Probabilistic Process Discovery with Stochastic Process Trees

Andras Horvath , Paolo Ballarini

Communication dans un congrès 09/09/2024

A framework for optimisation based stochastic process discovery

Andras Horvath , Paolo Ballarini , Pascale Le Gall

Communication dans un congrès 09/09/2023

A Formal Approach for Tuning Stochastic Oscillators

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

HDR 06/06/2023

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

Paolo Ballarini

Communication dans un congrès 27/11/2021

Performance Analysis of Production Lines Through Statistical Model Checking

Andras Horvath , Paolo Ballarini

Article dans une revue 01/11/2021

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 07/09/2021

Formal analysis of production line systems by probabilistic model checking tools

Andras Horvath , Paolo Ballarini

Article dans une revue 10/08/2020

Cosmos: Evolution of a Statistical Model Checking Platform

Benoît Barbot , Paolo Ballarini

Communication dans un congrès 30/06/2020

Petri Nets Validation of Markovian Models of Emergency Department Arrivals

Davide Duma , Andras Horvath , Roberto Aringhieri , Paolo Ballarini

Chapitre d'ouvrage 17/09/2019

Reachability Design Through Approximate Bayesian Computation

Mahmoud Bentriou , Paolo Ballarini , Paul-Henry Cournede

Communication dans un congrès 12/03/2019

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

Benoît Barbot , Nicolas Vasselin , Paolo Ballarini

Communication dans un congrès 01/10/2018

Analysis of business process specifications with OpenAltarica

Michel Batteux , Leo Chartier , Antoine Rauzy , Paolo Ballarini

Ouvrage 01/01/2018

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 14/09/2017

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

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

Communication dans un congrès 07/09/2017

Analysis of Timed Properties Using the Jump-Diffusion Approximation

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

Article dans une revue 01/01/2017

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

Article dans une revue 29/08/2016

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

Konstantinos Koutroumpas , Irene Votsi , Paolo Ballarini , Paul-Henry Cournede

Communication dans un congrès 01/06/2016

Stochastic models for IEEE 802.11p

Lynda Mokdad , Jalel Ben-Othman , Paolo Ballarini

Article dans une revue 30/10/2015

É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

Article dans une revue 27/09/2015

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

Marie Duflot , Paolo Ballarini

Article dans une revue 01/08/2015

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

Article dans une revue 24/02/2015

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

Paolo Ballarini

Communication dans un congrès 03/11/2014

An LTL Model Checking Approach for Biological Parameter Inference

E Gallet , M Manceny , P Le Gall , Pascale Le Gall , Paolo Ballarini

Communication dans un congrès 08/10/2014

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

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