Massimo Benerecetti

Associate Professor in Computer Science at the Università di Napoli "Federico II"

Section of Computer Science,
Office: 0D-15A (Biology Building),
Dipartimento di Scienze Fisiche,
Università di Napoli "Federico II",
Via Cintia, Complesso Monte S. Angelo,
I-80126 Napoli, ITALY.
Phone: +39 081 679269
Fax: +39 081 676346
E-mail: bene <at> na.infn.it (replace <at> with @) or Massimo.Benerecetti <at> na.infn.it (replace <at> with @)

Didattica (Teaching)

Algoritmi e Scrutture Dati I (a.a. 2010/2011, 2011/2012) (Algorithms and Data Scructures I) NEW
Algoritmi e Scrutture Dati II (a.a. 2007/2008) (AlgorBithms and Data Scructures II)
Tecniche Specifica e di Verifica (a.a. 2009/2010) (Specification and Verification Techniques)

Programma del corso ASD I (9 CFU) (A.A. 2009/2010, 2010/2011, 2011/2012) (PDF format) NEW
Programma del corso ASD I (6CFU) (A.A. 2008/2009, 2009/2010, 2010/2011, 2010/2011) (PDF format) NEW
Dispensa: Introduzione alla correttezza degli algoritmi (PDF format)

Comunicati per gli studenti di Laboratorio di Algoritmi e Strutture Dati (a.a 2011/2012):

Testo del primo esercizio di laboratorio (data 12 marzo 2012).

Testo del secondo esercizio di laboratorio (data 19 marzo 2012).

Lezione su Puntatori a Funzione e Callback.

Lezione su Visite Iterative di Alberi.

Lezione su Code a Priorità.

Comunicati per gli studenti di Laboratorio di Algoritmi e Strutture Dati (a.a 2010/2011):

Qui sono disponibili le specifiche del progetto intercorso Libreria Grafi.

Qui sono disponibili le specifiche del progetto intercorso Labirinti.

Qui sono disponibili le specifiche del progetto finale PacMan. Qui è invece disponibile la libreria windows di funzioni per l'animazione dei personaggi e l'input da tastiera.
Qui è invece disponibile un esempio di l'animazione dei personaggi e gestione di input da tastiera che utilizza la libreria "curses" disponibile per Linux (sotto il nome di libreria ncurses), per Windows (sotto il nome di libreria PDCurses) e Mac OS.

Comunicati per gli studenti di Algoritmi e Strutture Dati:

NEW: Orario ricevimento studenti: Mercoledì dalle 15 alle 17 (salvo impegni istituzionali concomitanti).

Comunicati per gli studenti di Tecniche di Verifica:

Esami di Algoritmi e Strutture Dati:

Risultati della prova intercorso di Algoritmi e Strutture Dati I (9 crediti) del 23/02/2012. Gli studenti con votazione ≥ 18 sono esentati dalla prova scritta della prossima sessione d'esami.

Risultati della prova scritta di Algoritmi e Strutture Dati I (6 crediti) del 23/02/2012. Gli studenti con votazione ≥ 16 sono ammessi all'orale.
Gli orali si terranno presso lo studio del professor Benerecetti, secondo il calendario previsto nella pagina dei risultati.

I risultati della Prova Intercorso del 23/02/2012 saranno pubblicati successivamente.

Gli studenti con votazione insufficiente possono visionare lo scritto durante l'orario di ricevimento.

Attività di ricerca (Research)

Aree di interesse (Areas of Interest)

Software Analysis and Software Model Checking
Analysis and Verification of Security Protocols
Formal Validation and Verification of Multi-Agent Systems
Context-based Reasoning
Distributed Intelligence

Elenco delle Pubblicazioni (List of Personal Publications)

Progetti di ricerca (Current Research Projects)

PRIN National Research Project on Integrating automated reasoning in model checking: towards push-button formal verification of large-scale and infinite-state systems. (20079E5KM8) funded by the Italian Ministry of Scientific and Technological Research in the context of the PRIN'07 programme. Duration: 24 months from September 20, 2008.
PRIN National Research Project: Synthesis of deduction-based decision procedures with applications to the automatic formal analysis of software, funded by Ministero dell'Istruzione, dell'Università e della Ricerca (MIUR), together with Maria Paola Bonacina and Alessandro Armando, 2003 - 2005.
FIRB National Research Project: Automatic Verification of Internet Security Protocols, funded by Ministero dell'Istruzione, dell'Università e della Ricerca (MIUR), together withAlessandro Armando and Fabio Massacci, 2003 - 2005.
Attività organizzativa e di coordinamento (Coordination and Organizing Activities)

Steering Committee Member of the 5th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'05) to be held in Paris, 2005.
Program Committee Member of the First International Workshop on Model Checking Multi-Agent Systems (MCMAS-04), to be held in colocation with AAMAS-04.
Organizing Committee Member of the Second Workshop on Model-Checking and Artificial Intelligence (MoChArt-03), August 2003, Acapulco, Mexico (co-located with the 18th International Joint Conference on Artificial Intelligence (IJCAI'03).
Steering Committee Member of the 4th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'03).
Organizing Committee Member of the First Workshop on Model-Checking and Artificial Intelligence (MoChArt-02), 22-23 July 2002, Lyon, France (co-located with the 15th European Conference on Artificial Intelligence (ECAI-2002).
Program Committee Member of the Second Workshop on Computational Logic in Multi-Agent Systems (CLIMA'01) December 1st 2001, Coral Beach Hotel and Resort, Paphos, Cyprus. Co-located with the Seventeenth International Conference on Logic Programming (ICLP'01).
Workshop Chair of the 3rd International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'01).
Program Committee Member of the Workshop on Semantic Approximation, Ganularity, and Vagueness, 7th International Conference on Principles of Knowledge Representation and Reasoning (KR2000), April 11th 2000, Breckenridge, Colorado, USA.
Publicity Chair of the 2nd International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'99).
European Coordinator of the Virtual Worldwide Seminar Project.