Adolfo Villafiorita
TitoloCitata daAnno
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
1342003
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
1262003
The FSAP/NuSMV-SA safety analysis platform
M Bozzano, A Villafiorita
International Journal on Software Tools for Technology Transfer 9 (1), 5, 2007
1242007
Design and safety assessment of critical systems
M Bozzano, A Villafiorita
Auerbach Publications, 2010
1102010
Theories of abstraction
F Giunchiglia, A Villafiorita, T Walsh, F Giunchiglia, A Villafiorita, T Walsh
Artificial Intelligence, 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
602003
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
592012
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
532009
Integrating fault tree analysis with event ordering information
M Bozzano, A Villafiorita
Proceedings of ESREL 2003, 247-254, 2003
462003
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
Early detection of security misconfiguration vulnerabilities in web applications
B Eshete, A Villafiorita, K Weldemariam
2011 Sixth International Conference on Availability, Reliability and …, 2011
222011
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
222009
Evaluating procedural alternatives: a case study in e-voting.
V Bryl, F Dalpiaz, R Ferrario, A Mattioli, A Villafiorita
EG 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
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
212007
FSMC+, a tool for the generation of Java code from statecharts
R Tiella, A Villafiorita, S Tomasi
Proceedings of the 5th international symposium on Principles and practice of …, 2007
212007
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
202010
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
202009
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
182017
Malicious website detection: Effectiveness and efficiency issues
B Eshete, A Villafiorita, K Weldemariam
2011 First SysSec Workshop, 123-126, 2011
182011
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20