Adolfo Villafiorita

According to our database1, Adolfo Villafiorita authored at least 56 papers between 1996 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
An Adaptive Learning with Gamification & Conversational UIs: The Rise of CiboPoliBot.
Proceedings of the Adjunct Publication of the 25th Conference on User Modeling, 2017

2016
CoachMe: a platform for promoting healthy lifestyle.
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.
Proceedings of the IEEE International Smart Cities Conference, 2016

2015
Tape Mbo'e: A First Experimental Assessment.
CLEI Electron. J., 2015

2014
Iraqi Elections in 2014: a Privacy Requirement Evaluation Based on a Polling Place Experience.
Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Informatik 2014, Big Data, 2014

Tape Mbo'e: A First Experimental Assessment.
Proceedings of the XVII Iberoamerican Conference on Software Engineering, 2014

2013
Confeagle: Automated Analysis of Configuration Vulnerabilities in Web Applications.
Proceedings of the IEEE 7th International Conference on Software Security and Reliability, 2013

Tape Mbo'e (TME): A Service-Oriented Method.
Proceedings of the 32nd International Conference of the Chilean Computer Science Society, 2013

SAMo: experimenting a social accountability web platform.
Proceedings of the Annual Symposium on Computing for Development, 2013

EINSPECT: Evolution-Guided Analysis and Detection of Malicious Web Pages.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2012
BINSPECT: Holistic Analysis and Detection of Malicious Web Pages.
Proceedings of the Security and Privacy in Communication Networks, 2012

On the use of goal-oriented methodology for designing agriculture services in developing countries.
Proceedings of the International Conference on Management of Emergent Digital EcoSystems, 2012

Designing distributed agricultural information services for developing countries.
Proceedings of the ACM Annual Symposium on Computing for Development, 2012

Social Accountability for Mozambique: An Experience Report from the Moamba District.
Proceedings of the e-Infrastructure and e-Services for Developing Countries, 2012

Towards an Open Standard Vote Verification Framework in Electronic Voting Systems.
Proceedings of the Seventh International Conference on Availability, 2012

Understanding the Development Trends of Electronic Voting Systems.
Proceedings of the Seventh International Conference on Availability, 2012

2011
Procedural security analysis: A methodological approach.
Journal of Systems and Software, 2011

Formal analysis of an electronic voting system: An experience report.
Journal of Systems and Software, 2011

Vote verification through open standard: A roadmap.
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.
Proceedings of the Legal Knowledge and Information Systems, 2011

Malicious Website Detection: Effectiveness and Efficiency Issues.
Proceedings of the First SysSec Workshop 2011, 2011

Crowdsourcing ICTD Best Practices.
Proceedings of the e-Infrastructure and e-Services for Developing Countries, 2011

Early Detection of Security Misconfiguration Vulnerabilities in Web Applications.
Proceedings of the Sixth International Conference on Availability, 2011

2010
Modeling and Analysis of Laws Using BPR and Goal-Oriented Framework.
Proceedings of the Fourth International Conference on Digital Society, 2010

ICT for Good: Opportunities, Challenges and the Way Forward.
Proceedings of the Fourth International Conference on Digital Society, 2010

Context Information Refinement for Pervasive Medical Systems.
Proceedings of the Fourth International Conference on Digital Society, 2010

A Survey: Electronic Voting Development and Trends.
Proceedings of the Electronic Voting 2010, 2010

Host-based anomaly detection for pervasive medical systems.
Proceedings of the CRiSIS 2010, 2010

Improving Public Administrations via Law Modeling and BPR.
Proceedings of the E-Infrastuctures and E-Services for Developing Countries, 2010

Formal Specification and Analysis of an E-voting System.
Proceedings of the ARES 2010, 2010

2009
Development, formal verification, and evaluation of an E-voting system with VVPAT.
IEEE Trans. Information Forensics and Security, 2009

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

Managing Requirements for E-Voting Systems: Issues and Approaches.
Proceedings of the First International Workshop on Requirements Engineering for e-Voting Systems, 2009

VLPM: A Tool to Support BPR in Public Administration.
Proceedings of the Third International Conference on the Digital Society (ICDS 2009), 2009

eGIF4M: eGovernment Interoperability Framework for Mozambique.
Proceedings of the Electronic Government, 8th International Conference, 2009

Experiments and data analysis of electronic voting system.
Proceedings of the CRiSIS 2009, 2009

Formal analysis of attacks for e-voting system.
Proceedings of the CRiSIS 2009, 2009

Supporting Public Administration with an Integrated BPR Environment.
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.
Proceedings of the 2008 USENIX/ACCURATE Electronic Voting Workshop, 2008

Measuring the Impact of Different Categories of Software Evolution.
Proceedings of the Software Process and Product Measurement, 2008

A Methodology for Assessing Procedural Security: A Case Study in E-Voting.
Proceedings of the 3rd International Conference, 2008

Formal procedural security modeling and analysis.
Proceedings of the CRiSIS '08, 2008

2007
The FSAP/NuSMV-SA Safety Analysis Platform.
STTT, 2007

Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach.
Proceedings of the E-Voting and Identity, First International Conference, 2007

FSMC+, a tool for the generation of Java code from statecharts.
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.
Proceedings of the Computer Safety, 2003

Improving Safety Assessment of Complex Systems: An Industrial Case Study.
Proceedings of the FME 2003: Formal Methods, 2003

1999
Formal specification of beliefs in multi-agent systems.
Int. J. Intell. Syst., 1999

Formal Specification and Development of a Safety-Critical Train Management System.
Proceedings of the Computer Safety, 1999

Formal Specification and Validation of a Vital Communication Protocol.
Proceedings of the FM'99 - Formal Methods, 1999

1998
Abstraction as a Form of Elaboration Tolerance.
Proceedings of the Artificial Intelligence: Methodology, 1998

SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework.
Proceedings of the Artificial Intelligence: Methodology, 1998

1997
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem.
J. Autom. Reasoning, 1997

Theories of Abstraction.
AI Commun., 1997

1996
ABSFOL: A Proof Checker with Abstraction.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

A General Purpose Reasoner for Abstraction.
Proceedings of the Advances in Artificial Intelligence, 1996


  Loading...