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.

PROJECTS

Zero A Scuola

Role: Program Management

The main goal of this project is reducing food waste in school canteens by measuring how much food each student leaves on the tray at every meal and by generating awareness on food waste among the students.

More information ...

The App Factory

Role: Principal investigator

The project has the goal of sharing, consolidating, and improving current practices to build software products for emerging markets, taking into account different constraints, such as time-to-market, value for users, and maintainability. The project is implemented through the exchange of experiences (of the partners and of the SMEs collaborating with the partners), training of students on the methodological aspects, and experimentation.

More information ...

Hour of Code

Role: Facilitator

The Hour of Code is a global movement reaching over 100 million students in more than 180 countries. It started as a one-hour introduction to computer science, designed to demystify "code", to show that anybody can learn the basics, and to broaden participation in the field of computer science. It has since become a worldwide effort to celebrate computer science, starting with 1-hour coding activities but expanding to all sorts of community efforts.

We have been organizing Hour of Code from 2015 in different events and in different venues. Here is a list of the most relevant ones:

  • Researchers' Night 2015 @ Trento
  • Chiamata alle Arti e alle Scienze 2016 @ FEM
  • Illuminiamo il futuro 2016 @ FBK
  • Introduzione all'informatica @ Carcere di Spini 2015
  • Introduzione all'informatica @ Carcere di Spini 2016
More information ...

OraDona

Role: Program Management

App and Website for a contest organized by Fondazione Banco Alimentare (the Italian Food Bank), and LaFabbrica, funded by the Ministry of Agriculture to promote food collection for charity in oratories.

More information ...

ComeButta?

Role: Program Management

Using IT to reduce waste

This is a long-term collaboration with AMNU, the company for waste disposal in Alta Valsugana, with the goal of experimenting technologies for reducing domestic waste

More information ...

Dal Frigorifero a chi ha bisogno

Role: Program Management

The goal of this project is to develop smart services for consumers to help reduce food waste.

More information ...

Maputo Living Lab

Role: Program Management

The Maputo Living Lab (MLL) aims at applying the open innovation paradigm of Living Labs by involving the local community as a source for project ideas and as end-user group for the Living Lab's products.

Furthermore, being located in a developing region, MLL will have the goal of fostering local development by working as a start-up incubator to promote local entrepreneurship, helping the execution of innovative projects that can contribute to the improvement of the quality of life in Mozambique.

More information ...

ICT in Low Resource Settings: Innovating for Africa and Europe through Living Lab

Role: Program Management

The implementation of ICT projects in developmental contexts is a growing phenomenon. It presents interesting social and technical challenges.

Understanding of lessons learnt and best practices under extreme conditions such as the ones found on the African continent can provide valuable insights for ICT deployment in developed countries.

At the same time, the experience in use cases and technical know-how of developed countries can help regions such as Sub-Saharan Africa in harnessing the full potential of ICT for social and economic development.

More information ...

eGIF4M - Interoperability Framework for Mozambique

Role: Consultant

The project, financed by UTICT (the Technical Unit for the Implementation of e-Government in Mozambique) run in 2009 and was carried out in collaboration with the University of Trento and CREATE-NET.

The goal had the goal of defining an interoperability framework for the e-Government systems of Mozambique and defining an implementation plan to carry out the transition. The definition of the framework presented some interesting challenges due to the need of taking into account some specific requirements typical of a fast-growing, developing country, among which we mention:

  • The centralized, top-down approach typically associated to any interoperability framework had to be reconciled with the fast, decentralized, and loosely controlled development of IT solutions going on in Mozambique
  • the standardization process, typically comprising the different technical layers to guarantee proper interoperability of the IT systems, had to be "lifted" at the software management and development level, to simplify longer-term maintainability of the IT solutions integration of manual and automated processes had to be taken into account the framework had to be scalable and flexible in order to make its adoption sustainable in the longer term.
More information ...

ICT4Laws

Role: Quantitative Assessment

Law-makers, designers of legal information systems and citizens are often challenged by the complexity of bodies of laws and the growing number of references needed to interpret a law. This line of activities investigates ways in which laws can be presented to citizens and law makers as to improve comprehension and fruibility.

More information ...

Social Accountability in Mozambique

Role: Project Management, Data Analysis

Empowering citizens in making Governments more accountable and transparent in the services they provide has gained more attention in the last few years both in the developing and in the developed world. At the basis of any such exercise, information and data collection activities play an important role.

SAMO stands for "Social Accountability in Mozambique" and the project, conducted in collaboration with the Ministry of Education of Mozambique, the World Bank and the Maputo Living Lab had the goal of collecting data about various procurement indicators of primary schools in the Moamba district, a rural area of Mozambique.

For this purpose we developed a data collection platform and a mobile application to conduct field work and collected 677 interviews.

More information ...

PUBLICATIONS
  • Ciaghi, A., Villafiorita, A., & Dalvit, L. (2015). Introducing a Maturity Model for ICT for Development Projects. In J. Steyn & D. van Greunen (Eds.), ICTs for Inclusive Communities in Developing Societies (pp. 72–83). Cambridge Scholars Publishing.

    BibTeX
  • Al-Shammari, A. F. N., Villafiorita, A., & Weldemariam, K. (2012). Understanding the Development Trends of Electronic Voting Systems. In ARES (pp. 186–195). IEEE Computer Society.

    BibTeX
  • Al-Shammari, A. F. N., Villafiorita, A., & Weldemariam, K. (2012). Towards an Open Standard Vote Verification Framework in Electronic Voting Systems. In ARES (pp. 437–444). IEEE Computer Society.

    BibTeX
  • Asfaw, B., Bekele, D., Eshete, B., Villafiorita, A., & Weldemariam, K. (2010). Host-based anomaly detection for pervasive medical systems. In CRiSIS (pp. 1–8). IEEE.

    Abstract BibTeX
  • Bekele, D., Eshete, B., Villafiorita, A., & Weldemariam, K. (2010). Context Information Refinement for Pervasive Medical Systems. In L. Berntzen, F. Bodendorf, E. Lawrence, M. Perry, & Åsa Smedberg (Eds.), ICDS (pp. 210–215). IEEE Computer Society.

    Abstract BibTeX
  • Ciaghi, A., Eshete, B., Molini, P., & Villafiorita, A. (2013). SAMo: Experimenting a Social Accountability Web Platform. In B. Thies & A. Nanavati (Eds.), ACM DEV (p. 17). ACM.

    BibTeX
  • Eshete, B., Mattioli, A., Villafiorita, A., & Weldemariam, K. (2010). ICT for Good: Opportunities, Challenges and the Way Forward. In L. Berntzen, F. Bodendorf, E. Lawrence, M. Perry, & Åsa Smedberg (Eds.), ICDS (pp. 14–19). IEEE Computer Society.

    Abstract BibTeX
  • Eshete, B., Villafiorita, A., & Weldemariam, K. (2012). BINSPECT: Holistic Analysis and Detection of Malicious Web Pages. In A. D. Keromytis & R. D. Pietro (Eds.), SecureComm (Vol. 106, pp. 149–166). Springer.

    BibTeX
  • Eshete, B., Villafiorita, A., & Weldemariam, K. (2011). Early Detection of Security Misconfiguration Vulnerabilities in Web Applications. In ARES (pp. 169–174). IEEE.

    BibTeX
  • Eshete, B., Villafiorita, A., Weldemariam, K., & Zulkernine, M. (2013). EINSPECT: Evolution-Guided Analysis and Detection of Malicious Web Pages. In COMPSAC (pp. 375–380). IEEE Computer Society.

    BibTeX
  • Sahilu, H., Villafiorita, A., Weldemariam, K., Belachew, M., & Zewge, A. (2012). Designing distributed agricultural information services for developing countries. In E. Cutrell, E. W. Zegura, G. Borriello, & B. Thies (Eds.), ACM DEV (p. 24). ACM.

    Abstract BibTeX
  • Shvaiko, P., Villafiorita, A., Zorer, A., Chemane, L., Fumo, T., & Hinkkanen, J. (2009). eGIF4M: eGovernment Interoperability Framework for Mozambique. In M. Wimmer, H. J. Scholl, M. Janssen, & R. Traunmüller (Eds.), EGOV (Vol. 5693, pp. 328–340). Springer.

    Abstract BibTeX
  • Villafiorita, A., Weldemariam, K., Susi, A., & Siena, A. (2010). Modeling and Analysis of Laws Using BPR and Goal-Oriented Framework. In L. Berntzen, F. Bodendorf, E. Lawrence, M. Perry, & Åsa Smedberg (Eds.), ICDS (pp. 353–358). IEEE Computer Society.

    Abstract BibTeX
  • Weldemariam, K., Kemmerer, R. A., & Villafiorita, A. (2010). Formal Specification and Analysis of an E-voting System. In ARES (pp. 164–171). IEEE Computer Society.

    Abstract BibTeX
  • Weldemariam, K., Kemmerer, R. A., & Villafiorita, A. (2009). Formal analysis of attacks for e-voting system. In A. A. E. Kalam, Y. Deswarte, & M. Mostafa (Eds.), CRiSIS (pp. 26–34). IEEE.

    Abstract BibTeX
  • Weldemariam, K., & Villafiorita, A. (2010). A Survey: Electronic Voting Development and Trends. In R. Krimmer & R. Grimm (Eds.), Electronic Voting (Vol. 167, pp. 119–131). GI.

    Abstract BibTeX
  • Weldemariam, K., Villafiorita, A., & Mattioli, A. (2009). Experiments and data analysis of electronic voting system. In A. A. E. Kalam, Y. Deswarte, & M. Mostafa (Eds.), CRiSIS (pp. 105–112). IEEE.

    Abstract BibTeX
  • Al-Shammari, A. F. N., & Villafiorita, A. (2014). Iraqi Elections in 2014: a Privacy Requirement Evaluation Based on a Polling Place Experience. In Proceeding of INFORMATIK 2014, Big Data-Komplexitat meistern, Stuttgart, Germany (pp. 1359–1370).

    BibTeX
  • Al-Shammari, A. F. N., & Villafiorita, A. (2014). A Synthesis of Vote Verification Methods in Electronic Voting Systems. In Design, Development, and Use of Secure Electronic Voting Systems. IGI Global.

    BibTeX
  • Al-Shammari, A. F. N., Weldemariam, K., Villafiorita, A., & Tessaris, S. (2011). Vote verification through open standard: A roadmap. In Requirements Engineering for Electronic Voting Systems (REVOTE), 2011 International Workshop on (pp. 22–26). doi:10.1109/REVOTE.2011.6045912

    Abstract BibTeX
  • Benerecetti, M., & Villafiorita, A. (1999). Formal specification of Beliefs in Multi-Agents Systems. International Journal Of Intelligent Systems, 14(10), 1021–1040.

    Abstract BibTeX
  • Bozzano, M., Cavallo, A., Cifaldi, M., Valacca, L., & Villafiorita, A. (2003). Improving Safety Assessment of Complex Systems: An Industrial case study. In Proceedings of the International Symposium of Formal Methods Europe (FME 2003) (Vol. 2805, pp. 208–222). Springer-Verlag.

    Abstract BibTeX
  • Bozzano, M., & Villafiorita, A. (2012). Safety Critical Systems. In Encyclopedia of Software Engineering. CRC Press, Taylor & Francis Group.

    Abstract BibTeX
  • Bozzano, M., & Villafiorita, A. (2010). Design and Safety Assessment of Critical Systems - A formal methods perspective. CRC Press (Taylor and Francis).

    Abstract BibTeX
  • Bozzano, M., & Villafiorita, A. (2007). The FSAP/NuSMV-SA Safety Analysis Platform. International Journal On Software Tools for Technology Transfer, 9(1), 5–24.

    Abstract BibTeX
  • Bozzano, M., & Villafiorita, A. (2003). Improving System Reliability via Model Checking: the FSAP/NuSMV-SA Safety Analysis Platform. In Proceedings of the 22nd International Confecence SAFECOMP 2003 (Vol. 2788, pp. 49–62). Springer.

    Abstract BibTeX
  • Bozzano, M., & Villafiorita, A. (2003). Integrating Fault Tree Analysis with Event Ordering Information. In Proceedings of the European Safety and Reliability Conference 2003 (ESREL 2003). Balkema.

    Abstract BibTeX
  • Bozzano, M., Villafiorita, A., Akerlund, O., Bieber, P., Bougnol, C., Boede, E., … Cifaldi, M. (2003). ESACS: an integrated methodology for design and safety analysis of complex systems. In Proceedings of the European Safety and Reliability Conference 2003, ESREL2003. Balkema.

    Abstract BibTeX
  • Bryl, V., Dalpiaz, F., Ferrario, R., Mattioli, A., & Villafiorita, A. (2009). Evaluating procedural alternatives: a case study in e-voting. Electronic Government, An International Journal, 6(2), 213–231.

    Abstract BibTeX
  • Bundy, A., Giunchiglia, F., Villafiorita, A., & Walsh, T. (1997). Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem. Journal Of Automated Reasoning, 19(3), 319–346.

    Abstract BibTeX
  • Cernuzzi, L., Gonzalez Magalı́, Ronchetti, M., Villafiorita, A., & Weldemariam, K. (2011). Multi-cultural experiences in eGovernance: Case Studies and a Roadmap. In W. C. Danilo Piagessi Kristian Sund (Ed.), Global Strategy and Practice of e-Governance: Examples from Around the World. IGI. Retrieved from http://www.igi-global.com/Bookstore/TitleDetails.aspx?TitleId=46168

    Abstract BibTeX
  • Chiappini, A., Cimatti, A., Porzia, C., Rotondo, G., Sebastiani, R., Traverso, P., & Villafiorita, A. (1999). Formal Specification and Development of a Safety-Critical Train Management. In Proceedings of 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP 1999) (pp. 410–419). Springer.

    Abstract BibTeX
  • Ciaghi, A., Eshete, B., Molini, P., & Villafiorita, A. (2012). Social Accountability in Mozambique: an Experience Report from the Moamba District. In E-Infrastructures and E-Services on Developing Countries: Fourth International ICST and IEEE Conference, AFRICOMM 2012, Yaounde, Cameroon, November 12-14.

    Abstract BibTeX PDF
  • Ciaghi, A., Mattioli, A., & Villafiorita, A. (2009). VLPM: a Tool to support BPR in Public Administration. In Proceedings of the Third International Conference on Digital Society (ICDS2009) (pp. 289–293). IEEE Computer Society.

    Abstract BibTeX
  • Ciaghi, A., Mattioli, A., & Villafioritachi, A. (2010). A Tool Supported Methodology for BPR in Public Administrations. International Journal Of Electronic Governance (IJEG), 3(2). Retrieved from http://www.inderscience.com/search/index.php?action=record&rec_id=24443&prevQuery=&ps=10&m=or

    Abstract BibTeX PDF
  • Ciaghi, A., Molini, P., Villafiorita, A., & Weldemariam, K. S. (2013). Maputo living lab summer school of ICTs: An experience report. In IST-Africa Conference and Exhibition (IST-Africa), 2013 (pp. 1–8).

    Abstract BibTeX PDF
  • Ciaghi, A., Valle, A. D., & Villafiorita, A. (2011). Adapting Software Metrics to Analyze the Evolution of Laws – An Italian Case Study. In K. M. Atkinson (Ed.), Frontiers in Artificial Intelligence and Applications (Vol. 235, pp. 53–62). IOS Press.

    Abstract BibTeX PDF
  • Ciaghi, A., & Villafiorita, A. (2012). Crowdsourcing ICTD Best Practices. In Springer (Ed.), E-Infrastructures and E-Services on Developing Countries: Third International ICST Conference, AFRICOMM 2011, Zanzibar, Tanzania, November 23-24 (Vol. 92, pp. 167–176).

    Abstract BibTeX
  • Ciaghi, A., & Villafiorita, A. (2011). Improving Public Administrations via Law Modeling and BPR. In Springer (Ed.), E-Infrastructures and E-Services on Developing Countries: Second International ICST Conference, AFRICOMM 2010, Cape Town, South Africa (pp. 69–78).

    Abstract BibTeX PDF
  • Ciaghi, A., & Villafiorita, A. (2012). Law Modeling and BPR for Public Administration Improvement. In Handbook of Research on E-Government in Emerging Economies: Adoption, E-Participation, and Legal Frameworks (pp. 391–410). IGI.

    Abstract BibTeX
  • Ciaghi, A., & Villafiorita, A. (2010). Towards a Law Modeling Framework to Support Law-Making via BPR. In Proceedings of the First Workshop on Law Compliancy Issues in Organisational Systems and Strategies.

    Abstract BibTeX
  • Ciaghi, A., Villafiorita, A., Chemane, L., & Macueve, G. (2011). Stimulating Development through Transnational Living Labs: the Italo-Mozambican Vision. In Proceedings of the 6th Annual IST-Africa Conference Gabarone, Botswana.

    Abstract BibTeX PDF
  • Ciaghi, A., Weldemariam, K., & Villafiorita, A. (2011). Law Modeling with Ontological Support and BPMN: a Case Study. In CYBERLAWS 2011, The Second International Conference on Technical and Legal Aspects of the e-Society (pp. 29–34).

    BibTeX
  • Ciaghi, A., Weldemariam, K., Villafiorita, A., Mattioli, A., & Quoc-Phan, S. (2010). Supporting Public Administration with an Integrated BPR Environment. In A. Villafiorita, S.-P. Regis, & A. Zorer (Eds.), E-Infrastructures and E-Services on Developing Countries: First International ICST Conference, AFRICOMM 2009, Maputo, Mozambique. Springer.

    Abstract BibTeX
  • Cimatti, A., Giunchiglia, F., Traverso, P., & Villafiorita, A. (1999). Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study. In Proceedings of FLoC99 Workshop on Run-Time Result Verification.

    Abstract BibTeX
  • Cimatti, A., Pieraccini, P. L., Sebastiani, R., Traverso, P., & Villafiorita, A. (1999). Formal Specification and validation of a Vital Communication Protocol. In Proceedings of FM99, World Congress on Formal methods in the Development of Computing Systems (pp. 1584–1604). Springer.

    BibTeX
  • Cimatti, A., Pieraccini, P. L., Sebastiani, R., Traverso, P., & Villafiorita, A. (1999). Formal Specification and validation of a Vital Communication Protocol. In Proceedings of 4th International ERCIM Workshop on Formal Methods for Industrial Critical Systems.

    BibTeX
  • Eshete, B., Villafiorita, A., & Weldemariam, K. (2011). Malicious Website Detection: Effectiveness and Efficiency Issues. In Proceedings of SysSec 2011. Amsterdam.

    Abstract BibTeX
  • Eshete, B., Weldemariam, K., Villafiorita, A., & Zulkernine, M. (2013). Confeagle: Automated Analysis of Security Configuration Vulnerabilities in Web Applications. In In Proceedings of the International Conference on Security and Reliability (SERE).

    BibTeX
  • Giunchiglia, F., Sebastiani, R., Villafiorita, A., & Walsh, T. (1996). A General Purpose Reasoner for Abstraction. In Proceedings of Advances in Artificial Intelligence, 11th Biennal Conference of the Canadian Society for Computational Studies of Intelligence (AI96) (Vol. 1081, pp. 323–335). Springer.

    Abstract BibTeX
  • Giunchiglia, F., & Villafiorita, A. (1996). ABSFOL: A Proof Checker with Abstraction. In Proceedings of the 13th International Conference on Automated Deduction (CADE13) (Vol. 1104, pp. 136–140). Springer.

    Abstract BibTeX
  • Giunchiglia, F., Villafiorita, A., & Walsh, T. (1999). Theories of Abstraction. Ai Communications, 10(3-4), 167–176.

    Abstract BibTeX
  • Grau, I., Cernuzzi, L., & Villafiorita, A. (2013). Analysing Service Oriented Methodologies for Sustainable Applications. In The 32nd International Conference of the Chilean Computer Science Society (SCCC). Temuco, Chile.

    BibTeX
  • Grau, I., Cernuzzi, L., & Villafiorita, A. (2013). Tape Mboe (TME): A Service Oriented Process. In The 32nd International Conference of the Chilean Computer Science Society (SCCC). Temuco, Chile.

    BibTeX
  • Grau, I., Travassos, G. H., Cernuzzi, L., & Villafiorita, A. (2015). Tape Mbo’e: A First Experimental Assessment. CLEI Electronic Journal, 18, CIbSE 2014 Special Issue(1), 26. Retrieved from http://www.clei.org/cleiej/paper.php?id=328

    Abstract BibTeX
  • Grau, I., Travassos, G. H., Cernuzzi, L., & Villafiorita, A. (2014). Tape Mbo’e: A First Experimental Assessment. In 11th Experimental Software Engineering Track Workshop (ESELAW), XVII Ibero-American Conference on Software Engineering (CIbSE).

    Abstract BibTeX
  • Longo, F., Tiella, R., Tonella, P., & Villafiorita, A. (2008). Measuring the Impact of Different Categories of Software Evolution. In IWSM/Metrikon/Mensura (Vol. 5338, pp. 344–351). Springer.

    Abstract BibTeX
  • Roveri, M., & Villafiorita, A. (1996). Using Abstraction to Prove Theorems in Boolean Algebra. In Proceedings of AISB96 Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice (pp. 40–41).

    Abstract BibTeX
  • Sahilu, H., Belachew, M., Villafiorita, A., Weldemariam, K., & Zewge, A. (2012). Towards Designing an Architecture for Delivering Distributed Agricultural Information Services for Developing Countries. In In International Conference on ICT for Africa 2012, Kampala, Uganda, March 21-24, 2012.

    BibTeX
  • Sartori, V., Eshete, B., & Villafiorita, A. (2011). Measuring the Impact of Different Metrics on Software Quality: a Case Study in the Open Source Domain. In Proceedings of the Fifth International Conference on Digital Society.

    Abstract BibTeX
  • Sebastiani, R., & Villafiorita, A. (1998). SAT-based decision procedures for normal modal logics: a theoretical framework. In Proceedings of 8th International Conference on Artificial Intelligence: Methodology, Systems, and Applications (AIMSA98). Springer.

    BibTeX
  • Sebastiani, R., Villafiorita, A., & Giunchiglia, F. (1994). Proving Theorems by Using Abstraction Interactively. In Proceedings of the Second International Round-Table on Abstract Intelligent Agent: Situation Assessment (AIA 94).

    Abstract BibTeX
  • Shvaiko, P., Villafiorita, A., Zorer, A., Chemane, L., & Fumo, T. (2010). eGovernment Interoperability Framework: a case Study in a Developing Country. In C. G. Reddick (Ed.), Comparative E-Government (1st ed., Vol. 25). Springer. Retrieved from http://www.springer.com/computer/information+systems+and+applications/book/978-1-4419-6535-6

    Abstract BibTeX
  • Tiella, R., Villafiorita, A., & Tomasi, S. (2007). FSMC+, a tool for the generation of Java code from statecharts. In Proceedings of the 5th international symposium on Principles and practice of programming in Java (PPPJ-07) (pp. 93–102). ACM.

    Abstract BibTeX
  • Tiella, R., Villafiorita, A., & Tomasi, S. (2006). Specification of the Control Logic of an eVoting System in UML: the ProVotE experience. In Proceedings of 5th International Workshop on Critical Systems Development Using Modeling Languages (CSDUML06).

    Abstract BibTeX
  • Villafiorita, A. (2014). Introduction to Software Project Management. Auerbach Publications. Retrieved from http://www.spmbook.com

    BibTeX
  • Villafiorita, A. (2013). Spreco Alimentare e nuove Tecnologie. In Chi Porta da Mangiare? Il Cibo tra eccessi e scarsità. FBK Press.

    BibTeX
  • Villafiorita, A. (1998). Abstraction as a Form of Elaboration Tolerance. In Proceedings of 8th International Conference on Artificial Intelligence: Methodology, Systems, and Applications (AIMSA98) (pp. 427–437). Springer.

    Abstract BibTeX
  • Villafiorita, A. (1995). Reasoning by Analogy via Abstraction. In Proceedings of the Symposium on Abstraction, Reformulation and Approximation, SARA-95 (pp. 156–162).

    Abstract BibTeX
  • Villafiorita, A., & Giunchiglia, F. (1996). Inductive Theorem Proving via Abstraction. In Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics (AI-MATH96).

    Abstract BibTeX
  • Villafiorita, A., & Sebastiani, R. (1994). Proof planning by abstraction. In Proceedings of ECAI94 Workshop "From Theorem Provers to Mathematical Assistants" (pp. 15–24).

    Abstract BibTeX
  • Villafiorita, A., Weldemariam, K., & Tiella, R. (2009). Development, Formal Verification, and Evaluation of an E-Voting System With VVPAT. IEEE Transactions On Information Forensics and Security, 4(4 part 1), 651–661.

    Abstract BibTeX
  • Volha, B., Dalpiaz, F., Ferrario, R., Mattioli, A., & Villafiorita, A. (2007). Evaluating Procedural Alternatives: a case study in e-voting. In Proceedings of 1st International Conference on Methodologies, Technologies and Tools Enabling e-Government (MeTTeG07) (pp. 125–138). Halley.

    Abstract BibTeX
  • Weldemariam, K., Kemmerer, R. A., & Villafiorita, A. (2011). Formal analysis of an electronic voting system: An experience report. Journal Of Systems and Software, 84(10), 1618–1637.

    Abstract BibTeX
  • Weldemariam, K., Mattioli, A., & Villafiorita, A. (2009). Managing Requirements for E-Voting Systems: Issues and Approaches Motivated by a Case Study. In Requirements Engineering for e-Voting Systems (RE-VOTE), 2009 First International Workshop on (pp. 29–37). doi:10.1109/RE-VOTE.2009.7

    Abstract BibTeX
  • Weldemariam, K., Siena, A., Villafiorita, A., & Susi, A. (2011). Enhancing Law Modeling and Analysis: using BPR-Based and Goal-Oriented Frameworks. International Journal On Advances in Security, 3(3-4), 80–90.

    Abstract BibTeX
  • Weldemariam, K., & Villafiorita, A. (2012). Analyzing the Security of Electronic Voting Systems: Can Formal Methods Really Help? In M. Gupta, J. Walp, & R. Sharman (Eds.), Strategic and Practical Approaches for Information Security Governance: Technologies and Applied Solutions. IGI.

    Abstract BibTeX
  • Weldemariam, K., & Villafiorita, A. (2012). Analyzing the Security of Electronic Voting Systems: Can Formal Methods Really Help? In M. Gupta, J. Walp, & R. Sharman (Eds.), Threats, Countermeasures, and Advances in Applied Information Security (pp. 361–380). IGI.

    BibTeX
  • Weldemariam, K., & Villafiorita, A. (2011). A Formal Methodology for Procedural Security Assessment. In Proceedings of the Fifth International Conference on Digital Society.

    Abstract BibTeX
  • Weldemariam, K., & Villafiorita, A. (2011). Procedural Security Analysis: A Methodological Approach. Journal Of Systems and Software, 84(7), 1114–1129. doi:10.1016/j.jss.2011.01.064

    Abstract BibTeX
  • Weldemariam, K. S., & Villafiorita, A. (2008). Modeling and Analysis of Procedural Security in (e)Voting: the Trentino’s Approach and Experiences. In Proceedings of the conference on Electronic voting technology (pp. 1–10). Berkeley, CA, USA: USENIX Association. Retrieved from http://www.usenix.org/event/evt08/tech/full_papers/weldemariam/weldemariam.pdf

    Abstract BibTeX
  • Weldemariam, K. S., & Villafiorita, A. (2008). A Methodology for Assessing Procedural Security: A Case Study in E-Voting. In Electronic Voting (pp. 83–94). GI.

    Abstract BibTeX
  • Weldemariam, K. S., & Villafiorita, A. (2008). Formal Procedural Security Modeling and Analysis. In Proceedings of 3rd International Conference on Risks and Security of Internet and Systems (CriSiS’08) (pp. 249–254). IEEE.

    Abstract BibTeX
  • Weldemariam, K. S., Villafiorita, A., & Mattioli, A. (2007). Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach. In E-Voting and Identity, First International Conference, VOTE-ID 2007 (Vol. 4896, pp. 38–49). Springer Berlin / Heidelberg: Springer.

    Abstract BibTeX
  • Zewge, A., Weldemariam, K., Hailemariam, S., Villafiorita, A., Susi, A., & Belachew, M. (2012). On the use of goal-oriented methodology for designing agriculture services in developing countries. In Proceedings of the International Conference on Management of Emergent Digital EcoSystems (pp. 40–47). New York, NY, USA: ACM. doi:10.1145/2457276.2457285

    BibTeX