| M3: Mobility types for mobile processes in mobile ambients M Coppo, M Dezani-Ciancaglini, E Giovannetti, I Salvo Electronic Notes in Theoretical Computer Science 78, 144-177, 2003 | 54 | 2003 |
| 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 |
| Security types for mobile safe ambients M Dezani-Ciancaglini, I Salvo Annual Asian Computing Science Conference, 215-236, 2000 | 46 | 2000 |
| 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 |
| 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 |
| 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 | 33 | 2018 |
| 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 |
| Linearizing discrete-time hybrid systems V Alimguzhin, F Mari, I Melatti, I Salvo, E Tronci IEEE Transactions on Automatic Control 62 (10), 5357-5364, 2017 | 28 | 2017 |
| Some computational properties of intersection types A Bucciarelli, S De Lorenzis, A Piperno, I Salvo Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999 | 22 | 1999 |
| Automatic control software synthesis for quantized discrete time hybrid systems V Alimguzhin, F Mari, I Melatti, I Salvo, E Tronci 2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 6120-6125, 2012 | 18 | 2012 |
| Intersection types and λ-definability A Bucciarelli, A Piperno, I Salvo Mathematical Structures in Computer Science 13 (1), 15-53, 2003 | 18 | 2003 |
| An efficient algorithm for network vulnerability analysis under malicious attacks T Mancini, F Mari, I Melatti, I Salvo, E Tronci Foundations of Intelligent Systems: 24th International Symposium, ISMIS 2018 …, 2018 | 15 | 2018 |
| On model based synthesis of embedded control software V Alimguzhin, F Mari, I Melatti, I Salvo, E Tronci Proceedings of the tenth ACM international conference on Embedded software …, 2012 | 15 | 2012 |
| Undecidability of quantized state feedback control for discrete time linear hybrid systems F Mari, I Melatti, I Salvo, E Tronci International Colloquium on Theoretical Aspects of Computing, 243-258, 2012 | 14 | 2012 |
| On-the-fly control software synthesis V Alimguzhin, F Mari, I Melatti, I Salvo, E Tronci International SPIN Workshop on Model Checking of Software, 61-80, 2013 | 12 | 2013 |
| Model checking driven simulation of sat procedures G Verzino SpaceOps 2012, 1275611, 2012 | 12 | 2012 |
