Adolfo Villafiorita

59 papers A 1B 7C 11Misc 3Journal 9Unranked 25

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