| Design and safety assessment of critical systems M Bozzano, A Villafiorita CRC press, 2010 | 153 | 2010 |
| Improving system reliability via model checking: The FSAP/NuSMV-SA safety analysis platform M Bozzano, A Villafiorita International Conference on Computer Safety, Reliability, and Security, 49-62, 2003 | 152 | 2003 |
| The FSAP/NuSMV-SA safety analysis platform M Bozzano, A Villafiorita International Journal on Software Tools for Technology Transfer 9 (1), 5-24, 2007 | 147 | 2007 |
| ESACS: an integrated methodology for design and safety analysis of complex systems M Bozzano, A Villafiorita, O Åkerlund, P Bieber, C Bougnol, E Böde, ... Proc. ESREL 2003, 2003 | 139 | 2003 |
| Binspect: Holistic analysis and detection of malicious web pages B Eshete, A Villafiorita, K Weldemariam International conference on security and privacy in communication systems …, 2012 | 100 | 2012 |
| Theories of abstraction F Giunchiglia, A Villafiorita, T Walsh AI communications 10 (3, 4), 167-176, 1997 | 73 | 1997 |
| An adaptive learning with gamification & conversational UIs: The rise of CiboPoliBot A Fadhil, A Villafiorita Adjunct publication of the 25th conference on user modeling, adaptation and …, 2017 | 70 | 2017 |
| Improving safety assessment of complex systems: An industrial case study M Bozzano, A Cavallo, M Cifaldi, L Valacca, A Villafiorita International Symposium of Formal Methods Europe, 208-222, 2003 | 69 | 2003 |
| Development, formal verification, and evaluation of an e-voting system with VVPAT A Villafiorita, K Weldemariam, R Tiella IEEE Transactions on Information Forensics and Security 4 (4), 651-661, 2009 | 66 | 2009 |
| Integrating fault tree analysis with event ordering information M Bozzano, A Villafiorita Proceedings of ESREL 2003, 247-254, 2003 | 51 | 2003 |
| Early detection of security misconfiguration vulnerabilities in web applications B Eshete, A Villafiorita, K Weldemariam 2011 Sixth International Conference on Availability, Reliability and …, 2011 | 44 | 2011 |
| Beyond food sharing: Supporting food waste reduction with ICTs A Ciaghi, A Villafiorita 2016 IEEE International Smart Cities Conference (ISC2), 1-6, 2016 | 34 | 2016 |
| Host-based anomaly detection for pervasive medical systems B Asfaw, D Bekele, B Eshete, A Villafiorita, K Weldemariam 2010 Fifth International Conference on Risks and Security of Internet and …, 2010 | 29 | 2010 |
| Malicious website detection: Effectiveness and efficiency issues B Eshete, A Villafiorita, K Weldemariam 2011 First SysSec Workshop, 123-126, 2011 | 27 | 2011 |
| Formal specification and development of a safety-critical train management system A Chiappini, A Cimatti, C Porzia, G Rotondo, R Sebastiani, P Traverso, ... International Conference on Computer Safety, Reliability, and Security, 410-419, 1999 | 27 | 1999 |
| eGIF4M: EGovernment interoperability framework for Mozambique P Shvaiko, A Villafiorita, A Zorer, L Chemane, T Fumo, J Hinkkanen International Conference on Electronic Government, 328-340, 2009 | 26 | 2009 |
| Formal specification and analysis of an e-voting system K Weldemariam, RA Kemmerer, A Villafiorita 2010 International Conference on Availability, Reliability and Security, 164-171, 2010 | 25 | 2010 |
| CoachMe a platform for promoting healthy lifestyle A Fadhil, C Matteotti, G Armellin, A Villafiorita, D Betti Proceedings of the 18th International Conference on Human-Computer …, 2016 | 24 | 2016 |
| Modeling and Analysis of Procedural Security in (e) Voting: The Trentino's Approach and Experiences. K Weldemariam, A Villafiorita EVT, 2008 | 24 | 2008 |
| VLPM: a tool to support BPR in public administration A Ciaghi, A Villafiorita, A Mattioli 2009 Third International Conference on Digital Society, 289-293, 2009 | 23 | 2009 |
