Paolo Ballarini

35
Documents

Présentation

Publications

12
11
3
3
2
1
1
1
1
6
4
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
7
7
5
4
4
4
4
3
3
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
2
2
1
1
1
1
1
1
3
2
2
3
2
2
2
3
2
4
3
4
2
1
13
11
9
1

Publications

Deposit thumbnail

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

Mahmoud Bentriou , Paolo Ballarini , Paul-Henry Cournède

Theoretical Computer Science, 2021, 893, pp.191-219. ⟨10.1016/j.tcs.2021.09.039⟩

Article dans une revue hal-04148855v1
Deposit thumbnail

Cosmos: Evolution of a Statistical Model Checking Platform

Paolo Ballarini , Benoît Barbot

ACM SIGMETRICS Performance Evaluation Review, 2020, Lecture Notes in Computer Science, 12229 (4), pp.420-439. ⟨10.1145/3543146.3543161⟩

Article dans une revue hal-04030219v1

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

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

Concurrency and Computation: Practice and Experience, In press

Article dans une revue hal-01724085v1
Deposit thumbnail

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

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

Concurrency and Computation: Practice and Experience, 2017, 29 (23), ⟨10.1002/cpe.4266⟩

Article dans une revue hal-01860370v1
Deposit thumbnail

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

Konstantinos Koutroumpas , Paolo Ballarini , Irene Votsi , Paul-Henry Cournède

Bioinformatics, 2016, 32 (17), pp.i781 - i789. ⟨10.1093/bioinformatics/btw471⟩

Article dans une revue hal-01817488v1
Deposit thumbnail

É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

Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015, 34 (5), pp.575 - 600. ⟨10.3166/TSI.34.575-600⟩

Article dans une revue hal-01819818v1
Deposit thumbnail

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

Paolo Ballarini

International Journal on Software Tools for Technology Transfer, 2015, ⟨10.1007/s10009-015-0370-5⟩

Article dans une revue hal-01852397v1
Deposit thumbnail

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

Paolo Ballarini , Marie Duflot

Theoretical Computer Science, 2015, 599, p.4-33. ⟨10.1016/j.tcs.2015.05.018⟩

Article dans une revue hal-01250521v2
Deposit thumbnail

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

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

Performance Evaluation, 2015, 90, pp.53-77. ⟨10.1016/j.peva.2015.04.003⟩

Article dans une revue hal-01221815v1
Deposit thumbnail

Modeling tools for detecting DoS attacks in WSNs

Paolo Ballarini , Lynda Mokdad , Quentin Monnet

Security and communication networks, 2013, 6 (4), pp.420-436. ⟨10.1002/sec⟩

Article dans une revue hal-01817483v1
Deposit thumbnail

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

Abdelhakim Ziani , András Horváth , Paolo Ballarini

21nd European Performance Engineering Workshop (EPEW 2025), Jun 2025, Catania (IT), Italy

Communication dans un congrès hal-05330354v1
Deposit thumbnail

Statistical Bayesian Inference for Stochastic Process Discovery

Pierre Cry , Paolo Ballarini , András Horváth , Pascale Le Gall

International Conference on Quantitative Evaluation of SysTems (QEST), Aug 2025, Aarhus (Danemark), Denmark

Communication dans un congrès hal-05134848v1

A framework for optimisation based stochastic process discovery

Pierre Cry , Paolo Ballarini , András Horváth , Pascale Le Gall

Proceedings of the International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, Sep 2024, Calgary (Alberta), Canada. ⟨10.1007/978-3-031-68416-6_3⟩

Communication dans un congrès hal-04720353v1
Deposit thumbnail

Probabilistic Process Discovery with Stochastic Process Trees

András Horváth , Paolo Ballarini , Pierre Cry

EAI VALUESTOOLS 2024, Dec 2024, Milan, Italy

Communication dans un congrès hal-05021584v1
Deposit thumbnail

A Formal Approach for Tuning Stochastic Oscillators

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

Computational Methods in Systems Biology, Sep 2023, Luxembourg, Luxembourg. pp.1-17, ⟨10.1007/978-3-031-42697-1_1⟩

Communication dans un congrès hal-04570564v1

Formal analysis of production line systems by probabilistic model checking tools

Paolo Ballarini , Andras Horvath

2021 IEEE 26th International Conference on Emerging Technologies and Factory Automation (ETFA), Sep 2021, Vasteras, Sweden. pp.01-08, ⟨10.1109/ETFA45728.2021.9613494⟩

Communication dans un congrès hal-04148904v1

Performance Analysis of Production Lines Through Statistical Model Checking

Paolo Ballarini , András Horváth

European Workshop on Performance Engineering International Conference on Analytical and Stochastic Modeling Techniques and Applications, Dec 2021, Tsukuba, Japan. pp.264-281, ⟨10.1007/978-3-030-91825-5_16⟩

Communication dans un congrès hal-04148897v1

Petri Nets Validation of Markovian Models of Emergency Department Arrivals

Paolo Ballarini , Davide Duma , Andras Horváth , Roberto Aringhieri

Application and Theory of Petri Nets and Concurrenc, Jun 2020, Paris, France. pp.219-238, ⟨10.1007/978-3-030-51831-8_11⟩

Communication dans un congrès hal-04148920v1
Deposit thumbnail

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

Paolo Ballarini , Benoît Barbot , Nicolas Vasselin

12th EAI International Conference on Pervasive Computing Technologies for Healthcare, Mar 2019, Palma, Spain. pp.111-118

Communication dans un congrès hal-02131725v1

Analysis of business process specifications with OpenAltarica

Paolo Ballarini , Michel Batteux , Leo Chartier , Antoine Rauzy

2018 IEEE International Systems Engineering Symposium (ISSE), Oct 2018, Rome, Italy. ⟨10.1109/syseng.2018.8544458⟩

Communication dans un congrès hal-02194937v1
Deposit thumbnail

Analysis of Timed Properties Using the Jump-Diffusion Approximation

Paolo Ballarini , Marco Beccuti , Enrico Bibbona , Andras Horvath , Roberta Sirovich et al.

European Workshop on Performance Engineering, Sep 2017, Berlin, Germany

Communication dans un congrès hal-01817472v1

Stochastic models for IEEE 802.11p

Lynda Mokdad , Jalel Ben-Othman , Paolo Ballarini

IEEE Symposium on Computers and Communications (ISCC'16), Jun 2016, Messina, Italy. ⟨10.1109/ISCC.2016.7543717⟩

Communication dans un congrès hal-01724310v1
Deposit thumbnail

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

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

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation , Oct 2014, Corfu, Greece

Communication dans un congrès hal-01819866v1

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

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

6th International Symposium, ISoLA 2014, Tiziana Margaria, Bernhard Steffen, Oct 2014, Corfu, Greece

Communication dans un congrès hal-01110747v1
Deposit thumbnail

An LTL Model Checking Approach for Biological Parameter Inference

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

International Conference on Formal Engineering Methods, Nov 2014, Luxembourg, Luxembourg

Communication dans un congrès hal-01819841v1
Deposit thumbnail

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

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

QEST - 10th International Conference on Quantitative Evaluation of Systems, Aug 2013, Buenos Aires, Argentina. pp.355-371, ⟨10.1007/978-3-642-40196-1_30⟩

Communication dans un congrès istex hal-00915026v1
Deposit thumbnail

Expressing and Computing Passage Time Measures of GSPN Models with HASL

Elvio Amparore , Paolo Ballarini , Marco Beccuti , Susanna Donatelli , Giuliana Franceschinis

Application and Theory of Petri Nets and Concurrency, Jun 2013, Milan, Italy. ⟨10.1007/978-3-642-38697-8_7⟩

Communication dans un congrès hal-00848708v1
Deposit thumbnail

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

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

10th International Conference on Quantitative Evaluation of Systems (QUEST 2013), Aug 2013, Buenos Aires, Argentina. pp.355-371, ⟨10.1007/978-3-642-40196-1_30⟩

Communication dans un congrès istex hal-01852445v1
Deposit thumbnail

Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics

Paolo Ballarini , Jarno Makela , Andre Ribeiro

Computational Methods in Systems Biology, Oct 2012, United Kingdom. pp.29-48

Communication dans un congrès hal-00832096v1

Quantitative Verification of WiMAX Traffic Shaping Solutions

Paolo Ballarini , Jalel Ben-Othman , Lynda Mokdad

7th international symposium on Intelligent Systems Techniques for Ad hoc and Wireless Sensor Networks, Aug 2012, Niagara Falls, Canada. pp.1026-1031, ⟨10.1016/j.procs.2012.06.142⟩

Communication dans un congrès hal-04041506v1

HASL: An Expressive Language for Statistical Verification of Stochastic Models

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

VALUETOOLS’11, 2011, Cachan, France

Communication dans un congrès hal-01113442v1

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

Rena Bakshi , Paolo Ballarini , Benoit Barbot , Hind Castel-Taleb , Anne Remke

Springer, pp.265, 2018, Part of the Lecture Notes in Computer Science book series (LNCS, volume 11178), Part of the Lecture Notes in Computer Science book series (LNCS, volume 11178), 978-3-030-02226-6. ⟨10.1007/978-3-030-02227-3⟩

Ouvrages hal-02014749v1