Identifiants chercheur

Nombre de documents

21

Paolo Ballarini


Article dans une revue11 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, 2017. 〈hal-01860370〉
  • 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〉
  • 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. 〈https://academic.oup.com/bioinformatics/article/32/17/i781/2450800/Bayesian-parameter-estimation-for-the-Wnt-pathway〉. 〈10.1093/bioinformatics/btw471〉. 〈hal-01817488〉
  • 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. 〈hal-01852397〉
  • 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-01817517〉
  • 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〉
  • 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, Marie Duflot. Applications of an expressive statistical model checking approach to the analysis of genetic circuits. Theoretical Computer Science, Elsevier, 2015, 599, pp.30. 〈10.1016/j.tcs.2015.05.018〉. 〈hal-01250521〉
  • Paolo Ballarini, Marie Duflot. Applications of an expressive statistical model checking approach to the analysis of genetic circuits. Theoretical Computer Science, Elsevier, 2015. 〈hal-01852430〉
  • 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〉
  • Paolo Ballarini, Mokdad Lynda, Monnet Quentin. 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.630〉. 〈hal-00832082〉

Communication dans un congrès10 documents

  • 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. 〈hal-01724310〉
  • Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini. An LTL Model Checking Approach for Biological Parameter Inference. Stephan Merz, Jun Pang. 16th International Conference on Formal Engineering Methods, Nov 2014, Luxembourg, Luxembourg. 2014, Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, November 3-5, 2014. Proceedings. 〈hal-01110746〉
  • Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny. Formal Analysis of the Wnt/β-catenin through Statistical Model Checking. Tiziana Margaria, Bernhard Steffen. 6th International Symposium, ISoLA 2014, Oct 2014, Corfu, Greece. 2014, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. 〈hal-01110747〉
  • 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〉
  • 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〉
  • Elvio Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis. Expressing and Computing Passage Time Measures of GSPN Models with HASL. Springer-Verlag Heidelberg. Application and Theory of Petri Nets and Concurrency, Jun 2013, Milan, Italy. Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science. 〈10.1007/978-3-642-38697-8_7〉. 〈hal-00848708〉
  • 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. Springer, 8054, pp.355-371, 2013, LNCS. 〈10.1007/978-3-642-40196-1_30〉. 〈hal-00915026〉
  • 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, 2012. 〈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. Proceedings of VALUETOOLS’11. 〈hal-01113442〉