Skip to Main content

Researcher identifiers


Export Publications

Export the displayed publications:
Number of documents


Paolo Ballarini

I am an assitant professor at Lab. MICS of CentraleSupélec am an assistant professor (maître de conférence) at the Laboratory MAS (Applied Mathematics 

and Systems) of  CentraleSupeléc (formerly Ecole Centrale Paris). My principle research interests are in the area of formal methods for modelling and verification of  systems characterised by stochasticity,  concurrency and parallelism

Journal articles8 documents

  • Quentin Monnet, Lynda Mokdad, Paolo Ballarini, Youcef Hammal, Jalel Ben Othman. DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes.. Concurrency and Computation: Practice and Experience, Wiley, In press. ⟨hal-01724085⟩
  • Quentin Monnet, Lynda Mokdad, Paolo Ballarini, Youcef Hammal, Jalel Ben-Othman. DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes. Concurrency and Computation: Practice and Experience, Wiley, 2017, 29 (23), ⟨10.1002/cpe.4266⟩. ⟨hal-01860370⟩
  • Konstantinos Koutroumpas, Paolo Ballarini, Irene Votsi, Paul-Henry Cournède. Bayesian parameter estimation for the Wnt pathway: an infinite mixture models approach. Bioinformatics, Oxford University Press (OUP), 2016, 32 (17), pp.i781 - i789. ⟨10.1093/bioinformatics/btw471⟩. ⟨hal-01817488⟩
  • Paolo Ballarini, Benoît Barbot, Marie Duflot, Serge Haddad, Nihal Pekergin. HASL: A new approach for performance evaluation and model checking from concepts to experimentation. Performance Evaluation, Elsevier, 2015, 90, pp.53-77. ⟨10.1016/j.peva.2015.04.003⟩. ⟨hal-01221815⟩
  • Paolo Ballarini, Marie Duflot. Applications of an expressive statistical model checking approach to the analysis of genetic circuits. Theoretical Computer Science, Elsevier, 2015, 599, p.4-33. ⟨10.1016/j.tcs.2015.05.018⟩. ⟨hal-01250521v2⟩
  • Paolo Ballarini. Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2015, ⟨10.1007/s10009-015-0370-5⟩. ⟨hal-01852397⟩
  • Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini. Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2015, 34 (5), pp.575 - 600. ⟨10.3166/TSI.34.575-600⟩. ⟨hal-01819818⟩
  • Paolo Ballarini, Lynda Mokdad, Quentin Monnet. Modeling tools for detecting DoS attacks in WSNs. Security and communication networks, John Wiley & Sons, Ltd, 2013, 6 (4), pp.420-436. ⟨10.1002/sec⟩. ⟨hal-01817483⟩

Conference papers11 documents

  • Paolo Ballarini, Benoît Barbot, Nicolas Vasselin. Performance modelling of access control mechanisms for local and vehicular wireless networks. 12th EAI International Conference on Pervasive Computing Technologies for Healthcare, Mar 2019, Palma, Spain. pp.111-118. ⟨hal-02131725⟩
  • Paolo Ballarini, Michel Batteux, Leo Chartier, Antoine Rauzy. Analysis of business process specifications with OpenAltarica. 2018 IEEE International Systems Engineering Symposium (ISSE), Oct 2018, Rome, Italy. ⟨10.1109/syseng.2018.8544458⟩. ⟨hal-02194937⟩
  • Paolo Ballarini, Marco Beccuti, Enrico Bibbona, Andras Horvath, Roberta Sirovich, et al.. Analysis of Timed Properties Using the Jump-Diffusion Approximation. European Workshop on Performance Engineering, Sep 2017, Berlin, Germany. ⟨hal-01817472⟩
  • Lynda Mokdad, Jalel Ben-Othman, Paolo Ballarini. Stochastic models for IEEE 802.11p. IEEE Symposium on Computers and Communications (ISCC'16), Jun 2016, Messina, Italy. ⟨10.1109/ISCC.2016.7543717⟩. ⟨hal-01724310⟩
  • E Gallet, M Manceny, P Le Gall, Paolo Ballarini. An LTL Model Checking Approach for Biological Parameter Inference. International Conference on Formal Engineering Methods, Nov 2014, Luxembourg, Luxembourg. ⟨hal-01819841⟩
  • Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny. Formal analysis of the Wnt/β-catenin pathway through statistical model checking. International Symposium On Leveraging Applications of Formal Methods, Verification and Validation , Oct 2014, Corfu, Greece. ⟨hal-01819866⟩
  • Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny. Formal Analysis of the Wnt/β-catenin through Statistical Model Checking. 6th International Symposium, ISoLA 2014, Tiziana Margaria, Bernhard Steffen, Oct 2014, Corfu, Greece. ⟨hal-01110747⟩
  • Paolo Ballarini, Nathalie Bertrand, Andras Horvath, Marco Paolieri, Enrico Vicario. Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes. 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⟩. ⟨hal-00915026⟩
  • Elvio Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis. Expressing and Computing Passage Time Measures of GSPN Models with HASL. Application and Theory of Petri Nets and Concurrency, Jun 2013, Milan, Italy. ⟨10.1007/978-3-642-38697-8_7⟩. ⟨hal-00848708⟩
  • Paolo Ballarini, Jarno Makela, Andre Ribeiro. Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics. Computational Methods in Systems Biology, Oct 2012, United Kingdom. pp.29-48. ⟨hal-00832096⟩
  • Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin. HASL: An Expressive Language for Statistical Verification of Stochastic Models. VALUETOOLS’11, 2011, Cachan, France. ⟨hal-01113442⟩

Book sections1 document

Directions of work or proceedings1 document

  • Rena Bakshi, Paolo Ballarini, Benoit Barbot, Hind Castel-Taleb, Anne Remke. Computer performance engineering : 15th European workshop, EPEW 2018, Paris, France, October 29-30, 2018, proceedings. Springer, pp.265, 2018, 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⟩. ⟨hal-02014749⟩