The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Massimo Benerecetti: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.004secs
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