Documentation
Français (FR)

Anglais (EN)

Paolo Ballarini

28

Documents

Identifiants chercheurs

paolo-ballarini
0000-0003-2026-2107
IdRef : 19916794X

Présentation

Publications

	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, 2017, 29 (23), ⟨10.1002/cpe.4266⟩ Article dans une revue hal-01860370v1
	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, inPress Article dans une revue hal-01724085v1
	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
	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
	É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
	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

	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 Sirovich 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
	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 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 hal-00915026v1
	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
	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
	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

	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

	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