| System level formal verification via model checking driven simulation T Mancini, F Mari, A Massini, I Melatti, F Merli, E Tronci Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 72 | 2013 |
| Push & pull: autonomous deployment of mobile sensors for a complete coverage N Bartolini, T Calamoneri, EG Fusco, A Massini, S Silvestri Wireless Networks 16, 607-625, 2010 | 71 | 2010 |
| SyLVaaS: System level formal verification as a service T Mancini, F Mari, A Massini, I Melatti, E Tronci Fundamenta Informaticae 149 (1-2), 101-132, 2016 | 57 | 2016 |
| Computing biological model parameters by parallel statistical model checking T Mancini, E Tronci, I Salvo, F Mari, A Massini, I Melatti International Conference on Bioinformatics and Biomedical Engineering, 542-554, 2015 | 47 | 2015 |
| Snap and spread: A self-deployment algorithm for mobile sensor networks N Bartolini, T Calamoneri, EG Fusco, A Massini, S Silvestri Distributed Computing in Sensor Systems: 4th IEEE International Conference …, 2008 | 47 | 2008 |
| System level formal verification via distributed multi-core hardware in the loop simulation T Mancini, F Mari, A Massini, I Melatti, E Tronci 2014 22nd Euromicro International Conference on Parallel, Distributed, and …, 2014 | 40 | 2014 |
| On fundamental bounds on failure identifiability by boolean network tomography N Bartolini, T He, V Arrigoni, A Massini, F Trombetti, H Khamfroush IEEE/ACM Transactions on Networking 28 (2), 588-601, 2020 | 38 | 2020 |
| Anytime system level verification via random exhaustive hardware in the loop simulation T Mancini, F Mari, A Massini, I Melatti, E Tronci 2014 17th Euromicro Conference on Digital System Design, 236-245, 2014 | 38 | 2014 |
| Computing personalised treatments through in silico clinical trials. A case study on downregulation in assisted reproduction T Mancini, F Mari, A Massini, I Melatti, I Salvo, S Sinisi, E Tronci, R Ehrig, ... Intelligenza Artificiale, 1-16, 2018 | 37 | 2018 |
| Autonomous deployment of self-organizing mobile sensors for a complete coverage N Bartolini, T Calamoneri, EG Fusco, A Massini, S Silvestri international workshop on self-organizing systems, 194-205, 2008 | 37 | 2008 |
| Patient-specific models from inter-patient biological models and clinical records E Tronci, T Mancini, I Salvo, S Sinisi, F Mari, I Melatti, A Massini, F Davi, ... 2014 Formal Methods in Computer-Aided Design (FMCAD), 207-214, 2014 | 36 | 2014 |
| Anytime system level verification via parallel random exhaustive hardware in the loop simulation T Mancini, F Mari, A Massini, I Melatti, E Tronci Microprocessors and Microsystems 41, 12-28, 2016 | 35 | 2016 |
| On minimising the maximum expected verification time T Mancini, F Mari, A Massini, I Melatti, I Salvo, E Tronci Information Processing Letters 122, 8-16, 2017 | 32 | 2017 |
| All-to-all personalized communication on multistage interconnection networks A Massini Discrete applied mathematics 128 (2-3), 435-446, 2003 | 27 | 2003 |
| High efficiency redundant binary number representations for parallel arithmetic on optical computers GA De Biase, A Massini Optics & Laser Technology 26 (4), 219-224, 1994 | 22 | 1994 |
| Antibandwidth of complete k-ary trees T Calamoneri, A Massini, I Vrt'o Electronic Notes in Discrete Mathematics 24, 259-266, 2006 | 21 | 2006 |
| Monte carlo based statistical model checking of cyber-physical systems: A review A Pappagallo, A Massini, E Tronci Information 11 (12), 588, 2020 | 20 | 2020 |
| On adaptive density deployment to mitigate the sink-hole problem in mobile sensor networks N Bartolini, T Calamoneri, A Massini, S Silvestri Mobile Networks and Applications 16, 134-145, 2011 | 20 | 2011 |
| Redundant binary number representation for an inherently parallel arithmetic on optical computers GA De Biase, A Massini Applied optics 32 (5), 659-664, 1993 | 15 | 1993 |
| Failure localization through progressive network tomography V Arrigoni, N Bartolini, A Massini, F Trombetti IEEE INFOCOM 2021-IEEE Conference on Computer Communications, 1-10, 2021 | 13 | 2021 |
Enrico TronciSapienza University of RomeAdresse e-mail validée de di.uniroma1.it
