- 2
- 1
- 1
Paolo Ballarini
4
Documents
Identifiants chercheurs
- paolo-ballarini
- 0000-0003-2026-2107
- IdRef : 19916794X
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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 2
|
Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosaRevue 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
|
Formal Analysis of the Wnt/β-catenin through Statistical Model Checking6th 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 InferenceInternational Conference on Formal Engineering Methods, Nov 2014, Luxembourg, Luxembourg
Communication dans un congrès
hal-01819841v1
|
|
Formal analysis of the Wnt/β-catenin pathway through statistical model checkingInternational Symposium On Leveraging Applications of Formal Methods, Verification and Validation , Oct 2014, Corfu, Greece
Communication dans un congrès
hal-01819866v1
|