Adolfo Villafiorita

Aaron Ciaghi, Birhanu Eshete, Pietro Molini, Adolfo Villafiorita: SAMo: experimenting a social accountability web platform. ACM DEV 2013: 17

Ali Fawzi Najm Al-Shammari, Adolfo Villafiorita, Komminist Weldemariam: Understanding the Development Trends of Electronic Voting Systems. ARES 2012: 186-195

Ali Fawzi Najm Al-Shammari, Adolfo Villafiorita, Komminist Weldemariam: Towards an Open Standard Vote Verification Framework in Electronic Voting Systems. ARES 2012: 437-444

Henok Sahilu, Adolfo Villafiorita, Komminist Weldemariam, Mesfin Belachew, Amanuel Zewge: Designing distributed agricultural information services for developing countries. ACM DEV 2012: 24

Amanuel Zewge, Komminist Weldemariam, Sebsibe Hailemariam, Adolfo Villafiorita, Angelo Susi, Mesfin Belachew: On the use of goal-oriented methodology for designing agriculture services in developing countries. MEDES 2012: 40-47

Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam: BINSPECT: Holistic Analysis and Detection of Malicious Web Pages. SecureComm 2012: 149-166

Radu Popescu-Zeletin, Karl Jonas, Idris A. Rai, Roch H. Glitho, Adolfo Villafiorita (Eds.): e-Infrastructure and e-Services for Developing Countries - Third International ICST Conference, AFRICOMM 2011, Zanzibar, Tanzania, November 23-24, 2011, Revised Selected Papers. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 92, Springer 2012, isbn 978-3-642-29092-3

Komminist Weldemariam, Adolfo Villafiorita: Procedural security analysis: A methodological approach. Journal of Systems and Software 84(7): 1114-1129 (2011)

Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita: Formal analysis of an electronic voting system: An experience report. Journal of Systems and Software 84(10): 1618-1637 (2011)

Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam: Early Detection of Security Misconfiguration Vulnerabilities in Web Applications. ARES 2011: 169-174

Aaron Ciaghi, Adolfo Villafiorita: Crowdsourcing ICTD Best Practices. AFRICOMM 2011: 167-176

Aaron Ciaghi, Andrea Dalla Valle, Adolfo Villafiorita: Adapting Software Metrics to Analyze the Evolution of Laws - An Italian Case Study. JURIX 2011: 53-62

Ali Fawzi Najm Al-Shammari, Komminist Weldemariam, Adolfo Villafiorita, Sergio Tessaris: Vote verification through open standard: A roadmap. REVOTE 2011: 22-26

Radu Popescu-Zeletin, Idris A. Rai, Karl Jonas, Adolfo Villafiorita (Eds.): E-Infrastuctures and E-Services for Developing Countries - Second International ICST Conference, AFRICOM 2010, Cape Town, South Africa, November 25-26, 2010, Revised Selected Papers. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 64, Springer 2011, isbn 978-3-642-23827-7

Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita: Formal Specification and Analysis of an E-voting System. ARES 2010: 164-171

Aaron Ciaghi, Adolfo Villafiorita: Improving Public Administrations via Law Modeling and BPR. AFRICOM 2010: 69-78

Biniyam Asfaw, Dawit Bekele, Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam: Host-based anomaly detection for pervasive medical systems. CRiSIS 2010: 1-8

Komminist Weldemariam, Adolfo Villafiorita: A Survey: Electronic Voting Development and Trends. Electronic Voting 2010: 119-131

Birhanu Eshete, Andrea Mattioli, Adolfo Villafiorita, Komminist Weldemariam: ICT for Good: Opportunities, Challenges and the Way Forward. ICDS 2010: 14-19

Dawit Bekele, Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam: Context Information Refinement for Pervasive Medical Systems. ICDS 2010: 210-215

Adolfo Villafiorita, Komminist Weldemariam, Angelo Susi, Alberto Siena: Modeling and Analysis of Laws Using BPR and Goal-Oriented Framework. ICDS 2010: 353-358

Adolfo Villafiorita, Régis Saint-Paul, Alessandro Zorer (Eds.): E-Infrastructures and E-Services on Developing Countries - First International ICST Conference, AFRICOM 2009, Maputo, Mozambique, December 3-4, 2009. Proceedings. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 38, Springer 2010, isbn 978-3-642-12700-7

Volha Bryl, Fabiano Dalpiaz, Roberta Ferrario, Andrea Mattioli, Adolfo Villafiorita: Evaluating procedural alternatives: a case study in e-voting. EG 6(2): 213-231 (2009)

Adolfo Villafiorita, Komminist Weldemariam, Roberto Tiella: Development, formal verification, and evaluation of an E-voting system with VVPAT. IEEE Transactions on Information Forensics and Security 4(4): 651-661 (2009)

Aaron Ciaghi, Adolfo Villafiorita, Komminist Weldemariam, Andrea Mattioli, Quoc-Sang Phan: Supporting Public Administration with an Integrated BPR Environment. AFRICOM 2009: 50-59

Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita: Formal analysis of attacks for e-voting system. CRiSIS 2009: 26-34

Komminist Weldemariam, Adolfo Villafiorita, Andrea Mattioli: Experiments and data analysis of electronic voting system. CRiSIS 2009: 105-112

Pavel Shvaiko, Adolfo Villafiorita, Alessandro Zorer, Lourino Chemane, Teotónio Fumo, Jussi Hinkkanen: eGIF4M: eGovernment Interoperability Framework for Mozambique. EGOV 2009: 328-340

Aaron Ciaghi, Adolfo Villafiorita, Andrea Mattioli: VLPM: A Tool to Support BPR in Public Administration. ICDS 2009: 289-293

Komminist Weldemariam, Andrea Mattioli, Adolfo Villafiorita: Managing Requirements for E-Voting Systems: Issues and Approaches. REVOTE 2009: 29-37

Komminist Weldemariam, Adolfo Villafiorita: Formal procedural security modeling and analysis. CRiSIS 2008: 249-254

Komminist Weldemariam, Adolfo Villafiorita: A Methodology for Assessing Procedural Security: A Case Study in E-Voting. Electronic Voting 2008: 83-94

Francesca Longo, Roberto Tiella, Paolo Tonella, Adolfo Villafiorita: Measuring the Impact of Different Categories of Software Evolution. IWSM/Metrikon/Mensura 2008: 344-351

Komminist Weldemariam, Adolfo Villafiorita: Modeling and Analysis of Procedural Security in (e)Voting: The Trentino's Approach and Experiences. EVT 2008

Marco Bozzano, Adolfo Villafiorita: The FSAP/NuSMV-SA Safety Analysis Platform. STTT 9(1): 5-24 (2007)

Roberto Tiella, Adolfo Villafiorita, Silvia Tomasi: FSMC+, a tool for the generation of Java code from statecharts. PPPJ 2007: 93-102

Komminist Weldemariam, Adolfo Villafiorita, Andrea Mattioli: Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach. VOTE-ID 2007: 38-49

Marco Bozzano, Antonella Cavallo, Massimo Cifaldi, Laura Valacca, Adolfo Villafiorita: Improving Safety Assessment of Complex Systems: An Industrial Case Study. FME 2003: 208-222

Marco Bozzano, Adolfo Villafiorita: Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform. SAFECOMP 2003: 49-62

Alessandro Cimatti, P. L. Pieraccini, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita: Formal Specification and Validation of a Vital Communication Protocol. World Congress on Formal Methods 1999: 1584-1604

Angelo Chiappini, Alessandro Cimatti, Carmen Porzia, G. Rotondo, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita: Formal Specification and Development of a Safety-Critical Train Management System. SAFECOMP 1999: 410-419

Roberto Sebastiani, Adolfo Villafiorita: SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework. AIMSA 1998: 377-388

Adolfo Villafiorita: Abstraction as a Form of Elaboration Tolerance. AIMSA 1998: 427-437

Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh: Theories of Abstraction. AI Commun. 10(3-4): 167-176 (1997)

Alan Bundy, Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh: Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem. J. Autom. Reasoning 19(3): 319-346 (1997)

Fausto Giunchiglia, Roberto Sebastiani, Adolfo Villafiorita, Toby Walsh: A General Purpose Reasoner for Abstraction. Canadian Conference on AI 1996: 323-335

Fausto Giunchiglia, Adolfo Villafiorita: ABSFOL: A Proof Checker with Abstraction. CADE 1996: 136-140