Massimo Benerecetti

	2007
18		Alessandro Armando, Massimo Benerecetti, Dario Carotenuto, Jacopo Mantovani, Pasquale Spica: The eureka tool for software model checking. ASE 2007: 541-542
17		Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani: Abstraction Refinement of Linear Programs with Arrays. TACAS 2007: 373-388
	2006
16		Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani: Model Checking Linear Programs with Arrays. Electr. Notes Theor. Comput. Sci. 144(3): 79-94 (2006)
	2005
15		Massimo Benerecetti, Paolo Bouquet, Stefano Zanobini: Soundness of Schema Matching Methods. ESWC 2005: 211-225
	2003
14		Laura Bozzelli, Massimo Benerecetti, Adriano Peron: Verification of recursive parallel systems CoRR cs.OH/0312019: (2003)
	2002
13		Massimo Benerecetti, Alessandro Cimatti: Validation of Multiagent Systems by Symbolic Model Checking. AOSE 2002: 32-46
12		Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi: Verification of Payment Protocols via MultiAgent Model Checking. CAiSE 2002: 311-327
11		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		Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini: On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective. CONTEXT 2001: 59-72
	2000
9		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		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		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

Coauthor Index

1	Alessandro Armando	[16] [17] [18]
2	Paolo Bouquet	[4] [5] [6] [10] [15]
3	Laura Bozzelli	[14]
4	Patrick Brézillon	[5]
5	Dario Carotenuto	[18]
6	F. Castellani	[5]
7	Alessandro Cimatti	[1] [13]
8	Chiara Ghidini	[4] [6] [10]
9	Enrico Giunchiglia	[1]
10	Fausto Giunchiglia	[1] [2] [3] [7] [8] [9]
11	Jacopo Mantovani	[16] [17] [18]
12	Maurizio Panti	[8] [11] [12]
13	Adriano Peron	[14]
14	Luciano Serafini	[1] [2] [3] [5]
15	Luca Spalazzi	[8] [11] [12]
16	Pasquale Spica	[18]
17	Simone Tacconi	[11] [12]
18	Stefano Zanobini	[15]