Accéder directement au contenu

Paolo Ballarini

3
Documents
Identifiants chercheurs

Présentation

I am an assitant professor at Lab. MICS of CentraleSupélec am an assistant professor (maître de conférence) at the Laboratory [MAS](http://www.mas.ecp.fr/) (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

Publications

940234
Image document

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

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