FBK > IT > Content

Adolfo Villafiorita

Adolfo Villafiorita


Short Bio

He graduated at the University of Genova in 1993 and got his PhD from the University of Ancona in "Artificial Intelligent Systems" in 1997.  Visiting scholar of the AI Department of the University of Edinburgh in 1992 and of the Formal Reasoning Group at Stanford in 1995, he is now a Senior Researcher at Fondazione Bruno Kessler, where he leads the ICT4G unit.

He has worked and led various industrial and technology transfer projects related to the verification of safety critical systems.  He is also a contract professor at the University of Trento, where he taught Software Engineering and, from 2004, Software Project Management.

Interests

ICT for Development, eGovernment & Interoperability, ICT for laws, Project Management, Safety Critical Systems

Publications

  1. Ali Fawzi Najm Al-Shammari, Adolfo Villafiorita, Komminist Weldemariam,
    Understanding the Development Trends of Electronic Voting Systems,
    IEEE Computer Society,
    to be published,
    (In Proceedings of the Seventh International Conference on Availability, Reliability and Security (ARES 2012),
    Prague, Czech Republic)
    August 20th - 24th, 2012
  2. Ali Fawzi Najm Al-Shammari, Adolfo Villafiorita, Komminist Weldemariam,
    Towards an Open Standard Vote Verification Framework in Electronic Voting Systems,
    IEEE Computer Society,
    to be published,
    (In Proceedings of the Forth International Workshop on Organizational Security Aspects (OSA 2012), in conjunction with ARES 2012.,
    Prague, Czech Republic)
    August 20th - 24th, 2012
  3. Henok Sahilu, Adolfo Villafiorita, Komminist Weldemariam, Mesfin Belachew, Amanuel Zewge,
    Designing distributed agricultural information services for developing countries,
    Proceedings of the 2nd ACM Symposium on Computing for Development,
    ACM,
    n. 1,
    2012,
    (Proceedings of the 2nd ACM Symposium on Computing for Development,
    03/12/2012)
    03/11/2012
  4. Komminist Weldemariam, Adolfo Villafiorita,
    Analyzing the Security of Electronic Voting Systems: Can Formal Methods Really Help?,
    in M. Gupta, J. Walp and R. Sharman (eds.),
    Threats, Countermeasures, and Advances in Applied Information Security,
    Hershey PA,
    IGI publisher,
    2012,
    pp. 361-
    380
  5. Aaron Ciaghi, Adolfo Villafiorita,
    Law Modeling and BPR for Public Administration Improvement,
    in K. Bwalya, & S. Zulu (eds.),
    Handbook of Research on E-Government in Emerging Economies: Adoption, E-Participation, and Legal Frameworks,
    Hershey, Pennsylvania,
    IGI Global,
    2012,
    pp. 391-
    410
  6. Henok Sahilu, Mesfin Belachew, Adolfo Villafiorita, Sebsibe H/mariam,Komminist Weldemariam, Amanuel Zewge,
    Towards Designing an Architecture for Delivering Distributed Agricultural Information Services for Developing Countries,
    2012,
    (In International Conference on ICT for Africa 2012,
    Kampala, Uganda)
    March 21-24, 2012
  7. Komminist Sisai Weldemariam, Adolfo Villafiorita Monteleone,
    Procedural Security Analysis: A Methodological Approach,
    in «THE JOURNAL OF SYSTEMS AND SOFTWARE»,
    vol. 84,
    n. 7,
    2011
    , pp. 1114-
    1129
  8. Komminist Sisai Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita,
    Formal Specification and Verification of an e-voting System: An experience Report.,
    in «THE JOURNAL OF SYSTEMS AND SOFTWARE»,
    vol. 84 ,
    n. 10,
    2011
    , pp. 1618-
    1637
  9. Luca Cernuzzi, Magalí González, Marco Ronchetti, Adolfo Villafiorita, Komminist Weldemariam,
    Experiences in e-Governance from an ICT4G Perspective: Case Studies and Lesson Learned,
    in Dr. Danilo Piaggesi, Dr. Kristian J. Sund and Dr. Walter Castelnovo (eds.),
    Global Strategy and Practice of e-Governance: Examples from Around the World,
    Washington D.C.,
    IGI Global ,
    2011,
    pp. 407-
    423
  10. Aaron Ciaghi, Komminist Weldemariam, Adolfo Villafiorita,
    Law Modeling with Ontological Support and BPMN: a Case Study,
    2011,
    (International Conference on Technical and Legal Aspects of the e-Society,
    Gosier, Guadeloupe, France)
    February 23-28, 2011
1234567next ›last »

Contact

Adolfo's Personal Page

FBK © 2008-12 Fondazione Bruno Kessler