Publications by Topic

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

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

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

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

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

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

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

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

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

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

    Abstract BibTeX
  1. 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
  1. 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
  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. Retrieved from http://www.clei.org/cleiej/paper.php?id=328

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

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

    BibTeX PDF
  1. 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
  1. 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
  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
  1. Villafiorita, A. (2014). Introduction to Software Project Management. Auerbach Publications. Retrieved from http://www.spmbook.com

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

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

    Abstract BibTeX
  1. 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
  1. 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
  1. 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
  1. 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
  1. 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
  1. 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
  1. 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
  1. 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
  1. Costa, P., Ferlan, C., & Villafiorita, A. (Eds.). (2013). Chi Porta da Mangiare? Il Cibo tra eccessi e scarsità. FBK Press.

    BibTeX
  1. 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
  1. 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
  1. 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
  1. 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
  1. 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
  1. 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
  1. 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
  1. 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
  1. 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
  1. 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
  1. 37th Annual IEEE Computer Software and Applications Conference, COMPSAC 2013, Kyoto, Japan, July 22-26, 2013. (2013). COMPSAC. IEEE Computer Society.

    BibTeX
  1. Seventh International Conference on Availability, Reliability and Security, Prague, ARES 2012, Czech Republic, August 20-24, 2012. (2012). ARES. IEEE Computer Society.

    BibTeX
  1. Sixth International Conference on Availability, Reliability and Security, ARES 2011, Vienna, Austria, August 22-26, 2011. (2011). ARES. IEEE.

    BibTeX
  1. 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
  1. ARES 2010, Fifth International Conference on Availability, Reliability and Security, 15-18 February 2010, Krakow, Poland. (2010). ARES. IEEE Computer Society.

    BibTeX