default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAdolfo Villafiorita
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
[c47]Ahmed Fadhil, Adolfo Villafiorita:
An Adaptive Learning with Gamification & Conversational UIs: The Rise of CiboPoliBot. UMAP (Adjunct Publication) 2017: 408-412- 2016
- [c46]Aaron Ciaghi, Adolfo Villafiorita:
Beyond food sharing: Supporting food waste reduction with ICTs. ISC2 2016: 1-6 - [c45]Ahmed Fadhil, Cristina Matteotti, Giampaolo Armellin, Adolfo Villafiorita, Dario Betti:
CoachMe: a platform for promoting healthy lifestyle. MobileHCI Adjunct 2016: 1077-1080 - 2015
- [j9]Ilse Grau, Guilherme H. Travassos, Luca Cernuzzi, Adolfo Villafiorita:
Tape Mbo'e: A First Experimental Assessment. CLEI Electron. J. 18(1) (2015) - 2014
- [c44]Ilse Grau, Guilherme Travassos, Luca Cernuzzi, Adolfo Villafiorita:
Tape Mbo'e: A First Experimental Assessment. CIbSE 2014: 322-335 - [c43]Ali Fawzi Najm Al-Shammari, Adolfo Villafiorita:
Iraqi Elections in 2014: a Privacy Requirement Evaluation Based on a Polling Place Experience. GI-Jahrestagung 2014: 1359-1370 - 2013
- [c42]Birhanu Eshete
, Adolfo Villafiorita, Komminist Weldemariam, Mohammad Zulkernine:
EINSPECT: Evolution-Guided Analysis and Detection of Malicious Web Pages. COMPSAC 2013: 375-380 - [c41]Aaron Ciaghi, Birhanu Eshete, Pietro Molini, Adolfo Villafiorita:
SAMo: experimenting a social accountability web platform. ACM DEV (3) 2013: 17:1-17:2 - [c40]Ilse Grau, Luca Cernuzzi, Adolfo Villafiorita:
Tape Mbo'e (TME): A Service-Oriented Method. SCCC 2013: 33-37 - [c39]Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam, Mohammad Zulkernine:
Confeagle: Automated Analysis of Configuration Vulnerabilities in Web Applications. SERE 2013: 188-197 - 2012
- [c38]Ali Fawzi Najm Al-Shammari, Adolfo Villafiorita, Komminist Weldemariam:
Understanding the Development Trends of Electronic Voting Systems. ARES 2012: 186-195 - [c37]Ali Fawzi Najm Al-Shammari, Adolfo Villafiorita, Komminist Weldemariam:
Towards an Open Standard Vote Verification Framework in Electronic Voting Systems. ARES 2012: 437-444 - [c36]Aaron Ciaghi, Birhanu Eshete, Pietro Molini, Adolfo Villafiorita:
Social Accountability for Mozambique: An Experience Report from the Moamba District. AFRICOMM 2012: 189-198 - [c35]Henok Sahilu, Adolfo Villafiorita, Komminist Weldemariam, Mesfin Belachew, Amanuel Zewge:
Designing distributed agricultural information services for developing countries. ACM DEV 2012: 24:1 - [c34]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 - [c33]Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam:
BINSPECT: Holistic Analysis and Detection of Malicious Web Pages. SecureComm 2012: 149-166 - [e3]Radu Popescu-Zeletin, Karl Jonas, Idris A. Rai, Roch H. Glitho, Adolfo Villafiorita:
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 [contents] - 2011
- [j8]Komminist Weldemariam, Adolfo Villafiorita:
Procedural security analysis: A methodological approach. J. Syst. Softw. 84(7): 1114-1129 (2011) - [j7]Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita:
Formal analysis of an electronic voting system: An experience report. J. Syst. Softw. 84(10): 1618-1637 (2011) - [c32]Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam:
Early Detection of Security Misconfiguration Vulnerabilities in Web Applications. ARES 2011: 169-174 - [c31]Aaron Ciaghi, Adolfo Villafiorita:
Crowdsourcing ICTD Best Practices. AFRICOMM 2011: 167-176 - [c30]Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam:
Malicious Website Detection: Effectiveness and Efficiency Issues. SysSec@DIMVA 2011: 123-126 - [c29]Aaron Ciaghi, Andrea Dalla Valle, Adolfo Villafiorita:
Adapting Software Metrics to Analyze the Evolution of Laws - An Italian Case Study. JURIX 2011: 53-62 - [c28]Ali Fawzi Najm Al-Shammari, Komminist Weldemariam, Adolfo Villafiorita, Sergio Tessaris:
Vote verification through open standard: A roadmap. REVOTE 2011: 22-26 - [e2]Radu Popescu-Zeletin, Idris A. Rai, Karl Jonas, Adolfo Villafiorita:
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 [contents] - 2010
- [c27]Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita:
Formal Specification and Analysis of an E-voting System. ARES 2010: 164-171 - [c26]Aaron Ciaghi, Adolfo Villafiorita:
Improving Public Administrations via Law Modeling and BPR. AFRICOM 2010: 69-78 - [c25]Biniyam Asfaw, Dawit Bekele, Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam:
Host-based anomaly detection for pervasive medical systems. CRiSIS 2010: 1-8 - [c24]Komminist Weldemariam, Adolfo Villafiorita:
A Survey: Electronic Voting Development and Trends. Electronic Voting 2010: 119-131 - [c23]Birhanu Eshete, Andrea Mattioli, Adolfo Villafiorita, Komminist Weldemariam:
ICT for Good: Opportunities, Challenges and the Way Forward. ICDS 2010: 14-19 - [c22]Dawit Bekele, Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam:
Context Information Refinement for Pervasive Medical Systems. ICDS 2010: 210-215 - [c21]Adolfo Villafiorita, Komminist Weldemariam, Angelo Susi, Alberto Siena:
Modeling and Analysis of Laws Using BPR and Goal-Oriented Framework. ICDS 2010: 353-358 - [e1]Adolfo Villafiorita, Régis Saint-Paul, Alessandro Zorer:
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 [contents]
2000 – 2009
- 2009
- [j6]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): 213-231 (2009) - [j5]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): 651-661 (2009) - [c20]Aaron Ciaghi, Adolfo Villafiorita, Komminist Weldemariam, Andrea Mattioli, Quoc-Sang Phan:
Supporting Public Administration with an Integrated BPR Environment. AFRICOM 2009: 50-59 - [c19]Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita:
Formal analysis of attacks for e-voting system. CRiSIS 2009: 26-34 - [c18]Komminist Weldemariam, Adolfo Villafiorita, Andrea Mattioli:
Experiments and data analysis of electronic voting system. CRiSIS 2009: 105-112 - [c17]Pavel Shvaiko, Adolfo Villafiorita, Alessandro Zorer, Lourino Chemane, Teotónio Fumo, Jussi Hinkkanen:
eGIF4M: eGovernment Interoperability Framework for Mozambique. EGOV 2009: 328-340 - [c16]Aaron Ciaghi, Adolfo Villafiorita, Andrea Mattioli:
VLPM: A Tool to Support BPR in Public Administration. ICDS 2009: 289-293 - [c15]Komminist Weldemariam, Andrea Mattioli, Adolfo Villafiorita:
Managing Requirements for E-Voting Systems: Issues and Approaches. REVOTE 2009: 29-37 - 2008
- [c14]Komminist Weldemariam, Adolfo Villafiorita:
Formal procedural security modeling and analysis. CRiSIS 2008: 249-254 - [c13]Komminist Weldemariam, Adolfo Villafiorita:
A Methodology for Assessing Procedural Security: A Case Study in E-Voting. Electronic Voting 2008: 83-94 - [c12]Francesca Longo, Roberto Tiella, Paolo Tonella, Adolfo Villafiorita:
Measuring the Impact of Different Categories of Software Evolution. IWSM/Metrikon/Mensura 2008: 344-351 - [c11]Komminist Weldemariam, Adolfo Villafiorita:
Modeling and Analysis of Procedural Security in (e)Voting: The Trentino's Approach and Experiences. EVT 2008 - 2007
- [j4]Marco Bozzano, Adolfo Villafiorita:
The FSAP/NuSMV-SA Safety Analysis Platform. Int. J. Softw. Tools Technol. Transf. 9(1): 5-24 (2007) - [c10]Roberto Tiella, Adolfo Villafiorita, Silvia Tomasi:
FSMC+, a tool for the generation of Java code from statecharts. PPPJ 2007: 93-102 - [c9]Komminist Weldemariam, Adolfo Villafiorita, Andrea Mattioli:
Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach. VOTE-ID 2007: 38-49 - 2003
- [c8]Marco Bozzano, Antonella Cavallo, Massimo Cifaldi, Laura Valacca, Adolfo Villafiorita:
Improving Safety Assessment of Complex Systems: An Industrial Case Study. FME 2003: 208-222 - [c7]Marco Bozzano, Adolfo Villafiorita:
Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform. SAFECOMP 2003: 49-62
1990 – 1999
- 1999
- [j3]Massimo Benerecetti, Enrico Giunchiglia, Luciano Serafini, Adolfo Villafiorita:
Formal specification of beliefs in multi-agent systems. Int. J. Intell. Syst. 14(10): 1021-1040 (1999) - [c6]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 - [c5]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 - 1998
- [c4]Roberto Sebastiani, Adolfo Villafiorita:
SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework. AIMSA 1998: 377-388 - [c3]Adolfo Villafiorita:
Abstraction as a Form of Elaboration Tolerance. AIMSA 1998: 427-437 - 1997
- [j2]Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh:
Theories of Abstraction. AI Commun. 10(3-4): 167-176 (1997) - [j1]Alan Bundy, Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh:
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem. J. Autom. Reason. 19(3): 319-346 (1997) - 1996
- [c2]Fausto Giunchiglia, Roberto Sebastiani, Adolfo Villafiorita, Toby Walsh:
A General Purpose Reasoner for Abstraction. AI 1996: 323-335 - [c1]Fausto Giunchiglia, Adolfo Villafiorita:
ABSFOL: A Proof Checker with Abstraction. CADE 1996: 136-140
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 21:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
