Accéder directement au contenu

Paolo Ballarini

5
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

"lynda-mokdad"
Image document

DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes

 Quentin Monnet , Lynda Mokdad , Paolo Ballarini , Youcef Hammal , Jalel Ben-Othman
Concurrency and Computation: Practice and Experience, 2017, 29 (23), ⟨10.1002/cpe.4266⟩
Article dans une revue hal-01860370v1

DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes.

 Quentin Monnet , Lynda Mokdad , Paolo Ballarini , Youcef Hammal , Jalel Ben Othman
Concurrency and Computation: Practice and Experience, In press
Article dans une revue hal-01724085v1
Image document

Modeling tools for detecting DoS attacks in WSNs

 Paolo Ballarini , Lynda Mokdad , Quentin Monnet
Security and communication networks, 2013, 6 (4), pp.420-436. ⟨10.1002/sec⟩
Article dans une revue hal-01817483v1

Stochastic models for IEEE 802.11p

 Lynda Mokdad , Jalel Ben-Othman , Paolo Ballarini
IEEE Symposium on Computers and Communications (ISCC'16), Jun 2016, Messina, Italy. ⟨10.1109/ISCC.2016.7543717⟩
Communication dans un congrès hal-01724310v1

Quantitative Verification of WiMAX Traffic Shaping Solutions

 Paolo Ballarini , Jalel Ben-Othman , Lynda Mokdad
7th international symposium on Intelligent Systems Techniques for Ad hoc and Wireless Sensor Networks, Aug 2012, Niagara Falls, Canada. pp.1026-1031, ⟨10.1016/j.procs.2012.06.142⟩
Communication dans un congrès hal-04041506v1