Adolfo Villafiorita

Publication Activity (10 Years)

Years Active: 1996-2017
Publications (10 Years): 3

Top Topics

Developing Countries

Electronic Voting

Top Venues

MobileHCI Adjunct

Publications

Ahmed Fadhil, Adolfo Villafiorita
An Adaptive Learning with Gamification & Conversational UIs: The Rise of CiboPoliBot. UMAP (Adjunct Publication) (2017)
Ahmed Fadhil, Cristina Matteotti, Giampaolo Armellin, Adolfo Villafiorita, Dario Betti
CoachMe: a platform for promoting healthy lifestyle. MobileHCI Adjunct (2016)
Aaron Ciaghi, Adolfo Villafiorita
Beyond food sharing: Supporting food waste reduction with ICTs. ISC2 (2016)
Ilse Grau, Guilherme H. Travassos, Luca Cernuzzi, Adolfo Villafiorita
Tape Mbo'e: A First Experimental Assessment. CLEI Electron. J. 18 (1) (2015)
Ali Fawzi Najm Al-Shammari, Adolfo Villafiorita
Iraqi Elections in 2014: a Privacy Requirement Evaluation Based on a Polling Place Experience. GI-Jahrestagung (2014)
Ilse Grau, Guilherme Travassos, Luca Cernuzzi, Adolfo Villafiorita
Tape Mbo'e: A First Experimental Assessment. CIbSE (2014)
Ilse Grau, Luca Cernuzzi, Adolfo Villafiorita
Tape Mbo'e (TME): A Service-Oriented Method. SCCC (2013)
Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam, Mohammad Zulkernine
EINSPECT: Evolution-Guided Analysis and Detection of Malicious Web Pages. COMPSAC (2013)
Aaron Ciaghi, Birhanu Eshete, Pietro Molini, Adolfo Villafiorita
SAMo: experimenting a social accountability web platform. ACM DEV (3) (2013)
Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam, Mohammad Zulkernine
Confeagle: Automated Analysis of Configuration Vulnerabilities in Web Applications. SERE (2013)
Henok Sahilu, Adolfo Villafiorita, Komminist Weldemariam, Mesfin Belachew, Amanuel Zewge
Designing distributed agricultural information services for developing countries. ACM DEV (2012)
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)
Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam
BINSPECT: Holistic Analysis and Detection of Malicious Web Pages. SecureComm (2012)
Ali Fawzi Najm Al-Shammari, Adolfo Villafiorita, Komminist Weldemariam
Understanding the Development Trends of Electronic Voting Systems. ARES (2012)
Aaron Ciaghi, Birhanu Eshete, Pietro Molini, Adolfo Villafiorita
Social Accountability for Mozambique: An Experience Report from the Moamba District. AFRICOMM (2012)
Ali Fawzi Najm Al-Shammari, Adolfo Villafiorita, Komminist Weldemariam
Towards an Open Standard Vote Verification Framework in Electronic Voting Systems. ARES (2012)
Ali Fawzi Najm Al-Shammari, Komminist Weldemariam, Adolfo Villafiorita, Sergio Tessaris
Vote verification through open standard: A roadmap. REVOTE (2011)
Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam
Early Detection of Security Misconfiguration Vulnerabilities in Web Applications. ARES (2011)
Aaron Ciaghi, Andrea Dalla Valle, Adolfo Villafiorita
Adapting Software Metrics to Analyze the Evolution of Laws - An Italian Case Study. JURIX (2011)
Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam
Malicious Website Detection: Effectiveness and Efficiency Issues. SysSec@DIMVA (2011)
Komminist Weldemariam, Adolfo Villafiorita
Procedural security analysis: A methodological approach. J. Syst. Softw. 84 (7) (2011)
Aaron Ciaghi, Adolfo Villafiorita
Crowdsourcing ICTD Best Practices. AFRICOMM (2011)
Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita
Formal analysis of an electronic voting system: An experience report. J. Syst. Softw. 84 (10) (2011)
Biniyam Asfaw, Dawit Bekele, Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam
Host-based anomaly detection for pervasive medical systems. CRiSIS (2010)
Adolfo Villafiorita, Komminist Weldemariam, Angelo Susi, Alberto Siena
Modeling and Analysis of Laws Using BPR and Goal-Oriented Framework. ICDS (2010)
Birhanu Eshete, Andrea Mattioli, Adolfo Villafiorita, Komminist Weldemariam
ICT for Good: Opportunities, Challenges and the Way Forward. ICDS (2010)
Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita
Formal Specification and Analysis of an E-voting System. ARES (2010)
Aaron Ciaghi, Adolfo Villafiorita
Improving Public Administrations via Law Modeling and BPR. AFRICOM (2010)
Komminist Weldemariam, Adolfo Villafiorita
A Survey: Electronic Voting Development and Trends. Electronic Voting (2010)
Dawit Bekele, Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam
Context Information Refinement for Pervasive Medical Systems. ICDS (2010)
Pavel Shvaiko, Adolfo Villafiorita, Alessandro Zorer, Lourino Chemane, Teotónio Fumo, Jussi Hinkkanen
eGIF4M: eGovernment Interoperability Framework for Mozambique. EGOV (2009)
Aaron Ciaghi, Adolfo Villafiorita, Komminist Weldemariam, Andrea Mattioli, Quoc-Sang Phan
Supporting Public Administration with an Integrated BPR Environment. AFRICOM (2009)
Komminist Weldemariam, Adolfo Villafiorita, Andrea Mattioli
Experiments and data analysis of electronic voting system. CRiSIS (2009)
Adolfo Villafiorita, Komminist Weldemariam, Roberto Tiella
Development, formal verification, and evaluation of an E-voting system with VVPAT. IEEE Trans. Inf. Forensics Secur. 4 (4) (2009)
Aaron Ciaghi, Adolfo Villafiorita, Andrea Mattioli
VLPM: A Tool to Support BPR in Public Administration. ICDS (2009)
Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita
Formal analysis of attacks for e-voting system. CRiSIS (2009)
Komminist Weldemariam, Andrea Mattioli, Adolfo Villafiorita
Managing Requirements for E-Voting Systems: Issues and Approaches. REVOTE (2009)
Volha Bryl, Fabiano Dalpiaz, Roberta Ferrario, Andrea Mattioli, Adolfo Villafiorita
Evaluating procedural alternatives: a case study in e-voting. Electron. Gov. an Int. J. 6 (2) (2009)
Francesca Longo, Roberto Tiella, Paolo Tonella, Adolfo Villafiorita
Measuring the Impact of Different Categories of Software Evolution. IWSM/Metrikon/Mensura (2008)
Komminist Weldemariam, Adolfo Villafiorita
Formal procedural security modeling and analysis. CRiSIS (2008)
Komminist Weldemariam, Adolfo Villafiorita
A Methodology for Assessing Procedural Security: A Case Study in E-Voting. Electronic Voting (2008)
Komminist Weldemariam, Adolfo Villafiorita
Modeling and Analysis of Procedural Security in (e)Voting: The Trentino's Approach and Experiences. EVT (2008)
Komminist Weldemariam, Adolfo Villafiorita, Andrea Mattioli
Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach. VOTE-ID (2007)
Marco Bozzano, Adolfo Villafiorita
The FSAP/NuSMV-SA Safety Analysis Platform. Int. J. Softw. Tools Technol. Transf. 9 (1) (2007)
Roberto Tiella, Adolfo Villafiorita, Silvia Tomasi
FSMC+, a tool for the generation of Java code from statecharts. PPPJ (2007)
Marco Bozzano, Antonella Cavallo, Massimo Cifaldi, Laura Valacca, Adolfo Villafiorita
Improving Safety Assessment of Complex Systems: An Industrial Case Study. FME (2003)
Marco Bozzano, Adolfo Villafiorita
Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform. SAFECOMP (2003)
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)
Massimo Benerecetti, Enrico Giunchiglia, Luciano Serafini, Adolfo Villafiorita
Formal specification of beliefs in multi-agent systems. Int. J. Intell. Syst. 14 (10) (1999)
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)
Roberto Sebastiani, Adolfo Villafiorita
SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework. AIMSA (1998)
Adolfo Villafiorita
Abstraction as a Form of Elaboration Tolerance. AIMSA (1998)
Alan Bundy, Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem. J. Autom. Reason. 19 (3) (1997)
Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh
Theories of Abstraction. AI Commun. 10 (3-4) (1997)
Fausto Giunchiglia, Adolfo Villafiorita
ABSFOL: A Proof Checker with Abstraction. CADE (1996)
Fausto Giunchiglia, Roberto Sebastiani, Adolfo Villafiorita, Toby Walsh
A General Purpose Reasoner for Abstraction. Canadian Conference on AI (1996)