- 1
Paolo Ballarini
1
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
Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State ClassesQEST - 10th International Conference on Quantitative Evaluation of Systems, Aug 2013, Buenos Aires, Argentina. pp.355-371, ⟨10.1007/978-3-642-40196-1_30⟩
Communication dans un congrès
hal-00915026v1
|