Adolfo Villafiorita

Proceedings of the Adjunct Publication of the 25th Conference on User Modeling, 2017

2016

CoachMe: a platform for promoting healthy lifestyle.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct, 2016

Beyond food sharing: Supporting food waste reduction with ICTs.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Smart Cities Conference, 2016

2015

Tape Mbo'e: A First Experimental Assessment.

[BibT_eX]

[DOI]

Ilse Grau

Guilherme H. Travassos

Luca Cernuzzi

CLEI Electron. J., 2015

2014

Iraqi Elections in 2014: a Privacy Requirement Evaluation Based on a Polling Place Experience.

[BibT_eX]

[DOI]

Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014

2013

Confeagle: Automated Analysis of Configuration Vulnerabilities in Web Applications.

[BibT_eX]

[DOI]

Mohammad Zulkernine

Proceedings of the IEEE 7th International Conference on Software Security and Reliability, 2013

Tape Mbo'e (TME): A Service-Oriented Method.

[BibT_eX]

[DOI]

Ilse Grau

Luca Cernuzzi

Proceedings of the 32nd International Conference of the Chilean Computer Science Society, 2013

SAMo: experimenting a social accountability web platform.

[BibT_eX]

[DOI]

Proceedings of the Annual Symposium on Computing for Development, 2013

EINSPECT: Evolution-Guided Analysis and Detection of Malicious Web Pages.

[BibT_eX]

[DOI]

Mohammad Zulkernine

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2012

BINSPECT: Holistic Analysis and Detection of Malicious Web Pages.

[BibT_eX]

[DOI]

Proceedings of the Security and Privacy in Communication Networks, 2012

On the use of goal-oriented methodology for designing agriculture services in developing countries.

[BibT_eX]

[DOI]

Amanuel Zewge

Proceedings of the International Conference on Management of Emergent Digital EcoSystems, 2012

Designing distributed agricultural information services for developing countries.

[BibT_eX]

[DOI]

Henok Sahilu

Mesfin Belachew

Amanuel Zewge

Proceedings of the ACM Annual Symposium on Computing for Development, 2012

Social Accountability for Mozambique: An Experience Report from the Moamba District.

[BibT_eX]

[DOI]

Proceedings of the e-Infrastructure and e-Services for Developing Countries, 2012

Towards an Open Standard Vote Verification Framework in Electronic Voting Systems.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Availability, 2012

Understanding the Development Trends of Electronic Voting Systems.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Availability, 2012

2011

Procedural security analysis: A methodological approach.

[BibT_eX]

[DOI]

J. Syst. Softw., 2011

Formal analysis of an electronic voting system: An experience report.

[BibT_eX]

[DOI]

Richard A. Kemmerer

J. Syst. Softw., 2011

Vote verification through open standard: A roadmap.

[BibT_eX]

[DOI]

Sergio Tessaris

Proceedings of the 2011 International Workshop on Requirements Engineering for Electronic Voting Systems, 2011

Adapting Software Metrics to Analyze the Evolution of Laws - An Italian Case Study.

[BibT_eX]

[DOI]

Andrea Dalla Valle

Proceedings of the Legal Knowledge and Information Systems, 2011

Malicious Website Detection: Effectiveness and Efficiency Issues.

[BibT_eX]

[DOI]

Proceedings of the First SysSec Workshop 2011, 2011

Crowdsourcing ICTD Best Practices.

[BibT_eX]

[DOI]

Proceedings of the e-Infrastructure and e-Services for Developing Countries, 2011

Early Detection of Security Misconfiguration Vulnerabilities in Web Applications.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Availability, 2011

2010

Modeling and Analysis of Laws Using BPR and Goal-Oriented Framework.

[BibT_eX]

[DOI]

Angelo Susi

Alberto Siena

Proceedings of the Fourth International Conference on Digital Society, 2010

ICT for Good: Opportunities, Challenges and the Way Forward.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Digital Society, 2010

Context Information Refinement for Pervasive Medical Systems.

[BibT_eX]

[DOI]

Dawit Bekele

Proceedings of the Fourth International Conference on Digital Society, 2010

A Survey: Electronic Voting Development and Trends.

[BibT_eX]

[DOI]

Proceedings of the Electronic Voting 2010, 2010

Host-based anomaly detection for pervasive medical systems.

[BibT_eX]

[DOI]

Proceedings of the CRiSIS 2010, 2010

Improving Public Administrations via Law Modeling and BPR.

[BibT_eX]

[DOI]

Proceedings of the E-Infrastuctures and E-Services for Developing Countries, 2010

Formal Specification and Analysis of an E-voting System.

[BibT_eX]

[DOI]

Richard A. Kemmerer

Proceedings of the ARES 2010, 2010

2009

Development, formal verification, and evaluation of an E-voting system with VVPAT.

[BibT_eX]

[DOI]

Roberto Tiella

IEEE Trans. Inf. Forensics Secur., 2009

Evaluating procedural alternatives: a case study in e-voting.

[BibT_eX]

[DOI]

Electron. Gov. an Int. J., 2009

Managing Requirements for E-Voting Systems: Issues and Approaches.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Requirements Engineering for e-Voting Systems, 2009

VLPM: A Tool to Support BPR in Public Administration.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on the Digital Society (ICDS 2009), 2009

eGIF4M: eGovernment Interoperability Framework for Mozambique.

[BibT_eX]

[DOI]

Proceedings of the Electronic Government, 8th International Conference, 2009

Experiments and data analysis of electronic voting system.

[BibT_eX]

[DOI]

Proceedings of the CRiSIS 2009, 2009

Formal analysis of attacks for e-voting system.

[BibT_eX]

[DOI]

Richard A. Kemmerer

Proceedings of the CRiSIS 2009, 2009

Supporting Public Administration with an Integrated BPR Environment.

[BibT_eX]

[DOI]

Quoc-Sang Phan

Proceedings of the E-Infrastructures and E-Services on Developing Countries, 2009

2008

Modeling and Analysis of Procedural Security in (e)Voting: The Trentino's Approach and Experiences.

[BibT_eX]

[DOI]

Proceedings of the 2008 USENIX/ACCURATE Electronic Voting Workshop, 2008

Measuring the Impact of Different Categories of Software Evolution.

[BibT_eX]

[DOI]

Proceedings of the Software Process and Product Measurement, 2008

A Methodology for Assessing Procedural Security: A Case Study in E-Voting.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference, 2008

Formal procedural security modeling and analysis.

[BibT_eX]

[DOI]

Proceedings of the CRiSIS '08, 2008

2007

The FSAP/NuSMV-SA Safety Analysis Platform.

[BibT_eX]

[DOI]

Marco Bozzano

Int. J. Softw. Tools Technol. Transf., 2007

Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach.

[BibT_eX]

[DOI]

Proceedings of the E-Voting and Identity, First International Conference, 2007

FSMC+, a tool for the generation of Java code from statecharts.

[BibT_eX]

[DOI]

Roberto Tiella

Silvia Tomasi

Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, 2007

2003

Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform.

[BibT_eX]

[DOI]

Marco Bozzano

Proceedings of the Computer Safety, 2003

Improving Safety Assessment of Complex Systems: An Industrial Case Study.

[BibT_eX]

[DOI]

Proceedings of the FME 2003: Formal Methods, 2003

1999

Formal specification of beliefs in multi-agent systems.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 1999

Formal Specification and Development of a Safety-Critical Train Management System.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 1999

Formal Specification and Validation of a Vital Communication Protocol.

[BibT_eX]

[DOI]

Proceedings of the FM'99 - Formal Methods, 1999

1998

Abstraction as a Form of Elaboration Tolerance.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 1998

SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework.

[BibT_eX]

[DOI]

Roberto Sebastiani

Proceedings of the Artificial Intelligence: Methodology, 1998

1997

Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem.

[BibT_eX]

[DOI]

J. Autom. Reason., 1997

Theories of Abstraction.

[BibT_eX]

[DOI]

Fausto Giunchiglia

Toby Walsh

AI Commun., 1997

1996

ABSFOL: A Proof Checker with Abstraction.

[BibT_eX]

[DOI]

Fausto Giunchiglia