- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
|
Cosmos: Evolution of a Statistical Model Checking PlatformACM SIGMETRICS Performance Evaluation Review, 2020, Lecture Notes in Computer Science, 12229 (4), pp.420-439. ⟨10.1145/3543146.3543161⟩
Article dans une revue
hal-04030219v1
|
|
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
|
|
Performance modelling of access control mechanisms for local and vehicular wireless networks12th EAI International Conference on Pervasive Computing Technologies for Healthcare, Mar 2019, Palma, Spain. pp.111-118
Communication dans un congrès
hal-02131725v1
|
Computer performance engineering : 15th European workshop, EPEW 2018, Paris, France, October 29-30, 2018, proceedingsSpringer, pp.265, 2018, Part of the Lecture Notes in Computer Science book series (LNCS, volume 11178), Part of the Lecture Notes in Computer Science book series (LNCS, volume 11178), 978-3-030-02226-6. ⟨10.1007/978-3-030-02227-3⟩
Ouvrages
hal-02014749v1
|