| 2007 |
|---|
| 18 | EE | Alessandro Armando,
Massimo Benerecetti,
Dario Carotenuto,
Jacopo Mantovani,
Pasquale Spica:
The eureka tool for software model checking.
ASE 2007: 541-542 |
| 17 | EE | Alessandro Armando,
Massimo Benerecetti,
Jacopo Mantovani:
Abstraction Refinement of Linear Programs with Arrays.
TACAS 2007: 373-388 |
| 2006 |
|---|
| 16 | EE | Alessandro Armando,
Massimo Benerecetti,
Jacopo Mantovani:
Model Checking Linear Programs with Arrays.
Electr. Notes Theor. Comput. Sci. 144(3): 79-94 (2006) |
| 2005 |
|---|
| 15 | EE | Massimo Benerecetti,
Paolo Bouquet,
Stefano Zanobini:
Soundness of Schema Matching Methods.
ESWC 2005: 211-225 |
| 2003 |
|---|
| 14 | EE | Laura Bozzelli,
Massimo Benerecetti,
Adriano Peron:
Verification of recursive parallel systems
CoRR cs.OH/0312019: (2003) |
| 2002 |
|---|
| 13 | EE | Massimo Benerecetti,
Alessandro Cimatti:
Validation of Multiagent Systems by Symbolic Model Checking.
AOSE 2002: 32-46 |
| 12 | EE | Massimo Benerecetti,
Maurizio Panti,
Luca Spalazzi,
Simone Tacconi:
Verification of Payment Protocols via MultiAgent Model Checking.
CAiSE 2002: 311-327 |
| 11 | EE | Massimo Benerecetti,
Maurizio Panti,
Luca Spalazzi,
Simone Tacconi:
Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time.
SAFECOMP 2002: 126-138 |
| 2001 |
|---|
| 10 | EE | Massimo Benerecetti,
Paolo Bouquet,
Chiara Ghidini:
On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective.
CONTEXT 2001: 59-72 |
| 2000 |
|---|
| 9 | EE | Massimo Benerecetti,
Fausto Giunchiglia:
Model Checking-Based Analysis of Multiagent Systems.
FAABS 2000: 1-15 |
| 8 | | Massimo Benerecetti,
Fausto Giunchiglia,
Maurizio Panti,
Luca Spalazzi:
A Logic of Belief and a Model Checking Algorithm for Security Protocols.
FORTE 2000: 393-408 |
| 7 | EE | Massimo Benerecetti,
Fausto Giunchiglia:
Model Checking Security Protocols Using a Logic of Belief.
TACAS 2000: 519-534 |
| 6 | | Massimo Benerecetti,
Paolo Bouquet,
Chiara Ghidini:
Contextual reasoning distilled.
J. Exp. Theor. Artif. Intell. 12(3): 279-305 (2000) |
| 1999 |
|---|
| 5 | | Paolo Bouquet,
Luciano Serafini,
Patrick Brézillon,
Massimo Benerecetti,
F. Castellani:
Modeling and Using Context, Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 1999, Proceedings
Springer 1999 |
| 1998 |
|---|
| 4 | EE | Massimo Benerecetti,
Paolo Bouquet,
Chiara Ghidini:
Formalizing Belief Reports - The Approach and a Case Study.
AIMSA 1998: 62-75 |
| 3 | | Massimo Benerecetti,
Fausto Giunchiglia,
Luciano Serafini:
A Model Checking Algorithm for Multiagent Systems.
ATAL 1998: 163-176 |
| 2 | | Massimo Benerecetti,
Fausto Giunchiglia,
Luciano Serafini:
Model Checking Multiagent Systems.
J. Log. Comput. 8(3): 401-423 (1998) |
| 1996 |
|---|
| 1 | | Massimo Benerecetti,
Alessandro Cimatti,
Enrico Giunchiglia,
Fausto Giunchiglia,
Luciano Serafini:
Formal Specification of Beliefs in Multi-Agent Systems.
ATAL 1996: 117-130 |
