Adolfo Villafiorita
Title
Cited by
Cited by
Year
Improving system reliability via model checking: The FSAP/NuSMV-SA safety analysis platform
M Bozzano, A Villafiorita
International Conference on Computer Safety, Reliability, and Security, 49-62, 2003
1392003
ESACS: an integrated methodology for design and safety analysis of complex systems
M Bozzano, A Villafiorita, O Åkerlund, P Bieber, C Bougnol, E Böde, ...
Proc. ESREL 2003, 2003
1342003
The FSAP/NuSMV-SA safety analysis platform
M Bozzano, A Villafiorita
International Journal on Software Tools for Technology Transfer 9 (1), 5, 2007
1332007
Design and safety assessment of critical systems
M Bozzano, A Villafiorita
CRC press, 2010
1302010
Binspect: Holistic analysis and detection of malicious web pages
B Eshete, A Villafiorita, K Weldemariam
International conference on security and privacy in communication systems …, 2012
712012
Theories of abstraction
F Giunchiglia, A Villafiorita, T Walsh
AI communications 10 (3, 4), 167-176, 1997
701997
Improving safety assessment of complex systems: An industrial case study
M Bozzano, A Cavallo, M Cifaldi, L Valacca, A Villafiorita
International Symposium of Formal Methods Europe, 208-222, 2003
622003
Development, formal verification, and evaluation of an e-voting system with VVPAT
A Villafiorita, K Weldemariam, R Tiella
IEEE Transactions on Information Forensics and Security 4 (4), 651-661, 2009
582009
Integrating fault tree analysis with event ordering information
M Bozzano, A Villafiorita
Proceedings of ESREL 2003, 247-254, 2003
502003
An adaptive learning with gamification & conversational UIs: The rise of CiboPoliBot
A Fadhil, A Villafiorita
Adjunct publication of the 25th conference on user modeling, adaptation and …, 2017
292017
Early detection of security misconfiguration vulnerabilities in web applications
B Eshete, A Villafiorita, K Weldemariam
2011 Sixth International Conference on Availability, Reliability and …, 2011
292011
eGIF4M: EGovernment interoperability framework for Mozambique
P Shvaiko, A Villafiorita, A Zorer, L Chemane, T Fumo, J Hinkkanen
International Conference on Electronic Government, 328-340, 2009
242009
Formal specification and development of a safety-critical train management system
A Chiappini, A Cimatti, C Porzia, G Rotondo, R Sebastiani, P Traverso, ...
International Conference on Computer Safety, Reliability, and Security, 410-419, 1999
231999
Assessing procedural risks and threats in e-voting: Challenges and an approach
K Weldemariam, A Villafiorita, A Mattioli
International Conference on E-Voting and Identity, 38-49, 2007
222007
Beyond food sharing: Supporting food waste reduction with ICTs
A Ciaghi, A Villafiorita
2016 IEEE International Smart Cities Conference (ISC2), 1-6, 2016
212016
Malicious website detection: Effectiveness and efficiency issues
B Eshete, A Villafiorita, K Weldemariam
2011 First SysSec Workshop, 123-126, 2011
212011
Host-based anomaly detection for pervasive medical systems
B Asfaw, D Bekele, B Eshete, A Villafiorita, K Weldemariam
2010 Fifth International Conference on Risks and Security of Internet and …, 2010
212010
VLPM: a tool to support BPR in public administration
A Ciaghi, A Villafiorita, A Mattioli
2009 Third International Conference on Digital Society, 289-293, 2009
212009
Evaluating procedural alternatives: A case study in e-voting
V Bryl, F Dalpiaz, R Ferrario, A Mattioli, A Villafiorita
Electronic Government, an International Journal 6 (2), 213-231, 2009
212009
Modeling and Analysis of Procedural Security in (e) Voting: The Trentino's Approach and Experiences.
K Weldemariam, A Villafiorita
EVT, 2008
212008
The system can't perform the operation now. Try again later.
Articles 1–20