- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c24 |      | Dhyanesh Chaudhari, Mohammad Zulkernine, Komminist Weldemariam: Towards a ranking framework for software components. SAC 2013: 495-498 |
| c23 | | Umme Hunny, Mohammad Zulkernine, Komminist Weldemariam: OSDC: adapting ODC for developing more secure software. SAC 2013: 1131-1136 |
| 2012 | ||
| c22 | | Ali Fawzi Najm Al-Shammari, Adolfo Villafiorita, Komminist Weldemariam: Understanding the Development Trends of Electronic Voting Systems. ARES 2012: 186-195 |
| c21 | | Ali Fawzi Najm Al-Shammari, Adolfo Villafiorita, Komminist Weldemariam: Towards an Open Standard Vote Verification Framework in Electronic Voting Systems. ARES 2012: 437-444 |
| c20 | | Henok Sahilu, Adolfo Villafiorita, Komminist Weldemariam, Mesfin Belachew, Amanuel Zewge: Designing distributed agricultural information services for developing countries. ACM DEV 2012: 24 |
| c19 | | Amanuel Zewge, Komminist Weldemariam, Sebsibe Hailemariam, Adolfo Villafiorita, Angelo Susi, Mesfin Belachew: On the use of goal-oriented methodology for designing agriculture services in developing countries. MEDES 2012: 40-47 |
| c18 | | Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam: BINSPECT: Holistic Analysis and Detection of Malicious Web Pages. SecureComm 2012: 149-166 |
| 2011 | ||
| j3 | | Komminist Weldemariam, Adolfo Villafiorita: Procedural security analysis: A methodological approach. Journal of Systems and Software 84(7): 1114-1129 (2011) |
| j2 | | Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita: Formal analysis of an electronic voting system: An experience report. Journal of Systems and Software 84(10): 1618-1637 (2011) |
| c17 | | Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam: Early Detection of Security Misconfiguration Vulnerabilities in Web Applications. ARES 2011: 169-174 |
| c16 | | Ali Fawzi Najm Al-Shammari, Komminist Weldemariam, Adolfo Villafiorita, Sergio Tessaris: Vote verification through open standard: A roadmap. REVOTE 2011: 22-26 |
| 2010 | ||
| c15 | | Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita: Formal Specification and Analysis of an E-voting System. ARES 2010: 164-171 |
| c14 | | Biniyam Asfaw, Dawit Bekele, Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam: Host-based anomaly detection for pervasive medical systems. CRiSIS 2010: 1-8 |
| c13 | | Komminist Weldemariam, Adolfo Villafiorita: A Survey: Electronic Voting Development and Trends. Electronic Voting 2010: 119-131 |
| c12 | | Birhanu Eshete, Andrea Mattioli, Adolfo Villafiorita, Komminist Weldemariam: ICT for Good: Opportunities, Challenges and the Way Forward. ICDS 2010: 14-19 |
| c11 | | Dawit Bekele, Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam: Context Information Refinement for Pervasive Medical Systems. ICDS 2010: 210-215 |
| c10 | | Adolfo Villafiorita, Komminist Weldemariam, Angelo Susi, Alberto Siena: Modeling and Analysis of Laws Using BPR and Goal-Oriented Framework. ICDS 2010: 353-358 |
| 2009 | ||
| j1 | | Adolfo Villafiorita, Komminist Weldemariam, Roberto Tiella: Development, formal verification, and evaluation of an E-voting system with VVPAT. IEEE Transactions on Information Forensics and Security 4(4): 651-661 (2009) |
| c9 | | Aaron Ciaghi, Adolfo Villafiorita, Komminist Weldemariam, Andrea Mattioli, Quoc-Sang Phan: Supporting Public Administration with an Integrated BPR Environment. AFRICOM 2009: 50-59 |
| c8 | | Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita: Formal analysis of attacks for e-voting system. CRiSIS 2009: 26-34 |
| c7 | | Komminist Weldemariam, Adolfo Villafiorita, Andrea Mattioli: Experiments and data analysis of electronic voting system. CRiSIS 2009: 105-112 |
| c6 | | Komminist Weldemariam: Navigational Web-Interfaces from Formal Tropos Specification. ESAW 2009: 233-235 |
| c5 | | Komminist Weldemariam, Andrea Mattioli, Adolfo Villafiorita: Managing Requirements for E-Voting Systems: Issues and Approaches. REVOTE 2009: 29-37 |
| 2008 | ||
| c4 | | Komminist Weldemariam, Adolfo Villafiorita: Formal procedural security modeling and analysis. CRiSIS 2008: 249-254 |
| c3 | | Komminist Weldemariam, Adolfo Villafiorita: A Methodology for Assessing Procedural Security: A Case Study in E-Voting. Electronic Voting 2008: 83-94 |
| c2 | | Komminist Weldemariam, Adolfo Villafiorita: Modeling and Analysis of Procedural Security in (e)Voting: The Trentino's Approach and Experiences. EVT 2008 |
| 2007 | ||
| c1 | | Komminist Weldemariam, Adolfo Villafiorita, Andrea Mattioli: Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach. VOTE-ID 2007: 38-49 |
Colors in the list of coauthors
Last update Wed May 22 06:54:26 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page