Paolo Ballarini

Identifiants chercheurs

IdHAL :

paolo-ballarini

ORCID :

0000-0002-4652-3953

IdRef :

19916794X

Présentation

Publications

Article dans une revue (10)

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
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
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
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
É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
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
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
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
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

Communication dans un congrès (21)

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
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
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
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
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
Analysis of Timed Properties Using the Jump-Diffusion Approximation Paolo Ballarini,Marco Beccuti,Enrico Bibbona,Andras Horvath,Roberta Sirovichet 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
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
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
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
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
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
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

Ouvrages (1)

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

Chapitre d'ouvrage (1)

Reachability Design Through Approximate Bayesian Computation Mahmoud Bentriou,Paolo Ballarini,Paul-Henry Cournède Computational Methods in Systems Biology, pp.207-223, 2019, ⟨10.1007/978-3-030-31304-3_11⟩ Chapitre d'ouvrage hal-02317539v1

Pré-publication, Document de travail (1)

Statistical process discovery Pierre Cry,Paolo Ballarini,András Horváth,Pascale Le Gall 2025 Pré-publication, Document de travail (working paper) hal-05051965v1

HDR (1)

Contributions to formal modelling and analysis of stochastic models Mémoire d'habilitation à diriger des recherches Paolo Ballarini Computer Science [cs]. CentraleSupélec, Université Paris-Saclay, 2023 HDR tel-04335487v1