Accéder directement au contenu

Paolo Ballarini

2
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

931028
Image document

Analysis of Timed Properties Using the Jump-Diffusion Approximation

Paolo Ballarini , Marco Beccuti , Enrico Bibbona , Andras Horvath , Roberta Sirovich
European Workshop on Performance Engineering, Sep 2017, Berlin, Germany
Communication dans un congrès hal-01817472v1

Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes

Paolo Ballarini , Nathalie Bertrand , Andras Horvath , Marco Paolieri , Enrico Vicario
QEST - 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