Search the dblp DataBase

Publications of Author

1. Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini
   Formalizing Belief Reports - The Approach and a Case Study. [Citation Graph (0, 0)][DBLP]
   AIMSA, 1998, pp:62-75 [Conf]
   
2. Massimo Benerecetti, Alessandro Cimatti
   Validation of Multiagent Systems by Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
   AOSE, 2002, pp:32-46 [Conf]
   
3. Massimo Benerecetti, Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini
   Formal Specification of Beliefs in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
   ATAL, 1996, pp:117-130 [Conf]
   
4. Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini
   A Model Checking Algorithm for Multiagent Systems. [Citation Graph (0, 0)][DBLP]
   ATAL, 1998, pp:163-176 [Conf]
   
5. Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi
   Verification of Payment Protocols via MultiAgent Model Checking. [Citation Graph (0, 0)][DBLP]
   CAiSE, 2002, pp:311-327 [Conf]
   
6. Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini
   On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective. [Citation Graph (0, 0)][DBLP]
   CONTEXT, 2001, pp:59-72 [Conf]
   
7. Massimo Benerecetti, Paolo Bouquet, Stefano Zanobini
   Soundness of Schema Matching Methods. [Citation Graph (0, 0)][DBLP]
   ESWC, 2005, pp:211-225 [Conf]
   
8. Massimo Benerecetti, Fausto Giunchiglia
   Model Checking-Based Analysis of Multiagent Systems. [Citation Graph (0, 0)][DBLP]
   FAABS, 2000, pp:1-15 [Conf]
   
9. Massimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi
   A Logic of Belief and a Model Checking Algorithm for Security Protocols. [Citation Graph (0, 0)][DBLP]
   FORTE, 2000, pp:393-408 [Conf]
   
10. Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi
    Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:126-138 [Conf]
    
11. Massimo Benerecetti, Fausto Giunchiglia
    Model Checking Security Protocols Using a Logic of Belief. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:519-534 [Conf]
    
12. Laura Bozzelli, Massimo Benerecetti, Adriano Peron
    Verification of recursive parallel systems [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
    
13. Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani
    Model Checking Linear Programs with Arrays. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:3, pp:79-94 [Journal]
    
14. Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini
    Contextual reasoning distilled. [Citation Graph (0, 0)][DBLP]
    J. Exp. Theor. Artif. Intell., 2000, v:12, n:3, pp:279-305 [Journal]
    
15. Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini
    Model Checking Multiagent Systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1998, v:8, n:3, pp:401-423 [Journal]
    
16. Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani
    Abstraction Refinement of Linear Programs with Arrays. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:373-388 [Conf]
    
17. 
    The eureka tool for software model checking. [Citation Graph (, )][DBLP]
    
    
18. 
    Timed protocols insecurity problem is NP-complete. [Citation Graph (, )][DBLP]