Massimo Benerecetti

Publication List

Books:

• P. Bouquet, L. Serafini, P. Brézillon, M. Benerecetti, F. Castellani (Eds.) ``Modeling and Using Context''. Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'99). Springer Verlag, Lecture Notes in AI Volume 1688, September 1999. (see the Table of Contents and Book Preface)

International Journals:

• M. Benerecetti, L. Spalazzi: ``METAFOL: Program Tactics and Logic Tactics plus Reflection''. In Journal of Future Generation Computer Systems (Elsevier Science Ed.) vol. 12, p. 139-156, 1996. Also DIST-Technical Report N. 96-0032.

• M. Benerecetti, F. Giunchiglia, L. Serafini: ``Model Checking Multiagent Systems'' 1997. Journal of Logic and Computation, Special Issue ``Computational and Logical Aspects of Multi-Agent Systems'', 8(3), 401-423, 1998. Also IRST-Technical Report N. 9707-15.

• M. Benerecetti, E. Giunchiglia, L. Serafini, A. Villafiorita: ``Formal specification of beliefs in multi-agent systems''. In International Journal of Intelligent Systems, 14:1021-1040, October 1999. Ronald R. Yager, Editor.

• M. Benerecetti, P. Bouquet & C. Ghidini: ``Contextual Reasoning Distilled'', Journal of Experimental and Theoretical Artificial Intelligence (JETAI), Vol. 12, N. 3, (2000).

• M. Benerecetti, P. Bouquet, M. Bonifacio: ``Distributed context-aware systems'' Human--Computer Interaction 16, pp. 213-228, 2001.

• M. Benerecetti, P. Bouquet, S. Zanobini: ``Verso una logica cognitiva per i linguaggi indicali''. Epistemologia, Vol. 26(2), pp. 201-235, 2004.

• M. Benerecetti, P. Bouquet, C. Ghidini. ``The Dimensions Of Context Dependence''. In P. Bouquet, L. Serafini, and R. H. Thomason, editors, Perspectives On Contexts, Chapter 1, pp. 1-18. CSLI Publications, 2008.

• M. Benerecetti, N. Cuomo, A. Peron ``TPMC: A Model Checker For Time-Sensitive Security Protocols'', Journal Of Computers (JCP), Special Issue on Security and High Performance Computer Systems, Vol. 4, Issue 5, pp. 366-377, May 2009.

• M. Benerecetti, N. Cuomo, A. Peron ``An Environment For The Specification And Verification Of Time-Dependent Security Protocols'', International Journal of Computers and Applications, Vol. 31, Issue 3, 2009.

• M. Benerecetti, A. Peron ``Timed protocol insecurity problem is NP-complete'', Future Generation Computer Systems (2011), 29(3): pp. 843.862. DOI:http://dx.doi.org/10.1016/j.future.2011.11.001

• M. Benerecetti, M. Faella, S. Minopoli ``Automatic Synthesis of Switching Controllers for Linear Hybrid Systems: Safety Control'', Theoretical Computer Science (2013). DOI:10.1016/j.tcs.2012.10.042DOI:10.1016/

• A. Armando, M. Benerecetti, J. Mantovani ``Counterexample-guided abstraction refinement for linear programs with arrays'', Automated Software Engineering (2013). DOI:10.1007/s10515-013-0132-0

International Conferences and Workshops:

• A. Cimatti, P. Traverso, M. Benerecetti and P. Pecchiari: ``Computational Reflection via Mechanized Logical Deduction''. In the proceedings of the workshop On Reflection and Meta-Level Architecture and their Applications in AI (Fourteenth International Joint Conference on Artificial Intelligence) Montrèal, 19-25 August 1995.

• M. Benerecetti, A. Cimatti , E. Giunchiglia , F. Giunchiglia, L. Serafini: ``Context-Based Formal Specification of Multi-Agent Systems''. In the proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), ECAI-96, Budapest, Hungary. Lecture Notes in Artificial Intelligence, Springer Verlag, number 1193, 117-130, 1996. Also IRST-Technical Report # 9605-05.

• M. Benerecetti, P. Bouquet, C. Ghidini: ``Formalizing Opacity and Transparency in Belief Contexts''. In the proceedings of the workshop on Practical reasoning and rationality, AISB, Manchester, 1997.

• M. Benerecetti, P. Bouquet, C. Ghidini: ``A Multi Context Approach to Belief Report''. AAAI Fall 1997 Symposium on context in KR and NL. Also IRST-Technical Report N. 9706-04. Short version in Second European Conference on Cognitive Science, AISB, Manchester, 1997.

• M. Benerecetti, F. Giunchiglia, L. Serafini: ``A Model Checking Algorithm for Multiagent Systems'' 1998. To appear in Proceedings of The Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL'98), 4-7 July, Paris.

• M. Benerecetti, F. Giunchiglia, L. Serafini: ``Multiagent Verification via Model Checking'' 1998. In the Proceedings of the ``European Workshop on Verification and Validation of Knowledge-Based Systems'' (V&V'98, KR'98 colocated workshop), Trento (Italy), June 1, 1998.

• M. Benerecetti, P. Bouquet, C. Ghidini: ``Formalizing Belief Reports. The approach and a Case Study''. Proceedings of VIII International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA'98), Sozopol (Bulgaria), September 21-23, 1998. Lecture Notes in Artificial Intelligence, Springer Verlag, number 1480, 62-75, 1998. Winner of AIMSA'98 Best Paper Award.

• M. Benerecetti, P. Bouquet, and C. Ghidini: ``On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective''. In Working notes of KR-2000 Workshop on Semantic Approximation, Granularity, and Vagueness.

• M. Benerecetti, F. Giunchiglia: ``Model Checking Security Protocols Using a Logic of Belief''. In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2000), Berlin (Germany), March, 27 - April, 1st 2000 . Lecture Notes in Computer Science, Springer Verlag, number 1785, 2000.

• M. Benerecetti, F. Giunchiglia: ``A Logic of Belief and a Model Checking Algorithm for Security Protocols''. In Formal Methods for Distributed System Developement. Proceedings of the Joing International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PVTS XX), Pisa (Italy), October 10-13, 2000. Kluwer Academic Publisher.

• M. Benerecetti, F. Giunchiglia: ``Model Checking-based Analysis of Multiagent Systems''. In Proc. of the First Goddard Workshop on Formal Approaches to Agent-Based Systems (FAABS'00).

• M. Benerecetti, P. Bouquet, C. Ghidini: ``On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective''. In Proc. of CONTEXT 2001, pp. 59-72.

• M. Benerecetti, F. Giunchiglia: ``Model Checking-based Analysis of Multiagent Systems''. In Lecture Notes in Computer Science, Vol. 1871, pp. 1-15, 2001.

• M. Benerecetti, M. Panti, L. Spalazzi, S. Tacconi: ``Verification of Payment Protocols via MultiAgent Model Checking''. In Proc. of CAiSE 2002, pp. 311-327.

• M. Benerecetti, M. Panti, L. Spalazzi, S. Tacconi: ``Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time''. In Proc. of SAFECOMP 2002, pp. 126-138.

• P. Bouquet, L.Serafini, S. Zanobini, M. Benerecetti: ``An algorithm for semantic coordination''. Proc. of Semantic Integration Workshop, colocated with the 2nd Int.l Semantic Web Conference (ISWC2003), 20-23 October 2003, Sanibel Island, Florida, US.

• M. Benerecetti, A. Cimatti: ``Validation of Multiagent Systems by Symbolic Model Checking''. In Agent-Oriented Software Engineering III: Third International Lecture Notes in Computer Science, pp. 32 - 46. Vol. 2585, Anno 2003.

• M. Benerecetti, P. Bouquet, S. Zanobini: ``Soundness and completeness of semantic-based methods for schema matching''. In Proceedings of the Meaning Coordination and Negotiation (MCN-04), 2004.

• A. Armando, M. Benerecetti, J. Mantovani: ``Model Checking Linear Programs with Arrays''. In the Proceedings of SoftMC 2005 International Workshop on Software Model Checking, Edinburgh (UK), 2005.

• M. Benerecetti, P. Bouquet, S. Zanobini: ``Soundness of Schema Matching Methods''. In Proceedinds of ESWC 2005, pp. 211-225, 2005.

• M. Benerecetti, N. Cuomo and A. Peron: ``Timed HLPSL for specification and verification of time sensitive protocols''. In Proc. of the Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA'06), Seattle, August 15-16, 2006.

• M. Benerecetti, N. Cuomo and A. Peron, TPMC: A Model Checker for Time-Sensitive Security Protocols. In: Proceedings of the 2007 high performance computing and simulation conference (HPCS 2007). Prague. June, 4-6, 2007, pp. 742-749.

• M. Benerecetti, S. Minopoli and A. Peron, Analysis of Timed Recursive State Machines. In: Proceedings of the 17-th Int. Symposium on Temporal Representation and Reasoning, (TIME 2010). IEEE Pub. 2010.

• M. Benerecetti, N. Cuomo, A. Peron, Timed protocols insecurity problem is NP-complete. In Proc. of the International Conference on High Performance Computing and Simulation HPCS 2010, IEEE Pub.

• M. Benerecetti, M. Faella, S. Minopoli "Revisiting Synthesis of Switching Controllers for Linear Hybrid Systems", CDC 2011, 50th IEEE Conference on Decision and Control. Orlando, FL, USA, December 2011.

• M. Benerecetti, M. Faella, S. Minopoli "Towards Efficient Exact Synthesis for Linear Hybrid Systems", GandALF 2011, Second International Symposium on Games, Automata, Logics and Formal Verification. Minori, Salerno, Italy, June 2011. EPTCS 54.

• M. Benerecetti, M. Faella, S. Minopoli "Reachability Games for Linear Hybrid Systems", In proceedings of Hybrid System: Computation and Control (HSCC 2012). DOI:10.1145/2185632.2185645

• M. Benerecetti, M. Faella "Tracking differentiable trajectories across polyhedra boundaries", In proceedings of Hybrid System: Computation and Control (HSCC 2013). DOI:10.1145/2461328.2461360

• M. Benerecetti, F. Mogavero, A. Murano "Substructure Temporal Logic", In proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, (LICS 2013), At New Orleans, LA, USA. DOI:10.1109/LICS.2013.43

National Journals:

• M. Benerecetti, F. Giunchiglia, L. Serafini: ``Model Checking Multiagent Systems: Preliminary Report'' 1998. In AI*IA Notizie, Anno XI, N. 3, 1998.