FILTER

All 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994

Publications by Year

2017

2016

2015

  1. 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
  2. Torresani, A. (2015). Social Charities - Ricerca Di Metodi E Strumenti Per Dare Visibilita’ Agli Enti Caritativi All’interno Di Bring The Food (Master's thesis). Università degli Studi di Trento.

    BibTeX
  3. Yegros, I. M. G. (2015, April). Tape Mbo’e: A Service Oriented Method (PhD Thesis). University of Trento.

    Abstract BibTeX PDF
  4. 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

2014

  1. Al-Shammari, A. F. N. (2014, November). OVVM: Open Vote Verification Technique for DRE Systems (PhD thesis). University of Bolzano. Retrieved from https://dl.dropboxusercontent.com/u/44095000/Ali_AlShammari_PhD_Thesis_Nov-2014.pdf

    BibTeX
  2. 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
  3. 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
  4. Bontempelli, A. (2014). Adattamento di un’interfaccia web per sistemi mobile su rete GSM: il caso di Bring The Food (Master's thesis). Università degli Studi di Trento.

    BibTeX PDF
  5. Ciaghi, A. (2014). Standardizing ICT for Development: Towards the Definition of a Standard Process and Maturity Model for ICTD Projects (PhD thesis). Information and Communication Technology Doctoral School, University of Trento.

    Abstract BibTeX
  6. Covi, M. E. (2014, September). Come adattare Scrum ad una strategia SPLE: l’esperienza di SIMA Software e la formalizzazione del Sima Process (Master's thesis). University of Trento.

    BibTeX PDF
  7. 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
  8. Petronella, G. (2014, July). La tua Impronta fa la Differenza: Impostazione e sperimentazione di un progetto per promuovere comportamenti virtuosi in ambito ambientale (Master's thesis). University of Trento.

    BibTeX PDF
  9. Secchi, M. (2014, December). Un’Applicazione Web per l’Ausilio Grafico alla Gestione di Portfolio Progetti (Master's thesis). University of Trento.

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

    BibTeX
  11. Zen, R. (2014). Gherkin* and Cucumber*: a new test case path composition approach to testing Ruby on Rails web applications (Master's thesis). University of Trento.

    BibTeX PDF

2013

  1. 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
  2. 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
  3. Ciaghi, A. (2013). BringTheFood: Storia di Un Successo Non Annunciato. In Chi Porta da Mangiare? Il Cibo tra eccessi e scarsità. FBK Press.

    BibTeX
  4. 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
  5. Eshete, B. (2013, December). Effective Analysis, Characterization, and Detection of Malicious Activities on the Web (PhD Thesis). University of Trento.

    Abstract BibTeX PDF
  6. 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
  7. 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
  8. 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
  9. Marconcini, R. (2013, September). ANALYSIS AND EVALUATION OF ONLINE PARTICIPATION TOOLS (Master's thesis). University of Trento.

    BibTeX PDF
  10. Nodari, A. (2013, July). Transforming trash into gems: a machine learning approach to improve recycling of domestic waste (Master's thesis). University of Trento.

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

    BibTeX
  12. Waldner, L. (2013, July). Studio e valutazione di framework per lo sviluppo cross-platform di applicazioni mobile (Master's thesis). University of Trento.

    BibTeX PDF
  13. Costa, P., Ferlan, C., & Villafiorita, A. (Eds.). (2013). Chi Porta da Mangiare? Il Cibo tra eccessi e scarsità. FBK Press.

    BibTeX
  14. Keromytis, A. D., & Pietro, R. D. (Eds.). (2013). Security and Privacy in Communication Networks - 8th International ICST Conference, SecureComm 2012, Padua, Italy, September 3-5, 2012. Revised Selected Papers. SecureComm (Vol. 106). Springer.

    BibTeX
  15. Thies, B., & Nanavati, A. (Eds.). (2013). Annual Symposium on Computing for Development, ACM DEV ’13, Bangalore, India - January 11 - 12, 2013. ACM DEV. ACM.

    BibTeX
  16. 37th Annual IEEE Computer Software and Applications Conference, COMPSAC 2013, Kyoto, Japan, July 22-26, 2013. (2013). COMPSAC. IEEE Computer Society.

    BibTeX

2012

  1. 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
  2. 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
  3. 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
  4. 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
  5. Bozzano, M., & Villafiorita, A. (2012). Safety Critical Systems. In Encyclopedia of Software Engineering. CRC Press, Taylor & Francis Group.

    Abstract BibTeX
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. Cutrell, E., Zegura, E. W., Borriello, G., & Thies, B. (Eds.). (2012). ACM Annual Symposium on Computing for Development, ACM DEV ’12, Atlanta, GA, USA - March 10 - 11, 2012. ACM DEV. ACM.

    BibTeX
  14. 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
  15. Seventh International Conference on Availability, Reliability and Security, Prague, ARES 2012, Czech Republic, August 20-24, 2012. (2012). ARES. IEEE Computer Society.

    BibTeX

2011

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

    BibTeX
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. Eshete, B., Villafiorita, A., & Weldemariam, K. (2011). Malicious Website Detection: Effectiveness and Efficiency Issues. In Proceedings of SysSec 2011. Amsterdam.

    Abstract BibTeX
  9. 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
  10. 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
  11. 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
  12. Weldemariam, K., & Villafiorita, A. (2011). A Formal Methodology for Procedural Security Assessment. In Proceedings of the Fifth International Conference on Digital Society.

    Abstract BibTeX
  13. 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
  14. 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
  15. Sixth International Conference on Availability, Reliability and Security, ARES 2011, Vienna, Austria, August 22-26, 2011. (2011). ARES. IEEE.

    BibTeX

2010

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. Bozzano, M., & Villafiorita, A. (2010). Design and Safety Assessment of Critical Systems - A formal methods perspective. CRC Press (Taylor and Francis).

    Abstract BibTeX
  8. Ciaghi, A. (2010). Towards a Modeling Framework for Law-Making (Master's thesis). Università degli Studi di Trento.

    BibTeX
  9. 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
  10. 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
  11. 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
  12. 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
  13. Berntzen, L., Bodendorf, F., Lawrence, E., Perry, M., & Åsa Smedberg (Eds.). (2010). The Fourth International Conference on Digital Society, ICDS 2010, 10.16 February 2010, St. Maarten, Netherlands Antilles. ICDS. IEEE Computer Society.

    BibTeX
  14. Krimmer, R., & Grimm, R. (Eds.). (2010). Electronic Voting 2010, EVOTE 2010, 4th International Conference, Co-organized by Council of Europe, Gesellschaft für Informatik and E-Voting.CC, July 21st - 24th, 2010, in Castle Hofen, Bregenz, Austria. Electronic Voting (Vol. 167). GI.

    BibTeX
  15. Verzola, R., Ehringfeld, A., Naber, L., Grechenig, T., Krimmer, R., Traxl, M., … Hall, T. (Eds.). (2010). The 4th International Conference on Electronic Voting 2010 July 21st to 24th 2010. Trento.

    BibTeX
  16. 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
  17. CRiSIS 2010, Proceedings of the Fifth International Conference on Risks and Security of Internet and Systems, Montreal, QC, Canada, October 10-13, 2010. (2010). CRiSIS. IEEE.

    BibTeX
  18. ARES 2010, Fifth International Conference on Availability, Reliability and Security, 15-18 February 2010, Krakow, Poland. (2010). ARES. IEEE Computer Society.

    BibTeX

2009

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  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. 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
  8. Kalam, A. A. E., Deswarte, Y., & Mostafa, M. (Eds.). (2009). CRiSIS 2009, Proceedings of the Fourth International Conference on Risks and Security of Internet and Systems, Toulouse, France, October 19-22, 2009. CRiSIS. IEEE.

    BibTeX
  9. Wimmer, M., Scholl, H. J., Janssen, M., & Traunmüller, R. (Eds.). (2009). Electronic Government, 8th International Conference, EGOV 2009, Linz, Austria, August 31 - September 3, 2009. Proceedings. EGOV (Vol. 5693). Springer.

    BibTeX

2008

  1. 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
  2. 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
  3. 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
  4. 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

2007

  1. 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
  2. Ciaghi, A. (2007). Dalle Leggi ai Modelli: Strumenti e Metodologie (Master's thesis). Università degli Studi di Trento.

    BibTeX
  3. 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
  4. 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
  5. 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

2006

  1. 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

2005

2004

2003

  1. 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
  2. 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
  3. 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
  4. 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

2002

2001

2000

1999

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

    Abstract BibTeX
  2. 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
  3. 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
  4. 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
  5. 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
  6. Giunchiglia, F., Villafiorita, A., & Walsh, T. (1999). Theories of Abstraction. Ai Communications, 10(3-4), 167–176.

    Abstract BibTeX

1998

  1. 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
  2. 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

1997

  1. 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

1996

  1. 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
  2. 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
  3. 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
  4. 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

1995

  1. 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

1994

  1. 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
  2. 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