Massimo Benerecetti

	2012
25		Massimo Benerecetti, Marco Faella, Stefano Minopoli: Reachability games for linear hybrid systems. HSCC 2012: 65-74
	2011
24		Massimo Benerecetti, Marco Faella, Stefano Minopoli: Revisiting synthesis of switching controllers for Linear Hybrid systems. CDC-ECE 2011: 4753-4758
23		Massimo Benerecetti, Marco Faella, Stefano Minopoli: Towards Efficient Exact Synthesis for Linear Hybrid Systems GandALF 2011: 263-277
22		Massimo Benerecetti, Marco Faella, Stefano Minopoli: Automatic Synthesis of Switching Controllers for Linear Hybrid Automata CoRR abs/1103.4584: (2011)
	2010
21		Massimo Benerecetti, Nicola Cuomo, Adriano Peron: Timed protocols insecurity problem is NP-complete. HPCS 2010: 274-282
20		Massimo Benerecetti, Stefano Minopoli, Adriano Peron: Analysis of Timed Recursive State Machines. TIME 2010: 61-68
	2009
19		Massimo Benerecetti, Nicola Cuomo, Adriano Peron: TPMC: A Model Checker For Time-Sensitive Security Protocols. JCP 4(5): 366-377 (2009)
	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	Nicola Cuomo	[19] [21]
9	Marco Faella	[22] [23] [24] [25]
10	Chiara Ghidini	[4] [6] [10]
11	Enrico Giunchiglia	[1]
12	Fausto Giunchiglia	[1] [2] [3] [7] [8] [9]
13	Jacopo Mantovani	[16] [17] [18]
14	Stefano Minopoli	[20] [22] [23] [24] [25]
15	Maurizio Panti	[8] [11] [12]
16	Adriano Peron	[14] [19] [20] [21]
17	Luciano Serafini	[1] [2] [3] [5]
18	Luca Spalazzi	[8] [11] [12]
19	Pasquale Spica	[18]
20	Simone Tacconi	[11] [12]
21	Stefano Zanobini	[15]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page