List of Publications

Menu

Book

  1. Villafiorita, A. (2014). Introduction to Software Project Management. Auerbach Publications. Bibtex
  2. Bozzano, M., & Villafiorita, A. (2010). Design and Safety Assessment of Critical Systems - A formal methods perspective. CRC Press (Taylor and Francis). Abstract Bibtex

Editor

  1. Costa, P., Ferlan, C., & Villafiorita, A. (Eds.). (2013). Chi Porta da Mangiare? Il Cibo tra eccessi e scarsità. FBK Press. Bibtex
  2. Popescu-Zeletin, R., Jonas, K., Rai, I. A., Glitho, R., & Villafiorita, A. (Eds.). (2012). E-Infrastructures and E-Services on Developing Countries: Third International ICST Conference, AFRICOMM 2011, Zanzibar, Tanzania, November 23-24 (Vol. 92). Springer. Abstract Bibtex
  3. Popescu-Zeletin, R., Rai, I. A., Jonas, K., & Villafiorita, A. (Eds.). (2011). E-Infrastructures and E-Services on Developing Countries: Second International ICST Conference, AFRICOMM 2010, Cape Town, South Africa. Springer. Bibtex
  4. Villafiorita, A., Regis, S.-P., & Zorer, A. (Eds.). (2010). E-Infrastructures and E-Services on Developing Countries: First International ICST Conference, AFRICOMM December 2009, Maputo, Mozambique (Vol. 38). Springer. Bibtex

Book chapter

  1. 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
  2. Villafiorita, A. (2013). Spreco Alimentare e nuove Tecnologie. In Chi Porta da Mangiare? Il Cibo tra eccessi e scarsità. FBK Press. Bibtex
  3. 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
  4. Bozzano, M., & Villafiorita, A. (2012). Safety Critical Systems. In Encyclopedia of Software Engineering. CRC Press, Taylor \& Francis Group. Abstract Bibtex
  5. 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
  6. 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
  7. Cernuzzi, L., Gonzalez, M., 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. Abstract Bibtex
  8. 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. Abstract Bibtex

Journal

  1. 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. Abstract Bibtex
  2. 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
  3. Weldemariam, K., & Villafiorita, A. (2011). Procedural Security Analysis: A Methodological Approach. Journal of Systems and Software, 84(7), 1114–1129. https://doi.org/10.1016/j.jss.2011.01.064 Abstract Bibtex
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. Giunchiglia, F., Villafiorita, A., & Walsh, T. (1999). Theories of Abstraction. Ai Communications, 10(3-4), 167–176. Abstract Bibtex
  10. Benerecetti, M., & Villafiorita, A. (1999). Formal specification of Beliefs in Multi-Agents Systems. International Journal of Intelligent Systems, 14(10), 1021–1040. Abstract Bibtex
  11. Ciaghi, A., Mattioli, A., & Villafiorita, A. (2010). A Tool Supported Methodology for BPR in Public Administrations. International Journal of Electronic Governance (IJEG), 3(2). Abstract Bibtex

Conference

  1. Ciaghi, A., Dalvit, L., Gumbo, S., Gunzo, F., Terzoli, A., & Villafiorita, A. (2015, August). LRIT4AE: Bridging South African and European Competences for Living Labs. Proceedings of 19th International Education Association of South Africa (IEASA) Conference. Bibtex
  2. Ciaghi, A., & Villafiorita, A. (2016). Beyond food sharing: Supporting food waste reduction with ICTs. 2016 IEEE International Smart Cities Conference (ISC2), 1–6. https://doi.org/10.1109/ISC2.2016.7580874 Abstract Bibtex
  3. Fadhil, A., Matteotti, C., Armellin, G., Villafiorita, A., & Betti, D. (2016). CoachMe: a platform for promoting healthy lifestyle. In F. Paternò, K. V\"a\"an\"anen, K. Church, J. H\"akkil\"a, A. Krüger, & M. Serrano (Eds.), Proceedings of the 18th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct, MobileHCI 2016, Florence, Italy, September 6-9, 2016 (pp. 1077–1080). ACM. https://doi.org/10.1145/2957265.2965004 Bibtex
  4. Ciaghi, A., Chatikobo, T., Dalvit, L., Indrajith, D., Mfundiso Miya, P. B. M., & Villafiorita, A. (2016). Hacking for Southern Africa: Collaborative Development of Hyperlocal Services for Marginalised Communities. In P. Cunningham & M. Cunningham (Eds.), IST-Africa 2016 Conference Proceedings. IIMC International Information Management Corporation. Abstract Bibtex
  5. Grau, I., Cernuzzi, L., & Villafiorita, A. (2014). Analyzing Service Oriented Methodologies for Sustainable Applications. In XXXII International Conference of The Chilean Computer Science Society. Bibtex
  6. Al-Shammari, A. F. N., & Villafiorita, A. (2014). Iraqi Elections in 2014: a Privacy Requirement Evaluation Based on a Polling Place Experience. Proceeding of INFORMATIK 2014, Big Data-Komplexitat Meistern, Stuttgart, Germany, 1359–1370. Bibtex
  7. Ciaghi, A., Molini, P., Villafiorita, A., & Weldemariam, K. S. (2013). Maputo living lab summer school of ICTs: An experience report. IST-Africa Conference and Exhibition (IST-Africa), 2013, 1–8. Abstract Bibtex
  8. 37th Annual IEEE Computer Software and Applications Conference, COMPSAC 2013, Kyoto, Japan, July 22-26, 2013. (2013). In COMPSAC. IEEE Computer Society. Bibtex
  9. 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. Proceedings of the International Conference on Management of Emergent Digital EcoSystems, 40–47. https://doi.org/10.1145/2457276.2457285 Bibtex
  10. Al-Shammari, A. F. N., Villafiorita, A., & Weldemariam, K. (2012). Towards an Open Standard Vote Verification Framework in Electronic Voting Systems. ARES, 437–444. Bibtex
  11. Al-Shammari, A. F. N., Villafiorita, A., & Weldemariam, K. (2012). Understanding the Development Trends of Electronic Voting Systems. ARES, 186–195. Bibtex
  12. 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
  13. Eshete, B., Weldemariam, K., Villafiorita, A., & Zulkernine, M. (2013). Confeagle: Automated Analysis of Security Configuration Vulnerabilities in Web Applications. In Proceedings of the International Conference on Security and Reliability (SERE). Bibtex
  14. Ciaghi, A., Molini, P., Villafiorita, A., & Weldemariam, K. (2013). Maputo Living Lab Summer School of ICTs: an Experience Report. Accepted at IST-Africa 2013. Bibtex
  15. 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
  16. 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 International Conference on ICT for Africa 2012, Kampala, Uganda, March 21-24, 2012. Bibtex
  17. Ciaghi, A., Eshete, B., Molini, P., & Villafiorita, A. (2012). Social Accountability in Mozambique: an Experience Report from the Moamba District. E-Infrastructures and E-Services on Developing Countries: Fourth International ICST and IEEE Conference, AFRICOMM 2012, Yaounde, Cameroon, November 12-14. Abstract Bibtex
  18. 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
  19. 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
  20. Asfaw, B., Bekele, D., Eshete, B., Villafiorita, A., & Weldemariam, K. (2010). Host-based anomaly detection for pervasive medical systems. CRiSIS, 1–8. Abstract Bibtex
  21. Eshete, B., Villafiorita, A., & Weldemariam, K. (2011). Early Detection of Security Misconfiguration Vulnerabilities in Web Applications. ARES, 169–174. Bibtex
  22. 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
  23. Ciaghi, A., Villafiorita, A., Chemane, L., & Macueve, G. (2011, May). Stimulating Development through Transnational Living Labs: the Italo-Mozambican Vision. Proceedings of the 6th Annual IST-Africa Conference Gabarone, Botswana. Abstract Bibtex
  24. Weldemariam, K., & Villafiorita, A. (2011). A Formal Methodology for Procedural Security Assessment. Proceedings of the Fifth International Conference on Digital Society. Abstract Bibtex
  25. Ciaghi, A., Weldemariam, K., & Villafiorita, A. (2011). Law Modeling with Ontological Support and BPMN: a Case Study. Proceedings of the Fifth International Conference on Digital Society - CYBERLAWS. Abstract Bibtex
  26. Sartori, V., Eshete, B., & Villafiorita, A. (2011). Measuring the Impact of Different Metrics on Software Quality: a Case Study in the Open Source Domain. Proceedings of the Fifth International Conference on Digital Society. Abstract Bibtex
  27. 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. Abstract Bibtex
  28. 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
  29. 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
  30. 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
  31. 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, & \AAsa Smedberg (Eds.), ICDS (pp. 353–358). IEEE Computer Society. Abstract Bibtex
  32. 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, & \AAsa Smedberg (Eds.), ICDS (pp. 210–215). IEEE Computer Society. Abstract Bibtex
  33. 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, & \AAsa Smedberg (Eds.), ICDS (pp. 14–19). IEEE Computer Society. Abstract Bibtex
  34. Weldemariam, K., Kemmerer, R. A., & Villafiorita, A. (2010). Formal Specification and Analysis of an E-voting System. ARES, 164–171. Abstract Bibtex
  35. 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
  36. 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
  37. Weldemariam, K. S., & Villafiorita, A. (2008). A Methodology for Assessing Procedural Security: A Case Study in E-Voting. Electronic Voting, 83–94. Abstract Bibtex
  38. Weldemariam, K. S., & Villafiorita, A. (2008). Formal Procedural Security Modeling and Analysis. Proceedings of 3rd International Conference on Risks and Security of Internet and Systems (CriSiS'08), 249–254. Abstract Bibtex
  39. Weldemariam, K. S., Villafiorita, A., & Mattioli, A. (2007). Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach. E-Voting and Identity, First International Conference, VOTE-ID 2007, 4896, 38–49. Abstract Bibtex
  40. Weldemariam, K. S., & Villafiorita, A. (2008). Modeling and Analysis of Procedural Security in (e)Voting: the Trentino's Approach and Experiences. Proceedings of the Conference on Electronic Voting Technology, 1–10. Abstract Bibtex
  41. Sebastiani, R., & Villafiorita, A. (1998). SAT-based decision procedures for normal modal logics: a theoretical framework. Proceedings of 8th International Conference on Artificial Intelligence: Methodology, Systems, and Applications (AIMSA98). Bibtex
  42. Bozzano, M., & Villafiorita, A. (2003). Improving System Reliability via Model Checking: the FSAP/NuSMV-SA Safety Analysis Platform. Proceedings of the 22nd International Confecence SAFECOMP 2003, 2788, 49–62. Abstract Bibtex
  43. Volha, B., Dalpiaz, F., Ferrario, R., Mattioli, A., & Villafiorita, A. (2007). Evaluating Procedural Alternatives: a case study in e-voting. Proceedings of 1st International Conference on Methodologies, Technologies and Tools Enabling e-Government (MeTTeG07), 125–138. Abstract Bibtex
  44. Ciaghi, A., Mattioli, A., & Villafiorita, A. (2009). VLPM: a Tool to support BPR in Public Administration. Proceedings of the Third International Conference on Digital Society (ICDS2009), 289–293. Abstract Bibtex
  45. Giunchiglia, F., & Villafiorita, A. (1996). ABSFOL: A Proof Checker with Abstraction. Proceedings of the 13th International Conference on Automated Deduction (CADE13), 1104, 136–140. Abstract Bibtex
  46. 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. Proceedings of 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP 1999), 410–419. Abstract Bibtex
  47. Longo, F., Tiella, R., Tonella, P., & Villafiorita, A. (2008). Measuring the Impact of Different Categories of Software Evolution. IWSM/Metrikon/Mensura, 5338, 344–351. Abstract Bibtex
  48. Giunchiglia, F., Sebastiani, R., Villafiorita, A., & Walsh, T. (1996). A General Purpose Reasoner for Abstraction. Proceedings of Advances in Artificial Intelligence, 11th Biennal Conference of the Canadian Society for Computational Studies of Intelligence (AI96), 1081, 323–335. Abstract Bibtex
  49. Bozzano, M., Cavallo, A., Cifaldi, M., Valacca, L., & Villafiorita, A. (2003). Improving Safety Assessment of Complex Systems: An Industrial case study. Proceedings of the International Symposium of Formal Methods Europe (FME 2003), 2805, 208–222. Abstract Bibtex
  50. Bozzano, M., Villafiorita, A., Akerlund, O., Bieber, P., Bougnol, C., Boede, E., Bretschneider, M., Cavallo, A., Castel, C., & Cifaldi, M. (2003). ESACS: an integrated methodology for design and safety analysis of complex systems. Proceedings of the European Safety and Reliability Conference 2003, ESREL2003. Abstract Bibtex
  51. Bozzano, M., & Villafiorita, A. (2003). Integrating Fault Tree Analysis with Event Ordering Information. Proceedings of the European Safety and Reliability Conference 2003 (ESREL 2003). Abstract Bibtex
  52. Villafiorita, A. (1998). Abstraction as a Form of Elaboration Tolerance. Proceedings of 8th International Conference on Artificial Intelligence: Methodology, Systems, and Applications (AIMSA98), 427–437. Abstract Bibtex
  53. Cimatti, A., Pieraccini, P. L., Sebastiani, R., Traverso, P., & Villafiorita, A. (1999). Formal Specification and validation of a Vital Communication Protocol. Proceedings of FM99, World Congress on Formal Methods in the Development of Computing Systems, 1584–1604. Bibtex
  54. Tiella, R., Villafiorita, A., & Tomasi, S. (2007). FSMC+, a tool for the generation of Java code from statecharts. Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java (PPPJ-07), 93–102. Abstract Bibtex

Scientific dissemination

  1. Villafiorita, A. (2018). Agricoltura e Informatica, un binomio vincente. Agricoltura Trentina, XXXVII(2), 8–9. Bibtex
  2. Ciaghi, A., & Villafiorita, A. (2015). Combattere lo spreco e la povertà alimentare con la tecnologia. Economia Trentina, 4, 58–62. Bibtex
  3. Villafiorita, A. (2015). Tecnologie per combattere lo spreco alimentare. Scienze e Ricerche, Supplemento 2(7), 72–75. Abstract Bibtex

Workshop

  1. Grau, I., Travassos, G., Cernuzzi, L., & Villafiorita, A. (2014, April). Tape Mbo'e: A First Experimental Assessment. 11th Experimental Software Engineering Track Workshop (ESELAW), XVII Ibero-American Conference on Software Engineering (CIbSE). Abstract Bibtex
  2. Weldemariam, K., Mattioli, A., & Villafiorita, A. (2009). Managing Requirements for E-Voting Systems: Issues and Approaches Motivated by a Case Study. Requirements Engineering for e-Voting Systems (RE-VOTE), 2009 First International Workshop On, 29–37. https://doi.org/10.1109/RE-VOTE.2009.7 Abstract Bibtex
  3. Al-Shammari, A. F. N., Weldemariam, K., Villafiorita, A., & Tessaris, S. (2011). Vote verification through open standard: A roadmap. Requirements Engineering for Electronic Voting Systems (REVOTE), 2011 International Workshop On, 22–26. https://doi.org/10.1109/REVOTE.2011.6045912 Abstract Bibtex
  4. Eshete, B., Villafiorita, A., & Weldemariam, K. (2011, July). Malicious Website Detection: Effectiveness and Efficiency Issues. Proceedings of SysSec 2011. Abstract Bibtex
  5. Ciaghi, A., & Villafiorita, A. (2010). Towards a Law Modeling Framework to Support Law-Making via BPR. Proceedings of the First Workshop on Law Compliancy Issues in Organisational Systems and Strategies. Abstract Bibtex
  6. Cimatti, A., Pieraccini, P. L., Sebastiani, R., Traverso, P., & Villafiorita, A. (1999). Formal Specification and validation of a Vital Communication Protocol. Proceedings of 4th International ERCIM Workshop on Formal Methods for Industrial Critical Systems. Bibtex
  7. Roveri, M., & Villafiorita, A. (1996). Using Abstraction to Prove Theorems in Boolean Algebra. Proceedings of AISB96 Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice, 40–41. Abstract Bibtex
  8. Villafiorita, A., & Giunchiglia, F. (1996, January). Inductive Theorem Proving via Abstraction. Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics (AI-MATH96). Abstract Bibtex
  9. Tiella, R., Villafiorita, A., & Tomasi, S. (2006, October). Specification of the Control Logic of an eVoting System in UML: the ProVotE experience. Proceedings of 5th International Workshop on Critical Systems Development Using Modeling Languages (CSDUML06). Abstract Bibtex
  10. Sebastiani, R., Villafiorita, A., & Giunchiglia, F. (1994). Proving Theorems by Using Abstraction Interactively. Proceedings of the Second International Round-Table on Abstract Intelligent Agent: Situation Assessment (AIA 94). Abstract Bibtex
  11. Villafiorita, A., & Sebastiani, R. (1994). Proof planning by abstraction. Proceedings of ECAI94 Workshop From Theorem Provers to Mathematical Assistants, 15–24. Abstract Bibtex
  12. Cimatti, A., Giunchiglia, F., Traverso, P., & Villafiorita, A. (1999). Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study. Proceedings of FLoC99 Workshop on Run-Time Result Verification. Abstract Bibtex
  13. Villafiorita, A. (1995). Reasoning by Analogy via Abstraction. Proceedings of the Symposium on Abstraction, Reformulation and Approximation, SARA-95, 156–162. Abstract Bibtex