Concepedia

Adolfo Villafiorita

AV

22

Publications

585

Citations

14

H-Index

1997

Active since

Affiliations

Fondazione Bruno Kessler(Current)

University of Trento

Queen's University

University of California, Santa Barbara

Adolfo Villafiorita is an author at Fondazione Bruno Kessler specializing in computer science, engineering, and information security.

Top concepts

EngineeringComputer ScienceInformation SecurityFormal MethodsSoftware AnalysisData SecurityFormal VerificationSystems EngineeringElectionsCryptography

Publications per year

1997–2017

22

Publications

22

The FSAP/NuSMV-SA Safety Analysis Platform

Marco Bozzano, Adolfo Villafiorita · International Journal on Software Tools for Technology Transfer · 2006 · 115 citations

Reliability, Safety Engineering, Reliability Engineering +7

An Adaptive Learning with Gamification & Conversational UIs

Ahmed Fadhil, Adolfo Villafiorita · 2017 · 71 citations

Artificial Intelligence, Chatbot, Engineering +19

Development, Formal Verification, and Evaluation of an E-Voting System With VVPAT

Adolfo Villafiorita, Komminist Weldemariam, Roberto Tiella · IEEE Transactions on Information Forensics and Security · 2009 · 50 citations

New Technologies, Engineering, Information Security +17

Theories of abstraction

Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh · 1997 · 40 citations

Beyond food sharing: Supporting food waste reduction with ICTs

Aaron Ciaghi, Adolfo Villafiorita · 2016 · 40 citations

Food Loss, Food Surplus, Food Security +11

Rows per page

1–5 of 22