The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Adolfo Villafiorita: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Fausto Giunchiglia, Roberto Sebastiani, Adolfo Villafiorita, Toby Walsh
    A General Purpose Reasoner for Abstraction. [Citation Graph (0, 0)][DBLP]
    Canadian Conference on AI, 1996, pp:323-335 [Conf]
  2. Roberto Sebastiani, Adolfo Villafiorita
    SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1998, pp:377-388 [Conf]
  3. Adolfo Villafiorita
    Abstraction as a Form of Elaboration Tolerance. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1998, pp:427-437 [Conf]
  4. Fausto Giunchiglia, Adolfo Villafiorita
    ABSFOL: A Proof Checker with Abstraction. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:136-140 [Conf]
  5. Marco Bozzano, Antonella Cavallo, Massimo Cifaldi, Laura Valacca, Adolfo Villafiorita
    Improving Safety Assessment of Complex Systems: An Industrial Case Study. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:208-222 [Conf]
  6. Alessandro Cimatti, P. L. Pieraccini, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita
    Formal Specification and Validation of a Vital Communication Protocol. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1584-1604 [Conf]
  7. Marco Bozzano, Adolfo Villafiorita
    Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:49-62 [Conf]
  8. A. Chiappini, Alessandro Cimatti, Carmen Porzia, G. Rotondo, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita
    Formal Specification and Development of a Safety-Critical Train Management System. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 1999, pp:410-419 [Conf]
  9. Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh
    Theories of Abstraction. [Citation Graph (0, 0)][DBLP]
    AI Commun., 1997, v:10, n:3-4, pp:167-176 [Journal]
  10. Alan Bundy, Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh
    Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1997, v:19, n:3, pp:319-346 [Journal]
  11. Roberto Tiella, Adolfo Villafiorita, Silvia Tomasi
    FSMC+, a tool for the generation of Java code from statecharts. [Citation Graph (0, 0)][DBLP]
    PPPJ, 2007, pp:93-102 [Conf]
  12. Marco Bozzano, Adolfo Villafiorita
    The FSAP/NuSMV-SA Safety Analysis Platform. [Citation Graph (0, 0)][DBLP]
    STTT, 2007, v:9, n:1, pp:5-24 [Journal]

  13. Formal Specification and Analysis of an E-voting System. [Citation Graph (, )][DBLP]


  14. eGIF4M: eGovernment Interoperability Framework for Mozambique. [Citation Graph (, )][DBLP]


  15. Measuring the Impact of Different Categories of Software Evolution. [Citation Graph (, )][DBLP]


  16. Modeling and Analysis of Procedural Security in (e)Voting: The Trentino's Approach and Experiences. [Citation Graph (, )][DBLP]


  17. VLPM: A Tool to Support BPR in Public Administration. [Citation Graph (, )][DBLP]


  18. ICT for Good: Opportunities, Challenges and the Way Forward. [Citation Graph (, )][DBLP]


  19. Context Information Refinement for Pervasive Medical Systems. [Citation Graph (, )][DBLP]


  20. Modeling and Analysis of Laws Using BPR and Goal-Oriented Framework. [Citation Graph (, )][DBLP]


  21. Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach. [Citation Graph (, )][DBLP]


  22. A Methodology for Assessing Procedural Security: A Case Study in E-Voting. [Citation Graph (, )][DBLP]


  23. A Survey: Electronic Voting Development and Trends. [Citation Graph (, )][DBLP]


  24. Formal procedural security modeling and analysis. [Citation Graph (, )][DBLP]


  25. Formal analysis of attacks for e-voting system. [Citation Graph (, )][DBLP]


  26. Experiments and data analysis of electronic voting system. [Citation Graph (, )][DBLP]


Search in 0.041secs, Finished in 0.043secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002