| 2014 | GI | Iraqi Elections in 2014: a Privacy Requirement Evaluation Based on a Polling Place Experience. | Ali Fawzi Najm Al-Shammari, Adolfo Villafiorita |
| 2013 | COMPSAC | EINSPECT: Evolution-Guided Analysis and Detection of Malicious Web Pages. | Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam, Mohammad Zulkernine |
| 2012 | MEDES | On the use of goal-oriented methodology for designing agriculture services in developing countries. | Amanuel Zewge, Komminist Weldemariam, Sebsibe Hailemariam, Adolfo Villafiorita, Angelo Susi, Mesfin Belachew |
| 2012 | SecureComm | BINSPECT: Holistic Analysis and Detection of Malicious Web Pages. | Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam |
| 2011 | DIMVA | Malicious Website Detection: Effectiveness and Efficiency Issues. | Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam |
| 2011 | JURIX | Adapting Software Metrics to Analyze the Evolution of Laws - An Italian Case Study. | Aaron Ciaghi, Andrea Dalla Valle, Adolfo Villafiorita |
| 2011 | RE | Vote verification through open standard: A roadmap. | Ali Fawzi Najm Al-Shammari, Komminist Weldemariam, Adolfo Villafiorita, Sergio Tessaris |
| 2010 | CRiSIS | Host-based anomaly detection for pervasive medical systems. | Biniyam Asfaw, Dawit Bekele, Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam |
| 2010 | ICDS | Context Information Refinement for Pervasive Medical Systems. | Dawit Bekele, Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam |
| 2010 | ICDS | ICT for Good: Opportunities, Challenges and the Way Forward. | Birhanu Eshete, Andrea Mattioli, Adolfo Villafiorita, Komminist Weldemariam |
| 2010 | ICDS | Modeling and Analysis of Laws Using BPR and Goal-Oriented Framework. | Adolfo Villafiorita, Komminist Weldemariam, Angelo Susi, Alberto Siena |
| 2009 | CRiSIS | Formal analysis of attacks for e-voting system. | Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita |
| 2009 | CRiSIS | Experiments and data analysis of electronic voting system. | Komminist Weldemariam, Adolfo Villafiorita, Andrea Mattioli |
| 2009 | ICDS | VLPM: A Tool to Support BPR in Public Administration. | Aaron Ciaghi, Adolfo Villafiorita, Andrea Mattioli |
| 2009 | RE | Managing Requirements for E-Voting Systems: Issues and Approaches. | Komminist Weldemariam, Andrea Mattioli, Adolfo Villafiorita |
| 2008 | CRiSIS | Formal procedural security modeling and analysis. | Komminist Weldemariam, Adolfo Villafiorita |
| 2003 | FM | Improving Safety Assessment of Complex Systems: An Industrial Case Study. | Marco Bozzano, Antonella Cavallo, Massimo Cifaldi, Laura Valacca, Adolfo Villafiorita |
| 2003 | SAFECOMP | Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform. | Marco Bozzano, Adolfo Villafiorita |
| 1999 | FM | Formal Specification and Validation of a Vital Communication Protocol. | Alessandro Cimatti, P. L. Pieraccini, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita |
| 1999 | SAFECOMP | Formal Specification and Development of a Safety-Critical Train Management System. | Angelo Chiappini, Alessandro Cimatti, Carmen Porzia, G. Rotondo, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita |
| 1998 | AIMSA | SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework. | Roberto Sebastiani, Adolfo Villafiorita |
| 1998 | AIMSA | Abstraction as a Form of Elaboration Tolerance. | Adolfo Villafiorita |
| 1996 | AI | A General Purpose Reasoner for Abstraction. | Fausto Giunchiglia, Roberto Sebastiani, Adolfo Villafiorita, Toby Walsh |
| 1996 | CADE | ABSFOL: A Proof Checker with Abstraction. | Fausto Giunchiglia, Adolfo Villafiorita |