Adolfo Villafiorita
Citata da
Citata da
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
The FSAP/NuSMV-SA safety analysis platform
M Bozzano, A Villafiorita
International Journal on Software Tools for Technology Transfer 9 (1), 5-24, 2007
ESACS: an integrated methodology for design and safety analysis of complex systems
M Bozzano, A Villafiorita, O kerlund, P Bieber, C Bougnol, E Bde, ...
Proc. ESREL 2003, 2003
Design and safety assessment of critical systems
M Bozzano, A Villafiorita
CRC press, 2010
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
Theories of abstraction
F Giunchiglia, A Villafiorita, T Walsh
AI communications 10 (3, 4), 167-176, 1997
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
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
Integrating fault tree analysis with event ordering information
M Bozzano, A Villafiorita
Proceedings of ESREL 2003, 247-254, 2003
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
Early detection of security misconfiguration vulnerabilities in web applications
B Eshete, A Villafiorita, K Weldemariam
2011 Sixth International Conference on Availability, Reliability and…, 2011
Beyond food sharing: Supporting food waste reduction with ICTs
A Ciaghi, A Villafiorita
2016 IEEE International Smart Cities Conference (ISC2), 1-6, 2016
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
Malicious website detection: Effectiveness and efficiency issues
B Eshete, A Villafiorita, K Weldemariam
2011 First SysSec Workshop, 123-126, 2011
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
Modeling and Analysis of Procedural Security in (e) Voting: The Trentino's Approach and Experiences.
K Weldemariam, A Villafiorita
EVT, 2008
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
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
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
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
Il sistema al momento non pu eseguire l'operazione. Riprova pi tardi.
Articoli 1–20