FILTER

All Books Books as Editor Book Chapters Articles in Journals Articles in Conferences Workshops Theses

Publications by Type

Books

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

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

    BibTeX

Books as 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 Chapters

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

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

    BibTeX
  6. 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
  7. 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
  8. Villafiorita, A. (2013). Spreco Alimentare e nuove Tecnologie. In Chi Porta da Mangiare? Il Cibo tra eccessi e scarsità. FBK Press.

    BibTeX
  9. 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
  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.), Threats, Countermeasures, and Advances in Applied Information Security (pp. 361–380). IGI.

    BibTeX

Articles in Journals

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

    Abstract BibTeX
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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

Articles in Conferences

  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. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. Eshete, B., Villafiorita, A., & Weldemariam, K. (2011). Early Detection of Security Misconfiguration Vulnerabilities in Web Applications. In ARES (pp. 169–174). IEEE.

    BibTeX
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. 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
  47. 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

Workshops

  1. 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
  2. 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
  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 4th International ERCIM Workshop on Formal Methods for Industrial Critical Systems.

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

    Abstract BibTeX
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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

Theses

  1. 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
  2. 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
  3. Ciaghi, A. (2010). Towards a Modeling Framework for Law-Making (Master's thesis). Università degli Studi di Trento.

    BibTeX
  4. Ciaghi, A. (2007). Dalle Leggi ai Modelli: Strumenti e Metodologie (Master's thesis). Università degli Studi di Trento.

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

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

    Abstract BibTeX PDF
  8. Marconcini, R. (2013, September). ANALYSIS AND EVALUATION OF ONLINE PARTICIPATION TOOLS (Master's thesis). University of Trento.

    BibTeX PDF
  9. 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
  10. 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
  11. Secchi, M. (2014, December). Un’Applicazione Web per l’Ausilio Grafico alla Gestione di Portfolio Progetti (Master's thesis). University of Trento.

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