- 2
- 1
Paolo Ballarini
3
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
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
|
HASL: A new approach for performance evaluation and model checking from concepts to experimentationPerformance Evaluation, 2015, 90, pp.53-77. ⟨10.1016/j.peva.2015.04.003⟩
Article dans une revue
hal-01221815v1
|
|
Applications of an expressive statistical model checking approach to the analysis of genetic circuitsTheoretical Computer Science, 2015, 599, p.4-33. ⟨10.1016/j.tcs.2015.05.018⟩
Article dans une revue
hal-01250521v2
|
HASL: An Expressive Language for Statistical Verification of Stochastic ModelsVALUETOOLS’11, 2011, Cachan, France
Communication dans un congrès
hal-01113442v1
|