Publications
2010
- Dawit Bekele, Birhanu Eshete, Adolfo Villafiorita, and Komminist Weldemariam. Context Information Refinement for Pervasive Medical Systems. To Appear In Proceedings of The International Conference on Digital Society (ICDS 2010)), St. Maarten, Netherlands Antilles, February, 10th - 15th 2010.
- Birhanu Eshete, Andrea Mattiolli, Adolfo Villafiorita, and Komminist Weldemariam. ICT for Good: Opportunities, Challenges and the Way Forward. To Appear In Proceedings of The International Conference on Digital Society (ICDS 2010)), St. Maarten, Netherlands Antilles, February, 10th - 15th 2010.
- A. Villafiorita, A.Susi, A. Siena, and K. Weldemariam. Modeling and Analysis of Laws using BPR and Goal-oriented framework. To Appear In Proceedings of International Conference on Technical and Legal Aspects of the e-Society (CYBERLAWS 2010), St. Maarten, Netherlands Antilles, February, 10th - 15th 2010.
- Komminist Weldemariam, Richard Kemmerer, and Adolfo Villafiorita. Formal Specification and Analysis of an e-Voting System. To Appear In Proceedings of The 5th International Conference on Availability, Reliability and Security (ARES 2010), Krakow, Poland, February, 15th - 18th 2010.
2009
- A Ciaghi, K. Weldemariam, A. Villafiorita, A. Mattioli, and Q.S. Phan. Supporting Public Administration with an Integrated BPR Environment. To Appear In Proceedings of The 1st International ICST Conference on e-Infrastructure and e-Services for Developing Countries (AFRICOMM), Maputo, Mozambique 3-4 December 2009.
- Volha Bryl, Fabiano Dalpiaz, Roberta Ferrario, Andrea Mattioli and Adolfo Villafiorita. Evaluating procedural alternatives: a case study in e-voting. Electronic Government, an International Journal (EG).
- Komminist Weldemariam. Navigational Web-interfaces from Formal Tropos Specifications. In Proceedings of The 10th Annual International Workshop "Engineering Societies in the Agents' World" (ESAW 2009),Utrecht, Netherlands, 18 -20 November 2009.
- Adolfo Villafiorita, Komminist Weldemariam, and Roberto Tiella. Development, Formal Verification and Evaluation of an eVoting System with VVPAT. IEEE Transaction on Information Forensics and Security: Special Issue on Electronic Voting, December 1, 2009.
- Pavel Shvaiko, Adolfo Villafiorita, Alessandro Zorer, Lourino Chemane, Teotónio Fumo, Jussi Hinkkanen. eGIF4M: eGovernment Interoperability Framework for Mozambique.' The 8th International Conference, EGOV 2009,Linz, Austria, August 31 - September 3, 2009.
- Komminist Weldemariam, Adolfo Villafiorita, and Andrea Mattioli, Experiments and Data Analysis of Electronic Voting System. In Proceedings of the 4th International Conference on Risks and Security of Internet and Systems (CRiSIS 2009),Toulouse, France, October 19-22, 2009.
- Komminist Weldemariam, Richard A. Kemmerer, and Adolfo Villafiorita., Formal Analysis of Attacks for e-voting System. In Proceedings of the 4th International Conference on Risks and Security of Internet and Systems (CRiSIS 2009),Toulouse, France, October 19-22, 2009.
- Komminist Weldemariam, Adolfo Villafiorita, and Andrea Mattioli, Managing Requirements for e-voting Systems: Issues and Approaches Motivated by a Case Study. In Proceedings of the first International Workshop on Requirements Engineering for E-voting Systems In conjunction with the 17th IEEE International Requirements Engineering Conference (RE'09), Atlanta, Georgia, USA, 31 August 2009.
- Aaron Ciaghi, Adolfo Villafiorita, and Andrea Mattioli, VLPM: A Tool to Support BPR in Public Administration. In Proceedings of the third International Conference on the Digital Society (ICDS 2009) (Received Best Paper Award!), Cancun, Mexico, February 1-7, 2009.
2008
- Francesca Longo, Roberto Tiella, Paolo Tonella, Adolfo Villafiorita, Measuring the Impact of Different Categories of Software Evolution. In Proceedings of International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008, Munich, Germany, November 18-19, 2008.
- Komminist Weldemariam, Adolfo Villafiorita, Formal Procedural Security Modeling and Analysis. In Proceedings of the 3rd International Conference on Risks and Security of Internet and Systems, Tozeur, Tunisia, October 28-30, 2008.
- Komminist Weldemariam, Adolfo Villafiorita, A Methodology for Assessing Procedural Security: A Case Study in E-Voting. In Proceedings of the 3rd International Conference on Electronic Voting (EVOTE08), Bregenz, Austria at Lake Constance, August, 6th to 9th 2008.
- Komminist Weldemariam, Adolfo Villafiorita, Modeling and Analysis of Procedural Security in (e)Voting: the Trentino's Approach and Experiences. In Proceedings of the 3rd USENIX Electronic Voting Technology (EVT), San Jose, CA, July 28–29, 2008.
- Komminist Weldemariam, Modeling and Analysis of Procedural Security [Extended Abstract] [Poster] ISSTA 2008 Doctoral Symposium in conjunction with ISSTA 2008, San Seattle, WA, Monday, July 21, 2008.
2007
- Komminist Weldemariam, Adolfo Villafiorita, Andrea Mattioli, Assessing Procedural Risks and Threats in e-Voting: Challenges and and Approach. In Proceedings of VOTE-ID 2007. Springer
- Volha Bryl, Fabiano Dalpiaz, Roberta Ferrario, Andrea Mattioli, Adolfo Villafiorita, Evaluating Procedural Alternatives. A Case Study in e-Voting. Proceedings of METTEG07, 2007. An extended version has been published as a Technical Report DIT-07-005, Informatica e Telecomunicazioni, University of Trento.
- Roberto Tiella, Adolfo Villafiorita, Silvia Tomasi, FSMC+, a Tool for the Generation of Java Code from Statecharts, Proceedings of PPPJ07, the 5th International Conference on Principles and Practice of Programming in Java, 2007. Lisbon, 2007. Pages 93-102. ACM International Conference Proceedings Series.
2006
