Massimo Benerecetti

Massimo Benerecetti, Adriano Peron: Timed protocol insecurity problem is NP-complete. Future Generation Comp. Syst. 29(3): 843-862 (2013)

Massimo Benerecetti, Marco Faella: Tracking differentiable trajectories across polyhedra boundaries. HSCC 2013: 193-202

Massimo Benerecetti, Marco Faella, Stefano Minopoli: Reachability games for linear hybrid systems. HSCC 2012: 65-74

Massimo Benerecetti, Marco Faella, Stefano Minopoli: Revisiting synthesis of switching controllers for Linear Hybrid systems. CDC-ECE 2011: 4753-4758

Massimo Benerecetti, Marco Faella, Stefano Minopoli: Towards Efficient Exact Synthesis for Linear Hybrid Systems. GandALF 2011: 263-277

Massimo Benerecetti, Marco Faella, Stefano Minopoli: Automatic Synthesis of Switching Controllers for Linear Hybrid Automata. CoRR abs/1103.4584 (2011)

Massimo Benerecetti, Nicola Cuomo, Adriano Peron: Timed protocols insecurity problem is NP-complete. HPCS 2010: 274-282

Massimo Benerecetti, Stefano Minopoli, Adriano Peron: Analysis of Timed Recursive State Machines. TIME 2010: 61-68

Massimo Benerecetti, Nicola Cuomo, Adriano Peron: TPMC: A Model Checker For Time-Sensitive Security Protocols. JCP 4(5): 366-377 (2009)

Alessandro Armando, Massimo Benerecetti, Dario Carotenuto, Jacopo Mantovani, Pasquale Spica: The eureka tool for software model checking. ASE 2007: 541-542

Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani: Abstraction Refinement of Linear Programs with Arrays. TACAS 2007: 373-388

Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani: Model Checking Linear Programs with Arrays. Electr. Notes Theor. Comput. Sci. 144(3): 79-94 (2006)

Massimo Benerecetti, Paolo Bouquet, Stefano Zanobini: Soundness of Schema Matching Methods. ESWC 2005: 211-225

Laura Bozzelli, Massimo Benerecetti, Adriano Peron: Verification of recursive parallel systems. CoRR cs.OH/0312019 (2003)

Massimo Benerecetti, Alessandro Cimatti: Validation of Multiagent Systems by Symbolic Model Checking. AOSE 2002: 32-46

Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi: Verification of Payment Protocols via MultiAgent Model Checking. CAiSE 2002: 311-327

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

Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini: On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective. CONTEXT 2001: 59-72

Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini: Contextual reasoning distilled. J. Exp. Theor. Artif. Intell. 12(3): 279-305 (2000)

Massimo Benerecetti, Fausto Giunchiglia: Model Checking-Based Analysis of Multiagent Systems. FAABS 2000: 1-15

Massimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi: A Logic of Belief and a Model Checking Algorithm for Security Protocols. FORTE 2000: 393-408

Massimo Benerecetti, Fausto Giunchiglia: Model Checking Security Protocols Using a Logic of Belief. TACAS 2000: 519-534

Paolo Bouquet, Luciano Serafini, Patrick Brézillon, Massimo Benerecetti, F. Castellani (Eds.): Modeling and Using Context, Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 1999, Proceedings. Lecture Notes in Computer Science 1688, Springer 1999, isbn 3-540-66432-7

Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini: Model Checking Multiagent Systems. J. Log. Comput. 8(3): 401-423 (1998)

Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini: Formalizing Belief Reports - The Approach and a Case Study. AIMSA 1998: 62-75

Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini: A Model Checking Algorithm for Multiagent Systems. ATAL 1998: 163-176

Massimo Benerecetti, Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini: Formal Specification of Beliefs in Multi-Agent Systems. ATAL 1996: 117-130