| Residential demand management using individualized demand aware price policies B Hayes, I Melatti, T Mancini, M Prodanovic, E Tronci IEEE Transactions on Smart Grid 8 (3), 1284-1294, 2016 | 81 | 2016 |
| Bounded Probabilistic Model Checking with the Murφ Verifier G Della Penna, B Intrigila, I Melatti, E Tronci, MV Zilli International Conference on Formal Methods in Computer-Aided Design, 214-229, 2004 | 75 | 2004 |
| 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 | 68 | 2013 |
| Exploiting transition locality in automatic verification of finite-state concurrent systems G Della Penna, B Intrigila, I Melatti, E Tronci, M Venturini Zilli International Journal on Software Tools for Technology Transfer 6, 320-341, 2004 | 62 | 2004 |
| 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 | 55 | 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 | 46 | 2015 |
| Finite Horizon Analysis of Markov Chains with the Murphi Verifier G DELLA PENNA, B INTRIGILA, I MELATTI, E TRONCI, ... INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 397-409, 2006 | 45* | 2006 |
| Demand-aware price policy synthesis and verification services for smart grids T Mancini, F Mari, I Melatti, I Salvo, E Tronci, JK Gruber, B Hayes, ... 2014 IEEE International Conference on Smart Grid Communications …, 2014 | 40 | 2014 |
| Parallel and distributed model checking in eddy I Melatti, R Palmer, G Sawaya, Y Yang, RM Kirby, G Gopalakrishnan International Journal on Software Tools for Technology Transfer 11, 13-25, 2009 | 40 | 2009 |
| 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 | 39 | 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 | 36 | 2018 |
| 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 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 | 36 | 2014 |
| User flexibility aware price policy synthesis for smart grids T Mancini, F Mari, I Melatti, I Salvo, E Tronci, JK Gruber, B Hayes, ... 2015 Euromicro Conference on Digital System Design, 478-485, 2015 | 35 | 2015 |
| Parallel statistical model checking for safety verification in smart grids T Mancini, F Mari, I Melatti, I Salvo, E Tronci, JK Gruber, B Hayes, ... 2018 IEEE International Conference on Communications, Control, and Computing …, 2018 | 34 | 2018 |
| 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 | 33 | 2016 |
| Model-based synthesis of control software from system-level formal specifications F Mari, I Melatti, I Salvo, E Tronci ACM Transactions on Software Engineering and Methodology (TOSEM) 23 (1), 1-42, 2014 | 32 | 2014 |
| 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 | 30 | 2017 |
| Synthesis of quantized feedback control software for discrete time linear hybrid systems F Mari, I Melatti, I Salvo, E Tronci International Conference on Computer Aided Verification, 180-195, 2010 | 30 | 2010 |
| Automatic verification of a turbogas control system with the murφ verifier G Della Penna, B Intrigila, I Melatti, M Minichino, E Ciancamerla, ... Hybrid Systems: Computation and Control: 6th International Workshop, HSCC …, 2003 | 30 | 2003 |
