Search the dblp DataBase

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]